Module Extraction in Expressive Ontology Languages via Datalog Reasoning

DOI10.1613/jair.4898zbMath1352.68235OpenAlexW2291693177MaRDI QIDQ2790149

Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks, Ana Armas Romero

Publication date: 3 March 2016

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4898

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (4)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ ReAD: AD-based modular ontology classification ⋮ Enhancing probabilistic model checking with ontologies ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies

Uses Software

• Datalog

This page was built for publication: Module Extraction in Expressive Ontology Languages via Datalog Reasoning