Switch to: References

Citations of:

Logic-based ontology comparison and module extraction, with an application to DL-Lite

Roman Kontchakov, Frank Wolter & Michael Zakharyaschev

Artificial Intelligence 174 (15):1093-1141 (2010)

Add citations

You must login to add citations.

Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.details Download Export citation Bookmark 2 citations
Games for query inseparability of description logic knowledge bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234 (C):78-119.details Download Export citation Bookmark 3 citations
Knowledge base exchange: The case of OWL 2 QL.Marcelo Arenas, Elena Botoeva, Diego Calvanese & Vladislav Ryzhikov - 2016 - Artificial Intelligence 238 (C):11-62.details Download Export citation Bookmark 1 citation
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.Nadeschda Nikitina & Sebastian Rudolph - 2014 - Artificial Intelligence 215:120-140.details Download Export citation Bookmark 4 citations
Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.details Download Export citation Bookmark 2 citations
On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.details Download Export citation Bookmark

1