3244 search results - page 48 / 649 » Extensions to Description Logics |
136
click to vote
IJCAI
2001
15 years 5 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 ...
141
click to vote
CORR
2007
Springer
15 years 4 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...
167
click to vote
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
123
click to vote
ECAI
2010
Springer
15 years 5 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...