On the interaction of existential rules and equality constraints in ontology querying

DOI10.1007/978-3-642-30743-0_9MaRDI QIDQ2900513zbMATHOpenAlexWikidataFDO

Authors Andrea Calí, Georg Gottlob, Giorgio Orsi, Andreas Pieris

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

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

Recommendations

• Ontology querying: Datalog strikes back
• Query Rewriting and Optimization for Ontological Databases
• Conjunctive query containment and answering under description logic constraints
• Towards more expressive ontology languages: the query answering problem
• Complexity and expressive power of ontology-mediated queries (invited talk)

Cites work

• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Data exchange: semantics and query answering
• Linking Data to Ontologies
• Logical foundations of object-oriented and frame-based languages
• Querying UML class diagrams
• Reasoning on UML class diagrams
• Taming the infinite chase: query answering under expressive relational constraints
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

This page was built for publication: On the interaction of existential rules and equality constraints in ontology querying

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900513)