50 search results - page 1 / 10 » Unification in the Description Logic EL |
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
DLOG
2009
13 years 12 months ago
2009
CADE
2010
Springer
13 years 12 months ago
2010
Springer
KR
2010
Springer
14 years 2 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
LPAR
2007
Springer
14 years 5 months ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...