Advertisement

On the Semantics of Defeasible Reasoning for Description Logic Ontologies

  • Viet-Hoai ToEmail author
  • Bac Le
  • Mitsuru Ikeda
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 244)

Abstract

Research in nonmonotonic reasoning for description logics to handle incomplete knowledge on the Semantic Web has attracted much attention in recent years. Among proposed approaches, preferential description logic has a well-formed semantics while defeasible reasoning shows its efficiency in the propositional case. In this paper, we propose a method to define formal definition of semantics of defeasible reasoning for description logic based on the framework of preferential DL. The semantics of defeasible DL theory is defined via its simulated theory constructed by two proposed transformations. This proposal fills the gap between these two approaches and may achieve great benefit by utilizing the advantages of both approaches.

Keywords

Description Logic Simulated Theory Nonmonotonic Reasoning Defeasible Reasoning Propositional Case 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Antoniou, G.: Nonmonotonic rule systems on top of ontology layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 394–398. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic. 2(2), 255–287 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Billington, D., Antoniou, G., Governatori, G., Maher, M.: An inclusion theorem for defeasible logics. ACM Trans. Comput. Logic 12(1), 1–27 (2010)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Britz, K., Meyer, T., Varzinczak, I.: Semantic Foundation for Preferential Description Logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS, vol. 7106, pp. 491–500. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics 6(4), 309–322 (2008)CrossRefGoogle Scholar
  6. 6.
    Gómez, S.A., Chesñevar, C.I., Simari, G.R.: Reasoning with inconsistent ontologies through argumentation. Applied Artificial Intelligence 24(1&2), 102–148 (2010)CrossRefGoogle Scholar
  7. 7.
    Governatori, G.: Defeasible Description Logics. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 98–112. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Horrocks, I.: Ontologies and the semantic web. Communications of the ACM 51(12), 58–67 (2008)CrossRefGoogle Scholar
  9. 9.
    Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55(1), 1–60 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Maher, M.J.: Propositional defeasible logic has linear complexity. Theory Pract. Log. Program. 1(6), 691–711 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Maher, M.J.: Relative expressiveness of defeasible logics. Theory and Practice of Logic Programming 12, 793–810 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Moodley, K., Meyer, T., Varzinczak, I.J.: A defeasible reasoning approach for description logic ontologies. In: Proceedings of the SAICSIT 2012, pp. 69–78. ACM, New York (2012)Google Scholar
  13. 13.
    Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Inteligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press (1987)Google Scholar
  14. 14.
    Pothipruk, P., Governatori, G.: \(\mathcal{ALE}\) defeasible description logic. In: Sattar, A., Kang, B.-H. (eds.) AI 2006. LNCS (LNAI), vol. AI 2006, pp. 110–119. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Japan Advanced Institute of Science and TechnologyNomiJapan
  2. 2.University of Science, Vietnamese National UniversityHo Chi Minh CityVietnam

Personalised recommendations