Sciweavers

1435 search results - page 8 / 287
» Description Logics
Sort
View
JAIR
2002
110views more  JAIR 2002»
13 years 8 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
APWEB
2011
Springer
13 years 3 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
CADE
1999
Springer
14 years 26 days ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...
AMAI
2000
Springer
13 years 8 months ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
AI
1999
Springer
13 years 8 months ago
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
Hans Jürgen Ohlbach, Jana Koehler