3773 search results - page 57 / 755 » Logical Reasoning |
DLOG
2009
14 years 7 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
DLOG
2003
14 years 11 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
APAL
2010
14 years 10 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
139
click to vote
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...