Bisimilarity for paraconsistent description logics

DOI10.3233/JIFS-169120zbMath1367.68291OpenAlexW2561486744MaRDI QIDQ5283396

Quang-Thuy Ha, Linh Anh Nguyen, Ngoc Thanh Nguyen, Thi Hong Khanh Nguyen

Publication date: 21 July 2017

Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/jifs-169120

zbMATH Keywords

bisimulationdescription logicsparaconsistent logicsbisimilarity

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Paraconsistent logics (03B53)

Related Items (2)

Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Cites Work

• On bisimulations for description logics
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Expressiveness of concept expressions in first-order description logics
• Simulating without Negation

This page was built for publication: Bisimilarity for paraconsistent description logics