Abstract:This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description logics, which is a paraconsistent version of description logics. A precedence relation between two paradoxical models of knowledge bases is firstly introduced to obtain minimally paradoxical models by filtering those models which contain more inconsistencies than others. A new entailment relationship between a KB and an axiom characterized by minimal paradoxical models is applied to characterize the semantics of a paraconsistent and nonmonotonic description logic. An important advantage of our adaptation is simultaneously overtaking proverbial shortcomings of existing two kinds extensions of description logics: the weak inference power of paraconsistent description logics and the incapacity of nonmonotonic description logics in handling inconsistencies. Moreover, our paraconsistent and nonmonotonic extension not only preserves the syntax of description logic but also maintains the decidability of basic reasoning problems in description logics. Finally, we develop a sound and complete tableau algorithm for instance checking with the minimally paradoxical semantics.

A Petri-Net Model For Nonmonotonic Reasoning Based On Annotated Logic Programs

Colored Petri net control of OR-logic

Logical Inference of Clauses Based on Petri Net Models

Non-monotonic Reasoning and Argumentation System

Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies

Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses

Improved modeling algorithm of fuzzy Petri net for fuzzy reasoning

Argumentation-Based Non-Monotonic Reasoning of Agents

A Petri Net Approach for Logical Inference of Clauses

Logical inference of clauses in Petri net models using fixpoint

A Petri Net Model for Probabilistic Logic

Modeling Non-Monotonic Properties under Propositional Argumentation

Modeling Probabilistic Logic Using Petri Nets

From Classical to Non-monotonic Deontic Logic Using ASPIC$$^+$$

Consistent Fuzzy Petri Nets Model for Logic Programs with Negation

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Are LLMs classical or nonmonotonic reasoners? Lessons from generics

A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions

An Argumentation Framework for Non-monotonic Reasoning in Description Logic

A Tableau Algorithm For Paraconsistent And Nonmonotonic Reasoning In Description Logic-Based System

Reasoning about Probabilistic Sequential Programs in a Probabilistic Logic