76 citations · 512 across the 33 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 24 cited
The Logical Difference for the Lightweight Description Logic EL
Boris Konev, Michel Ludwig, Dirk Walther +1
We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two ve…
cs.LO2014★ 56 cited
The Complexity of Circumscription in DLs
Piero A. Bonatti, Carsten Lutz, Frank Wolter
As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules. Since many applications would ben…