44 search results - page 1 / 9 » Axiom Pinpointing is Hard |
112
Voted
DLOG
2009
14 years 12 months ago
2009
140
Voted
KR
2010
Springer
15 years 6 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...
137
Voted
GI
2009
Springer
14 years 12 months ago
2009
Springer
114
Voted
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
134
Voted
KRMED
2008
15 years 3 months ago
2008
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...