We introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t. information in paraconsistent description logics. As consequences, we obtain also invariance results and the Hennessy-Milner property for bisimilarity in paraconsistent description logics.
BlackburnP., de RijkeM. and VenemaY., Modal Logic. Number 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
2.
DivroodiA.R., Bisimulation Equivalence in Description Logics and Its Applications. PhD thesis, University of Warsaw, 2015.
3.
DivroodiA.R. and NguyenL.A., Bisimulation-based comparisons for interpretations in description logics. In Proc of Description Logics’2013, volume 1014 of CEUR Workshop Proceedings, CEUR-WS.org, 2013, pp. 652–669.
4.
DivroodiA.R. and NguyenL.A., Bisimulation-based comparisons for interpretations in description logics. CoRR, abs/1304.56022013.
5.
DivroodiA.R. and NguyenL.A., On bisimulations for description logics, Information Sciences295 (2015), 465–493.
6.
HaQ.-T., HoangT.-L.-G., NguyenL.A., NguyenH.S., SzałasA. and TranT.-L., A bisimulation-based method of concept learning for knowledge bases in description logics. In Proc of SoICT’2012, ACM, 2012, pp. 241–249.
7.
KurtoninaN. and de RijkeM., Simulating without negation, J Log Comput7(4) (1997), 501–522.
8.
KurtoninaN. and de RijkeM., Expressiveness of concept expressions in first-order description logics, Artif Intell107(2) (1999), 303–333.
9.
LutzC., PiroR. and WolterF., Description logic TBoxes: Model-theoretic characterizations and rewritability. In WalshT., editor, Proc of IJCAI’2011, 2011, pp. 983–988.
10.
MaY. and HitzlerP., Paraconsistent reasoning for OWL 2. In PolleresA. and SwiftT., editors, Proc of Web Reasoning and Rule Systems, volume 5837 of LNCS, Springer, 2009, pp. 197–211.
11.
MaY., HitzlerP. and LinZ., Paraconsistent reasoning for expressive and tractable description logics, In Proc of Description Logics, 2008.
12.
MeghiniC. and StracciaU., A relevance terminological logic for information retrieval. Proc of SIGIR’96, ACM, 1996, pp. 197–205.
13.
NguyenL.A., Paraconsistent and approximate semantics for the OWL 2Web Ontology Language, In Proc of RSCTC’2010, volume 6086 of LNAI, Springer, 2010, pp. 710–720.
14.
NguyenL.A., NguyenT.H.K., NguyenN.-T. and HaQ.-T., Bisimilarity for paraconsistent description logics. A short version (6 pages) of the current paper, accepted for SMC’2016.
15.
NguyenL.A. and SzałasA., Three-valued paraconsistent reasoning for Semantic Web agents. In JędrzejowiczP.et al., editor, Proc of KES-AMSTA 2010, Part I, volume 6070 of LNAI, Springer, 2010, pp. 152–162.
16.
NguyenL.A. and SzałasA., Logic-based roughification. In SkowronA. and SurajZ., editors, Rough Sets and Intelligent Systems (To the Memory of Professor Zdzisław Pawlak), Vol. 1, Springer, 2012, pp. 529–556.
17.
NguyenL.A. and SzałasA., Paraconsistent reasoning for semantic web agents, T Computational Collective Intelligence6 (2012), 36–55.
18.
OdintsovS.P. and WansingH., Inconsistency-tolerant description logic, part II: A tableau algorithm for CACLc, Journal of Applied Logic6(3) (2008), 343–360.
19.
StracciaU., A sequent calculus for reasoning in fourvalued description logics. In GalmicheD., editor, Proc of TABLEAUX’97, volume 1227 of LNCS, Springer, 1997, pp. 343–357.
20.
TranT.-L., HaQ.-T., HoangT.-L.-G., NguyenL.A. and NguyenH.S., Bisimulation-based concept learning in description logics, Fundam Inform133(2-3) (2014), 287–303.
21.
TranT.-L., HaQ.-T., HoangT.-L.-G., NguyenL.A., NguyenH.S. and SzałasA., Concept learning for description logicbased information systems. In Proc of KSE’2012, IEEE Computer Society, 2012, pp. 65–73.
22.
ZhangX., LinZ. and WangK., Towards a paradoxical description logic for the semantic web. In LinkS. and PradeH., editors, Proc of FoIKS’2010, volume 5956 of LNCS, Springer, 2010, pp. 306–325.
23.
ZhangX., QiG., MaY. and LinZ., Quasi-classical semantics for expressive description logics. In Proc of Description Logics2009.
