Sciweavers

188 search results - page 3 / 38
» Approaches to Inconsistency Handling in Description-Logic Ba...
Sort
View
WEBI
2009
Springer
14 years 3 days ago
Measuring Inconsistency in DL-Lite Ontologies
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhi...
SEMWEB
2007
Springer
13 years 11 months ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter
ESWS
2008
Springer
13 years 7 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov
WILF
2007
Springer
312views Fuzzy Logic» more  WILF 2007»
13 years 11 months ago
Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
Silvia Calegari, Davide Ciucci
APWEB
2011
Springer
13 years 16 days 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