4 search results - page 1 / 1 » Forgetting and Uniform Interpolation in Extensions of the De... |
102
Voted
DLOG
2009
14 years 11 months ago
2009
86
Voted
DLOG
2008
15 years 4 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...
110
Voted
CADE
2008
Springer
16 years 2 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...
148
click to vote
AI
2010
Springer
15 years 2 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...