4 search results - page 1 / 1 » Forgetting and Uniform Interpolation in Extensions of the De... |
DLOG
2009
13 years 2 months ago
2009
DLOG
2008
13 years 7 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
AI
2010
Springer
13 years 5 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...