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

DOI10.1007/978-3-642-30743-0_9zbMATH Open1357.68046OpenAlexW1788016700WikidataQ59259495 ScholiaQ59259495MaRDI QIDQ2900513FDOQ2900513

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

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)

Mathematics Subject Classification ID

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

Cites Work

• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Title not available (Why is that?)
• Linking Data to Ontologies
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Taming the infinite chase: query answering under expressive relational constraints
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Data exchange: semantics and query answering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning on UML class diagrams
• Logical foundations of object-oriented and frame-based languages
• Querying UML Class Diagrams

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)