Reachability modules for the description logic SRIQ

DOI10.1007/978-3-642-45221-5_42MaRDI QIDQ2870159zbMATH OpenOpenAlexFDO

Authors Riku Nortje, Katarina Britz, Thomas Meyer

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45221-5_42

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Model-theoretic inseparability and modularity of description logic ontologies
• Module extraction in expressive ontology languages via Datalog reasoning
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Extracting Modules from Ontologies: A Logic-Based Approach
• Lower and upper approximations for depleting modules of description logic ontologies

Cited in

(2)

• Games for query inseparability of description logic knowledge bases
• Inseparability and conservative extensions of description logic ontologies: a survey

This page was built for publication: Reachability modules for the description logic \(\mathcal{SRIQ}\)

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