Module extraction in expressive ontology languages via Datalog reasoning

DOI10.1613/JAIR.4898MaRDI QIDQ2790149zbMATH OpenOpenAlexFDO

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

Publication date 3 March 2016

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

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

Mathematics Subject Classification ID

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

Recommendations

• Extracting Modules from Ontologies: A Logic-Based Approach
• Lower and upper approximations for depleting modules of description logic ontologies
• Modularity of ontologies in an arbitrary institution
• Modular reuse of ontologies: theory and practice
• Logic-based ontology comparison and module extraction, with an application to DL-Lite

Cited in

(12)

• OWL reasoning: subsumption test hardness and modularity
• ReAD: AD-based modular ontology classification
• Enhancing probabilistic model checking with ontologies
• Query inseparability for \(\mathcal{ALC}\) ontologies
• Reachability modules for the description logic \(\mathcal{SRIQ}\)
• Modularity of ontologies in an arbitrary institution
• Inseparability and conservative extensions of description logic ontologies: a survey
• Modular reuse of ontologies: theory and practice
• Extracting Modules from Ontologies: A Logic-Based Approach
• Lower and upper approximations for depleting modules of description logic ontologies
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Effective and fast module extraction for nonempty ABoxes

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Module extraction in expressive ontology languages via Datalog reasoning

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