Lower and upper approximations for depleting modules of description logic ontologies

MaRDI QIDQ5282990zbMATH OpenFDO

Authors William Gatens, B. Konev, F. Wolter

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36964

Mathematics Subject Classification ID

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

Recommendations

• Module extraction in expressive ontology languages via Datalog reasoning
• Extracting Modules from Ontologies: A Logic-Based Approach
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Eliminating concepts and roles from ontologies in expressive descriptive logics

Cited in

(3)

• Reachability modules for the description logic \(\mathcal{SRIQ}\)
• Inseparability and conservative extensions of description logic ontologies: a survey
• Module extraction in expressive ontology languages via Datalog reasoning

This page was built for publication: Lower and upper approximations for depleting modules of description logic ontologies

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