2138 search results - page 55 / 428 » Logics for the Relational Syllogistic |
CADE
2008
Springer
14 years 8 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...
JSYML
2008
13 years 7 months ago
2008
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
DEON
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
JAPLL
2006
13 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...