Skip to main content
SpringerLink
Log in

A Distance-Based Paraconsistent Semantics for DL-Lite

  • Conference paper
  • First Online:
Knowledge Science, Engineering and Management (KSEM 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9403))

  • 2936 Accesses

Abstract

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.

X. Zhang—Supported by the project-sponsored by School of Computer Science and Technology in Tianjin University.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arieli, O.: Distance-based paraconsistent logics. Int. J. Approx. Reasoning 48(3), 766–783 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyschev, M.: The DL-Lite family and relations. J. of Artif. Intell. Research 36, 1–69 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Huang, S., Li, Q., Hitzler, P.: Reasoning with inconsistencies in hybrid MKNF knowledge bases. Logic Journal of the IGPL 21(2), 263–290 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI, pp. 454–459 (2005)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  10. Kamide, N.: Embedding-based approaches to paraconsistent and temporal description logics. J. Log. Comput. 22(5), 1097–1124 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Konieczny, S., Pino-Pérez, R.: On the logic of merging. In: Proc. of KR, pp. 488–498 (1998)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  15. Ma, Y., Hitzler, P.: Distance-based measures of inconsistency and incoherency for description logics. In: Proc. of DL (2010)

    Google Scholar 

  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. Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI, pp. 891–897 (2009)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Zhang, X., Lin, Z.: An argumentation framework for description logic ontology reasoning and management. J. Intell. Inf. Syst. 40(3), 375–403 (2013)

    Article  Google Scholar 

  22. Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G., A Distance-based paraconsistent semantics for DL-Lite (2013). CoRR abs/1301.2137

    Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Technology, Tianjin University, Tianjin, China

    Xiaowang Zhang

  2. School of Information and Communication Technology, Griffith University, Brisbane, Australia

    Kewen Wang & Zhe Wang

  3. Laboratoire de Recherche En Informatique, University Paris Sud, Paris, France

    Yue Ma

  4. School of Computer Science and Engineering, Southeast University, Nanjing, China

    Guilin Qi

Authors
  1. Xiaowang Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kewen Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhe Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yue Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Guilin Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiaowang Zhang .

Editor information

Editors and Affiliations

  1. Chinese Academy of Sciences, Beijing, China

    Songmao Zhang

  2. Ludwig-Maximilians-Universität München, Munich, Germany

    Martin Wirsing

  3. Southwest University, Chongqing, China

    Zili Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G. (2015). A Distance-Based Paraconsistent Semantics for DL-Lite. In: Zhang, S., Wirsing, M., Zhang, Z. (eds) Knowledge Science, Engineering and Management. KSEM 2015. Lecture Notes in Computer Science(), vol 9403. Springer, Cham. https://doi.org/10.1007/978-3-319-25159-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25159-2_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25158-5

  • Online ISBN: 978-3-319-25159-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation