50 search results - page 1 / 10 » Unification in the Description Logic EL |
87
Voted
LPAR
2010
Springer
14 years 10 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...
72
Voted
DLOG
2009
15 years 1 months ago
2009
154
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
124
Voted
KR
2010
Springer
15 years 4 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...
126
Voted
LPAR
2007
Springer
15 years 6 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...