The Logical Difference for the Lightweight Description Logic EL

DOI10.1613/jair.3552zbMath1253.68303arXiv1401.5850OpenAlexW3104143976MaRDI QIDQ2905394

Dirk Walther, Frank Wolter, Michel Ludwig, Boris Konev

Publication date: 27 August 2012

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

Full work available at URL: https://arxiv.org/abs/1401.5850

zbMATH Keywords

description logicontology

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (8)

When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ Knowledge forgetting in propositional \(\mu\)-calculus ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ On the limits of forgetting in answer set programming ⋮ Unnamed Item ⋮ On syntactic forgetting under uniform equivalence ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Games for query inseparability of description logic knowledge bases

This page was built for publication: The Logical Difference for the Lightweight Description Logic EL