In this article, some paraconsistent and temporal description logics are studied based on an embedding-based proof method. A new paraconsistent description ...
Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world.
Kamide, A compatible approach to temporal description logics, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), CEUR.
Bibliographic details on Embedding-based approaches to paraconsistent and temporal description logics.
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.
Two compatible TDLs are introduced by combining and modifying the description logic ALC and Prior's tomorrow tense logic, and the concept satisfiability ...
This motivates us to use embedding-based models to encode the semantic information of an axiom in a description logics ontology and apply them to inconsistency- ...
Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world.
It is known that a syntactical embedding theorem of Nelson's paraconsistent logic N4 into the positive intuitionistic logic LJ is useful to show the ...
Missing: approaches | Show results with:approaches
Paraconsistent model checking based on many-valued temporal logics, for instance, which was suggested by Easterbrook and Chechik [10], is intended to ...