Knowledge base exchange: the case of OWL 2 QL

DOI10.1016/J.ARTINT.2016.05.002zbMATH Open1385.68044OpenAlexW2520134279WikidataQ64360034 ScholiaQ64360034MaRDI QIDQ309909FDOQ309909

Vladislav Ryzhikov, Elena Botoeva, Diego Calvanese, Marcelo Arenas

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

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

zbMATH Keywords

description logicquery inseparabilitydata exchangeDL-Liteknowledge exchange

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Modular ontologies. Concepts, theories and techniques for knowledge modularization
• Deciding inseparability and conservative extensions in the description logic
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Games for query inseparability of description logic knowledge bases
• Modular reuse of ontologies: theory and practice
• The DL-Lite Family and Relations
• Title not available (Why is that?)
• Infinite Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Data exchange: getting to the core
• Title not available (Why is that?)
• Data exchange: semantics and query answering
• Relational and XML Data Exchange
• Alternating automata on infinite trees
• Model-theoretic inseparability and modularity of description logic ontologies
• Ontology Matching
• Inverting schema mappings
• Logic and Data Exchange: Which Solutions Are “Good” Solutions?
• Distributed reasoning in a peer-to-peer setting: application to the semantic web
• Conceptual Modeling for Data Integration
• Title not available (Why is that?)
• Data exchange and schema mappings in open and closed worlds
• An automata-theoretic approach to branching-time model checking
• Combining decidability paradigms for existential rules
• Journal on Data Semantics II
• Answering queries using views: A survey
• On rules with existential variables: walking the decidability line

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

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)