3 search results - page 1 / 1 » Complexity of Axiom Pinpointing in the DL-Lite Family |
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the complexity of axiom pinpointing for different members of the DL-Lite family of Description Logics. More precisely, we consider the problem of enumerating all mi...
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...
DLOG
2010
13 years 9 months ago
2010
