1285 search results - page 38 / 257 » Description Logic Reasoner: System Description |
100
click to vote
ECAI
2010
Springer
15 years 27 days ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
JAIR
2007
14 years 11 months ago
2007
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
DLOG
2009
14 years 9 months ago
2009
117
click to vote
DLOG
2009
14 years 9 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
DLOG
2006
15 years 1 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...