3793 search results - page 67 / 759 » Expressive Description Logics |
CORR
2007
Springer
14 years 10 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 11 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...
104
click to vote
ACL
1990
14 years 11 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
DEXA
2010
Springer
14 years 11 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...