(Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)

DOI10.1016/j.artint.2014.06.005zbMath1308.68110OpenAlexW2071066814WikidataQ54824452 ScholiaQ54824452MaRDI QIDQ2510119

Sebastian Rudolph, Nadeschda Nikitina

Publication date: 1 August 2014

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

Full work available at URL: https://doi.org/10.1016/j.artint.2014.06.005

zbMATH Keywords

automated reasoningknowledge representationdescription logicsforgettingontologiesuniform interpolation

Mathematics Subject Classification ID

Related Items (5)

Knowledge base exchange: the case of OWL 2 QL ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Games for query inseparability of description logic knowledge bases

Uses Software

• Pellet
• FaCT++
• Racer
• HermiT
• RacerPro

Cites Work

• Unnamed Item
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Deciding inseparability and conservative extensions in the description logic
• Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies
• Tableau-based Forgetting in ALC Ontologies
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Formal Properties of Modularisation
• Extracting Modules from Ontologies: A Logic-Based Approach
• The Description Logic Handbook

This page was built for publication: (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)