On the Interaction of Existential Rules and Equality Constraints in Ontology Querying

DOI10.1007/978-3-642-30743-0_9zbMath1357.68046OpenAlexW1788016700WikidataQ59259495 ScholiaQ59259495MaRDI QIDQ2900513

Andrea Calì, Andreas Pieris, Giorgio Orsi, Georg Gottlob

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_9

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data exchange: semantics and query answering
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Reasoning on UML class diagrams
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• Querying UML Class Diagrams
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Logical foundations of object-oriented and frame-based languages
• Linking Data to Ontologies

This page was built for publication: On the Interaction of Existential Rules and Equality Constraints in Ontology Querying