14 search results - page 1 / 3 » Automata-Based Axiom Pinpointing |
CADE
2008
Springer
14 years 4 months ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
GI
2009
Springer
13 years 2 months ago
2009
Springer
DLOG
2009
13 years 2 months ago
2009
DLOG
2010
13 years 2 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
DLOG
2009
13 years 2 months ago
2009
We study the problem of reasoning over weighted ontologies. We assume that every axiom is labeled with an element of a distributive lattice (called its weight) and try to compute i...