Logical Handling of Inconsistent and Default Information

Besnard, Philippe; Cerro, Luís Fariñas del; Gabbay, Dov M.; Hunter, Anthony

doi:10.1007/978-1-4615-6245-0_11

Cited by 5 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besnard et al (1997). In other cases, a collaboration of scholars, among the ones listed here as joint authors, resulted in conspicuous output which is the subject of this or that section in the present study.…”

Section: Discussionmentioning

confidence: 62%

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives

Dershowitz¹,

Nissan²

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Section: Discussionmentioning

confidence: 62%

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives

Dershowitz¹,

Nissan²

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

“…In practical reasoning, it is common to have "too much" information about some situation. In other words, it is common for there to be classically inconsistent information in practical reasoning ontologies [2]. According the fact ex contradictione quodlibet in classical logic, if ontologies contain inconsistencies then the classical entailment in logics is explosive.…”

Section: Introductionmentioning

confidence: 99%

A Tableau Algorithm for Handling Inconsistency in OWL

Zhang

Xiao

Lin

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent OWL called quasi-classical OWL to handle inconsistency with holding important inference rules such as modus tollens, modus ponens, and disjunctive syllogism. We propose a terminable, sound and complete tableau algorithm to implement paraconsistent reasoning in quasi-classical OWL. In comparison with other approaches to handle inconsistency in OWL, our approach enhances the ability of reasoning by integrating paraconsistent reasoning with important classical inference rules.

show abstract

“…In classical logic, arbitrary conclusions can be inferred from a contradiction. Conventional information systems founded on classical logic usually enforce consistency and prohibit information and its contrary ap-pearing in the same information system [8]. Thus, consistency in information systems performs a useful function, and cannot be simply ignored or discarded.…”

Section: Introductionmentioning

confidence: 99%

Qualitative reasoning about consistency in geographic information

Duckham

Lingham

Mason

et al. 2006

Information Sciences

View full text Add to dashboard Cite

This paper explores the development and use of a qualitative reasoning system for describing consistency between different geographic data sets. Consistency is closely related to issues of uncertainty and interoperability in geographic information, and the paper assesses how automated reasoning about consistency can be used to support the integration of heterogeneous geographic data sets. The system developed is based on description logic. The decidability and tractability characteristics of description logic allow consistency checking to be deferred during data integration, so minimizing the information loss that usually accompanies any data integration task. Further, the user interface allows users to negotiate with the system in defining consistency. The results of the research suggest that further work could significantly increase the level of automation for many geographic data integration tasks.

show abstract

Logical Handling of Inconsistent and Default Information

Cited by 5 publications

References 12 publications

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives

A Tableau Algorithm for Handling Inconsistency in OWL

Qualitative reasoning about consistency in geographic information

Contact Info

Product

Resources

About