1285 search results - page 45 / 257 » Description Logic Reasoner: System Description |
119
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
103
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
108
click to vote
AAAI
2010
15 years 3 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
133
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
108
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...