1544 search results - page 22 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
RR
2010
Springer
13 years 5 months ago
2010
Springer
DLOG
2010
13 years 5 months ago
2010
DLOG
2009
13 years 5 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
DLOG
2003
13 years 8 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
DLOG
2008
13 years 9 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...