Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints

Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints (2002)

Cached

Download Links

[www.cs.cmu.edu]

Other Repositories/Bibliography

DBLP

by Jean-François Baget , Marie-Laure Mugnier

Venue:	JOUR. OF ARTIF. INTELL. RES
Citations:	14 - 1 self

Versions

Version History

Metadata Version 4

User correction supplied by mph

Datum	Value	Source
TITLE	Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints	INFERENCE
AUTHOR NAME	Jean-François Baget	user correction
AUTHOR AFFIL	LIRMM (CNRS UM II)	user correction
AUTHOR ADDR	161 rue Ada; 3J392 Montpellier, Cdex 5, France	user correction
AUTHOR NAME	Marie-Laure Mugnier	user correction
AUTHOR AFFIL	LIRMM (CNRS UM II)	user correction
AUTHOR ADDR	161 rue Ada; 3J392 Montpellier, Cdex 5, France	user correction
ABSTRACT	Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon $owa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. We present here a family of extensions of this model, based on rules and constraints, keeping graph homomorphism as the basic operation. We focus on the formal definitions of the different models obtained, including their operational semantics and relationships with FOL, and we analyze the decidability and complexity of the associated problems (consistency and deduction). As soon as rules are involved in reasonings, these problems are not decidable, but we exhibit a condition under which they fall in the polynomial hierarchy. These results extend and complete the ones already published by the authors. Moreover we systematically study the complexity of some particular cases obtained by restricting the form of constraints and/or rules.	user correction - Legacy Corrections
YEAR	2002	user correction
VENUE	JOUR. OF ARTIF. INTELL. RES	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2002	INFERENCE
VOLUME	16	INFERENCE
CITATIONS	34 found	ParsCit 1.0