The Logical Difference for the Lightweight Description Logic EL
From MaRDI portal
Publication:2905394
DOI10.1613/jair.3552zbMath1253.68303arXiv1401.5850MaRDI 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
68T27: Logic in artificial intelligence
Related Items
Unnamed Item, When you must forget: Beyond strong persistence when forgetting in answer set programming, Games for query inseparability of description logic knowledge bases, On syntactic forgetting under uniform equivalence, On the limits of forgetting in answer set programming, Query inseparability for \(\mathcal{ALC}\) ontologies, Knowledge forgetting in propositional \(\mu\)-calculus, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey