Lower and upper approximations for depleting modules of description logic ontologies

zbMATH Open1366.68304MaRDI QIDQ5282990FDOQ5282990

Authors: William Gatens, B. Konev, F. Wolter 

Publication date: 18 July 2017

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Inseparability and conservative extensions of description logic ontologies: a survey
• Reachability modules for the description logic \(\mathcal{SRIQ}\)
• 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)