{"type":"ScholarlyArticle","title":"The SG Family: Extensions of Simple Conceptual Graphs","authors":[{"name":"Jean-François Baget","slug":"jean-francois-baget","given":"Jean-François","family":"Baget","affiliation":""},{"name":"Marie-Laure Mugnier","slug":"marie-laure-mugnier","given":"Marie-Laure","family":"Mugnier","affiliation":""}],"abstract":"We introduce the family of graph-based knowledge representation and reasoning models, basically extensions of the simple conceptual graphs model. Objects of these models are colored simple graphs and are used to represent facts, rules and constraints. Reasonings are based on graphtheoretic mechanisms, mainly graph homomorphism. Models of this family are defined by the kind of objects composing a knowledge base. In this paper, we focus on the formal definitions of these models, including their operational semantics and relationships with FOL, and we study their decidability properties and computational complexity.","doi":null,"url":"https://ijcai.org/proceedings/2001/29","pdf":"https://ijcai.org/proceedings/2001/0029.pdf","markdown":"https://ijcai.org/proceedings/2001/29.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/29","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":29,"pages":{"first":205,"last":211},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}