Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Monotone monadic SNP and constraint satisfaction
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Abductive theories in artificial intelligence
Principles of knowledge representation
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
A Direct Proof Procedure for Definite Conceptual Graph Programs
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Conceptual Graphs and First-Order Logic
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Sound and Complete Forward and backward Chainingd of Graph Rules
ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
Modelling and Simulating Human Behaviours with Conceptual Graphs
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
The Representation of Semantic Constraints in Conceptual Graph Systems
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
A Semantic Validation of Conceptual Graphs
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Piece Resolution: Towards Larger Perspectives
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Knowledge Representation and Reasonings Based on Graph Homomorphism
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Projection: A Unification Procedure for Tableaux in Conceptual Graphs
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Comparison of Structural CSP Decomposition Methods
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The SG family: extensions of simple conceptual graphs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Verification of knowledge bases based on containment checking
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A Basic Mathematical Framework for Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
A semantic validation of conceptual graphs
Knowledge-Based Systems
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
Formal and graphical annotations for digital objects
SADPI '07 Proceedings of the 2007 international workshop on Semantically aware document processing and indexing
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
A Comparison of Different Conceptual Structures Projection Algorithms
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Arc Consistency Projection: A New Generalization Relation for Graphs
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Conceptual Graph Rules and Equivalent Rules: A Synthesis
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Conceptual Graphs and Datatypes
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
A conceptual graph approach to the generation of referring expressions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Introducing reasoning into an industrial knowledge management tool
Applied Intelligence
Translations between RDF(S) and conceptual graphs
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
On rules with existential variables: Walking the decidability line
Artificial Intelligence
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Continuous improvement through knowledge-guided analysis in experience feedback
Engineering Applications of Artificial Intelligence
Introducing graph-based reasoning into a knowledge management tool: an industrial case study
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Computational generation of referring expressions: A survey
Computational Linguistics
Conceptual graphs for semantic web applications
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
A new method to interrogate and check UML class diagrams
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Simple conceptual graphs and simple concept graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Rules dependencies in backward chaining of conceptual graphs rules
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Simple conceptual graphs with atomic negation and difference
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Representation and reasoning on role-based access control policies with conceptual graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Knowledge representation and reasoning for qualitative spatial change
Knowledge-Based Systems
Boolean formulas of simple conceptual graphs SGBF
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures
Advanced Engineering Informatics
Engineering Applications of Artificial Intelligence
KGRAM Versatile Inference and Query Engine for the Web of Linked Data
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Graph-based reasoning in collaborative knowledge management for industrial maintenance
Computers in Industry
Hi-index | 0.00 |
Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa'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.