1568 search results - page 22 / 314 » Fusions of Description Logics |
IJCAI
2001
14 years 11 months ago
2001
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
CORR
2007
Springer
14 years 9 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...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...