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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic. 2(2), 255–287 (2001)
Billington, D., Antoniou, G., Governatori, G., Maher, M.: An inclusion theorem for defeasible logics. ACM Trans. Comput. Logic 12(1), 1–27 (2010)
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)
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)
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)
Governatori, G.: Defeasible Description Logics. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 98–112. Springer, Heidelberg (2004)
Horrocks, I.: Ontologies and the semantic web. Communications of the ACM 51(12), 58–67 (2008)
Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55(1), 1–60 (1992)
Maher, M.J.: Propositional defeasible logic has linear complexity. Theory Pract. Log. Program. 1(6), 691–711 (2001)
Maher, M.J.: Relative expressiveness of defeasible logics. Theory and Practice of Logic Programming 12, 793–810 (2012)
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)
Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Inteligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press (1987)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
To, VH., Le, B., Ikeda, M. (2014). On the Semantics of Defeasible Reasoning for Description Logic Ontologies. In: Huynh, V., Denoeux, T., Tran, D., Le, A., Pham, S. (eds) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol 244. Springer, Cham. https://doi.org/10.1007/978-3-319-02741-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-02741-8_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02740-1
Online ISBN: 978-3-319-02741-8
eBook Packages: EngineeringEngineering (R0)