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

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

zbMATH Keywords

bisimulationdescription logicsparaconsistent logicsbisimilarity

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics
• Title not available (Why is that?)
• Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
• Title not available (Why is that?)
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• On bisimulations for description logics

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)