Introducing Role Defeasibility in Description Logics | SpringerLink
Skip to main content
Springer Nature Link
Log in

Introducing Role Defeasibility in Description Logics

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2016)

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

Included in the following conference series:

Abstract

Accounts of preferential reasoning in Description Logics often take as point of departure the semantic notion of a preference order on objects in a domain of interpretation, which allows for the development of notions of defeasible subsumption and entailment. However, such an approach does not account for defeasible roles, interpreted as partially ordered sets of tuples. We state the case for role defeasibility and introduce a corresponding preferential semantics for a number of defeasible constructs on roles. We show that this does not negatively affect decidability or complexity of reasoning for an important class of DLs, and that existing notions of preferential reasoning can be expressed in terms of defeasible roles.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Askounis, D., Koutras, C.D., Zikos, Y.: Knowledge Means ‘All’, Belief Means ‘Most’. In: Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 41–53. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33353-8_4

    Chapter  Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  3. Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 669–675. Morgan Kaufmann Publishers (1993)

    Google Scholar 

  4. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)

    Article  MathSciNet  Google Scholar 

  5. Bonatti, P., Faella, M., Petrova, I., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1–48 (2015)

    Article  MathSciNet  Google Scholar 

  6. Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. 42, 719–764 (2011)

    MathSciNet  MATH  Google Scholar 

  7. Bonatti, P., Lutz, C., Wolter, F.: The complexity of circumscription in description logic. J. Artif. Intell. Res. 35, 717–773 (2009)

    MathSciNet  MATH  Google Scholar 

  8. Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the entailment problem for a logic of typicality. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) (2015)

    Google Scholar 

  9. Booth, R., Meyer, T., Varzinczak, I.: PTL: a propositional typicality logic. In: Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 107–119. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33353-8_9

    Chapter  Google Scholar 

  10. Booth, R., Meyer, T., Varzinczak, I.: A propositional typicality logic for extending rational consequence. In: Fermé, E., Gabbay, D., Simari, G. (eds.) Trends in Belief Revision and Argumentation Dynamics. Studies in Logic - Logic and Cognitive Systems, vol. 48, pp. 123–154. King’s College Publications, London (2013)

    Google Scholar 

  11. Boutilier, C.: Conditional logics of normality: a modal approach. Artif. Intell. 68(1), 87–154 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  12. Britz, K., Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Ordered interpretations and entailment for defeasible description logics. Technical report, CAIR, CSIR Meraka and UKZN, South Africa (2013). http://tinyurl.com/cydd6yy

  13. Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of the 26th International Workshop on Description Logics, pp. 93–106 (2013)

    Google Scholar 

  14. Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 476–484. AAAI Press/MIT Press (2008)

    Google Scholar 

  15. Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS (LNAI), vol. 7106, pp. 491–500. Springer, Heidelberg (2011). doi:10.1007/978-3-642-25832-9_50

    Chapter  Google Scholar 

  16. Britz, K., Varzinczak, I.: Defeasible modes of inference: a preferential perspective. In: Proceedings of the 14th International Workshop on Nonmonotonic Reasoning (NMR) (2012)

    Google Scholar 

  17. Britz, K., Varzinczak, I.: Defeasible modalities. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 49–60 (2013)

    Google Scholar 

  18. Britz, K., Varzinczak, I.: Preferential modalities revisited. In: Proceedings of the 16th International Workshop on Nonmonotonic Reasoning (NMR) (2016)

    Google Scholar 

  19. Calvanese, D., Giacomo, G.: Expressive description logics. In: Baader, F., et al. [2], Chap. 5, pp. 193–236

    Google Scholar 

  20. Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 409–426. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25010-6_27

    Chapter  Google Scholar 

  21. Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Nonmonotonic reasoning in description logics: Rational closure for the ABox. In: Proceedings of the 26th International Workshop on Description Logics. pp. 600–615 (2013)

    Google Scholar 

  22. Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 77–90. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15675-5_9

    Chapter  Google Scholar 

  23. Donini, F., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177–225 (2002)

    Article  MathSciNet  Google Scholar 

  24. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513. Oxford University Press, Oxford (1994)

    Google Scholar 

  25. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 257–272. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75560-9_20

    Chapter  Google Scholar 

  26. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: \(\cal ALC\) + T: a preferential extension of description logics. Fundamenta Informaticae 96(3), 341–372 (2009)

    MathSciNet  MATH  Google Scholar 

  27. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165–202 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  28. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1–33 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  29. Governatori, G.: Defeasible description logics. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 98–112. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30504-0_8

    Chapter  Google Scholar 

  30. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW), pp. 48–57. ACM (2003)

    Google Scholar 

  31. Heymans, S., Vermeir, D.: A defeasible ontology language. In: Meersman, R., Tari, Z. (eds.) OTM 2002. LNCS, vol. 2519, pp. 1033–1046. Springer, Heidelberg (2002). doi:10.1007/3-540-36124-3_66

    Chapter  Google Scholar 

  32. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167–207 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  33. Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1–60 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  34. Liau, C.J.: On the possibility theory-based semantics for logics of preference. Int. J. Approximate Reasoning 20(2), 173–190 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  35. Liau, C.J., Lin, B.P.: Possibilistic reasoning-a mini-survey and uniform semantics. Artif. Intell. 88(1–2), 163–193 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  36. Lindström, P.: First-order predicate logic with generalized quantifiers. Theoria 32, 286–195 (1966)

    MathSciNet  MATH  Google Scholar 

  37. Padgham, L., Zhang, T.: A terminological logic with defaults: a definition and an application. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 662–668. Morgan Kaufmann Publishers (1993)

    Google Scholar 

  38. Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 828–839. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75256-1_72

    Chapter  Google Scholar 

  39. Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 294–305 (1992)

    Google Scholar 

  40. Quantz, J., Ryan, M.: Preferential default description logics. Technical report, TU Berlin (1993). www.tu-berlin.de/fileadmin/fg53/KIT-Reports/r110.pdf

  41. Sengupta, K., Krisnadhi, A.A., Hitzler, P.: Local closed world semantics: grounded circumscription for OWL. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 617–632. Springer, Heidelberg (2011). doi:10.1007/978-3-642-25073-6_39

    Chapter  Google Scholar 

  42. Shoham, Y.: Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Massachusetts (1988)

    Google Scholar 

  43. Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 676–681. Morgan Kaufmann Publishers (1993)

    Google Scholar 

  44. Veloso, P., Veloso, S., Viana, J., de Freitas, R., Benevides, M., Delgado, C.: On vague notions and modalities: a modular approach. Logic J. IGPL 18(3), 381–402 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work is based on research supported in part by the National Research Foundation of South Africa (Grant Numbers 103345 and 85482).

Author information

Authors and Affiliations

  1. CSIR-SU CAIR, Stellenbosch University, Stellenbosch, South Africa

    Katarina Britz

  2. CRIL, Univ. Artois & CNRS, 62300, Lens, France

    Ivan Varzinczak

Authors
  1. Katarina Britz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ivan Varzinczak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Varzinczak .

Editor information

Editors and Affiliations

  1. Open University of Cyprus, Nicosia, Cyprus

    Loizos Michael

  2. University of Cyprus, Nicosia, Cyprus

    Antonis Kakas

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Britz, K., Varzinczak, I. (2016). Introducing Role Defeasibility in Description Logics. In: Michael, L., Kakas, A. (eds) Logics in Artificial Intelligence. JELIA 2016. Lecture Notes in Computer Science(), vol 10021. Springer, Cham. https://doi.org/10.1007/978-3-319-48758-8_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-48758-8_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-48757-1

  • Online ISBN: 978-3-319-48758-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics