4 search results - page 1 / 1 » Forgetting and Uniform Interpolation in Extensions of the De... |
DLOG
2009
14 years 8 months ago
2009
69
Voted
DLOG
2008
15 years 24 days 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
15 years 10 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...
112
Voted
AI
2010
Springer
14 years 10 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...