A Distance-Based Paraconsistent Semantics for DL-Lite

  • Xiaowang ZhangEmail author
  • Kewen Wang
  • Zhe Wang
  • Yue Ma
  • Guilin Qi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9403)


DL-Lite is an important family of description logics. Recently, there is an increasing interest in handling inconsistency in DL-Lite as the constraint imposed by a TBox can be easily violated by assertions in ABox in DL-Lite. In this paper, we present a distance-based paraconsistent semantics based on the notion of feature in DL-Lite, which provides a novel way to rationally draw meaningful conclusions even from an inconsistent knowledge base. Finally, we investigate several important logical properties of this entailment relation based on the new semantics and show its promising advantages in non-monotonic reasoning for DL-Lite.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arieli, O.: Distance-based paraconsistent logics. Int. J. Approx. Reasoning 48(3), 766–783 (2008)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyschev, M.: The DL-Lite family and relations. J. of Artif. Intell. Research 36, 1–69 (2009)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Bienvenum, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proc. of IJCAI (2013)Google Scholar
  4. 4.
    Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem. 6(4), 309–322 (2008)CrossRefGoogle Scholar
  5. 5.
    Dolby, J., et al.: Scalable cleanup of information extraction data using ontologies. In: Aberer, K., et al. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 100–113. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  6. 6.
    Du, J., Sheng, Y.: Computing minimum cost diagnoses to repair populated DL-based ontologies. In: Proc. of WWW, pp. 565–574 (2008)Google Scholar
  7. 7.
    Huang, S., Li, Q., Hitzler, P.: Reasoning with inconsistencies in hybrid MKNF knowledge bases. Logic Journal of the IGPL 21(2), 263–290 (2013)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI, pp. 454–459 (2005)Google Scholar
  9. 9.
    Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170–184. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  10. 10.
    Kamide, N.: Embedding-based approaches to paraconsistent and temporal description logics. J. Log. Comput. 22(5), 1097–1124 (2012)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Konieczny, S., Pino-Pérez, R.: On the logic of merging. In: Proc. of KR, pp. 488–498 (1998)Google Scholar
  12. 12.
    Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proc. of KR, pp. 285–295 (2008)Google Scholar
  13. 13.
    Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) Web Reasoning and Rule Systems. LNCS, vol. 6333, pp. 103–117. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  14. 14.
    Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Polleres, A., Swift, T. (eds.) Web Reasoning and Rule Systems. LNCS, pp. 197–211. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Ma, Y., Hitzler, P.: Distance-based measures of inconsistency and incoherency for description logics. In: Proc. of DL (2010)Google Scholar
  16. 16.
    Meyer, T.A., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: Proc. of AAAI, pp. 269–274 (2006)Google Scholar
  17. 17.
    Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI, pp. 891–897 (2009)Google Scholar
  18. 18.
    Rosati, R., Ruzzi, M., Graziosi, M., Masotti, G.: Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies. In: Cudré-Mauroux, P., et al. (eds.) The Semantic Web – ISWC 2012. LNCS, vol. 7650, pp. 337–349. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  19. 19.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc.of IJCAI, pp. 355–362 (2003)Google Scholar
  20. 20.
    Wang, Z., Wang, K., Topor, R.W.: A new approach to knowledge base revision in DL-Lite. In: Proc. of AAAI, pp. 369–374 (2010)Google Scholar
  21. 21.
    Zhang, X., Lin, Z.: An argumentation framework for description logic ontology reasoning and management. J. Intell. Inf. Syst. 40(3), 375–403 (2013)CrossRefGoogle Scholar
  22. 22.
    Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G., A Distance-based paraconsistent semantics for DL-Lite (2013). CoRR abs/1301.2137Google Scholar
  23. 23.
    Zhang, X., Xiao, G., Lin, Z., Van den Bussche, J.: Inconsistency-tolerant reasoning with OWL DL. Int. J. Approx. Reasoning 55(2), 557–584 (2014)MathSciNetCrossRefGoogle Scholar
  24. 24.
    Zhuang, Z., Wang, Z., Wang, K., Qi, G.: Contraction and revision over DL-Lite TBoxes. In: Proc. of AAAI, pp. 1149–1156 (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 2.5 International License (, which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

Authors and Affiliations

  • Xiaowang Zhang
    • 1
    Email author
  • Kewen Wang
    • 2
  • Zhe Wang
    • 2
  • Yue Ma
    • 3
  • Guilin Qi
    • 4
  1. 1.School of Computer Science and TechnologyTianjin UniversityTianjinChina
  2. 2.School of Information and Communication TechnologyGriffith UniversityBrisbaneAustralia
  3. 3.Laboratoire de Recherche En InformatiqueUniversity Paris SudParisFrance
  4. 4.School of Computer Science and EngineeringSoutheast UniversityNanjingChina

Personalised recommendations