\(\mathcal{EL}\) with Default Attributes and Overriding

  • Piero A. Bonatti
  • Marco Faella
  • Luigi Sauro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6496)

Abstract

Biomedical ontologies and semantic web policy languages based on description logics (DLs) provide fresh motivations for extending DLs with nonmonotonic inferences—a topic that has attracted a significant amount of attention along the years. Despite this, nonmonotonic inferences are not yet supported by the existing DL engines. One reason is the high computational complexity of the existing decidable fragments of nonmonotonic DLs. In this paper we identify a fragment of circumscribed \(\mathcal{EL}^\bot\) that supports attribute inheritance with specificity-based overriding (much like an object-oriented language), and such that reasoning about default attributes is in P.

Keywords

Nonmonotonic description logics Defeasible inheritance 

References

  1. 1.
    Baader, F.: The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics. In: Günter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 64–78. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 364–369. Professional Book Center (2005)Google Scholar
  3. 3.
    Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Baader, F., Hollunder, B.: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Autom. Reasoning 15(1), 41–68 (1995)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287–291. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  7. 7.
    Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs: Preliminary notes. In: Boutilier, C. (ed.) IJCAI, pp. 696–701 (2009)Google Scholar
  8. 8.
    Bonatti, P.A., Lutz, C., Wolter, F.: The complexity of circumscription in dls. J. Artif. Intell. Res. (JAIR) 35, 717–773 (2009)MATHGoogle Scholar
  9. 9.
    Bonatti, P.A., Samarati, P.: Logics for authorization and security. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases, pp. 277–323. Springer, Heidelberg (2003)Google Scholar
  10. 10.
    Cadoli, M., Donini, F., Schaerf, M.: Closed world reasoning in hybrid systems. In: Proc. of ISMIS 1990, pp. 474–481. Elsevier, Amsterdam (1990)Google Scholar
  11. 11.
    Donini, F.M., Nardi, D., Rosati, R.: Autoepistemic description logics. In: IJCAI (1), pp. 136–141 (1997)Google Scholar
  12. 12.
    Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2), 177–225 (2002)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Finin, T.W., Joshi, A., Kagal, L., Niu, J., Sandhu, R.S., Winsborough, W.H., Thuraisingham, B.M.: ROWLBAC: representing role based access control in OWL. In: Ray, I., Li, N. (eds.) SACMAT, pp. 73–82. ACM, New York (2008)CrossRefGoogle Scholar
  14. 14.
    Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Prototypical reasoning with low complexity description logics: Preliminary results. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 430–436. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in ALC and EL. In: Grau, et al. (eds.) [16]Google Scholar
  16. 16.
    Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.): Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30. CEUR Workshop Proceedings, vol. 477. CEUR-WS.org. (2009)Google Scholar
  17. 17.
    Kolovski, V., Hendler, J.A., Parsia, B.: Analyzing web access control policies. In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J. (eds.) WWW, pp. 677–686. ACM, New York (2007)CrossRefGoogle Scholar
  18. 18.
    Rector, A.L.: Defaults, context, and knowledge: Alternatives for OWL-indexed knowledge bases. In: Altman, R.B., Dunker, A.K., Hunter, L., Jung, T.A., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, pp. 226–237. World Scientific, Singapore (2004)Google Scholar
  19. 19.
    Stevens, R., Aranguren, M.E., Wolstencroft, K., Sattler, U., Drummond, N., Horridge, M., Rector, A.L.: Using OWL to model biological knowledge. International Journal of Man-Machine Studies 65(7), 583–594 (2007)Google Scholar
  20. 20.
    Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: IJCAI, pp. 676–681 (1993)Google Scholar
  21. 21.
    Uszok, A., Bradshaw, J.M., Jeffers, R., Suri, N., Hayes, P.J., Breedy, M.R., Bunch, L., Johnson, M., Kulkarni, S., Lott, J.: KAoS policy and domain services: Towards a description-logic approach to policy representation, deconfliction, and enforcement. In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), Lake Como, Italy, pp. 93–96. IEEE Computer Society, Los Alamitos (June 2003)Google Scholar
  22. 22.
    Zhang, R., Artale, A., Giunchiglia, F., Crispo, B.: Using description logics in relation based access control. In: Grau, et al. (eds.) [16]Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Piero A. Bonatti
    • 1
  • Marco Faella
    • 1
  • Luigi Sauro
    • 1
  1. 1.Università di Napoli Federico IINapoliItaly

Personalised recommendations