Bisimilarity for paraconsistent description logics

DOI10.3233/JIFS-169120zbMATH Open1367.68291OpenAlexW2561486744MaRDI QIDQ5283396FDOQ5283396

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

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

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

Recommendations

• On bisimulations for description logics
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• scientific article; zbMATH DE number 2070200
• Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
• Bisimulation-based concept learning in description logics

Cites work

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

Cited in

(6)

• A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• scientific article; zbMATH DE number 1759616 (Why is no real title available?)
• scientific article; zbMATH DE number 5587282 (Why is no real title available?)
• On bisimulations for description logics
• Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283396)