4617 search results - page 311 / 924 » Automation of Diagrammatic Reasoning |
139
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
149
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and ...
151
click to vote
DLOG
1998
15 years 8 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
187
click to vote
DLOG
1998
15 years 8 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
166
Voted
DLOG
1997
15 years 8 months ago
1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...