1331 search results - page 45 / 267 » Description logic reasoning using the PTTP approach |
KR
2010
Springer
14 years 15 days 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
2011
13 years 1 days ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
DLOG
2003
13 years 10 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
SIVP
2008
13 years 8 months ago
2008
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...