Knowledge base exchange: the case of OWL 2 QL

DOI10.1016/J.ARTINT.2016.05.002MaRDI QIDQ309909zbMATH OpenOpenAlexWikidataFDO

Authors Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Publication date 7 September 2016

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2016.05.002

zbMATH Keywords

description logicquery inseparabilitydata exchangeDL-Liteknowledge exchange

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Data exchange beyond complete data
• Towards knowledge exchange: state-of-the-art and open problems
• Games for query inseparability of description logic knowledge bases
• Data exchange: semantics and query answering
• Relational and XML Data Exchange

Cites work

• scientific article; zbMATH DE number 1223729 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Alternating automata on infinite trees
• An \(O(n^2)\) time algorithm for alternating Büchi games
• An automata-theoretic approach to branching-time model checking
• Answering queries using views: A survey
• Combining decidability paradigms for existential rules
• Conceptual Modeling for Data Integration
• Data exchange and schema mappings in open and closed worlds
• Data exchange: getting to the core
• Data exchange: semantics and query answering
• Deciding inseparability and conservative extensions in the description logic
• Distributed reasoning in a peer-to-peer setting: application to the semantic web
• Games for query inseparability of description logic knowledge bases
• Infinite Games
• Inverting schema mappings
• Journal on Data Semantics II
• Logic and data exchange: which solutions are ``good solutions?
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Modal logic
• Model-theoretic inseparability and modularity of description logic ontologies
• Modular ontologies. Concepts, theories and techniques for knowledge modularization
• Modular reuse of ontologies: theory and practice
• On rules with existential variables: walking the decidability line
• Ontology Matching
• Relational and XML Data Exchange
• The DL-Lite Family and Relations
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(3)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• Towards knowledge exchange: state-of-the-art and open problems
• Inseparability and conservative extensions of description logic ontologies: a survey

Describes a project that uses

Uses Software

• EXPRESS

This page was built for publication: Knowledge base exchange: the case of OWL 2 QL

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