Sciweavers

1545 search results - page 32 / 309
» Defeasible Description Logics
Sort
View
JURIX
2008
13 years 9 months ago
Formal Aspects of Legislative Meta-Drafting
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
Carlo Biagioli, Davide Grossi
DLOG
2000
13 years 9 months ago
Optimizing TBox and ABox Reasoning with Pseudo Models
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
Volker Haarslev, Ralf Möller
APWEB
2011
Springer
13 years 2 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
WILF
2005
Springer
124views Fuzzy Logic» more  WILF 2005»
14 years 1 months ago
Possibilistic Planning Using Description Logics: A First Step
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
Célia da Costa Pereira, Andrea Tettamanzi
EUSFLAT
2007
154views Fuzzy Logic» more  EUSFLAT 2007»
13 years 9 months ago
Resolution Strategies for Fuzzy Description Logic
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
Hashim Habiballa