On the Semantics of Defeasible Reasoning for Description Logic Ontologies
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.
KeywordsDescription Logic Simulated Theory Nonmonotonic Reasoning Defeasible Reasoning Propositional Case
Unable to display preview. Download preview PDF.
- 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.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