\(\mathcal{ALE}\) Defeasible Description Logic

  • Pakornpong Pothipruk
  • Guido Governatori
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4304)


One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning. In this paper, we extend \(\mathcal{ALC^{-}}\) Defeasible Description Logic with existential quantifier, i.e., \(\mathcal{ALE}\) Defeasible Description Logic. Also, we modify some parts of the logic, resulting in an increasing efficiency in its reasoning.


Description Logic Strict Rule Nonmonotonic Reasoning Propositionalized Theory Superiority Relation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.: Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Billington, D.: Defeasible Logic is Stable. Journal of Logic and Computation 3, 370–400 (1993)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Governatori, G.: Defeasible Description Logics. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 98–112. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Maher, M.J.: Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming 1(6), 691–711 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Maher, M.J., Rock, A., Antoniou, G., Billignton, D., Miller, T.: Efficient Defeasible Reasoning Systems. International Journal of Artificial Intelligence Tools 10(4), 483–501 (2001)CrossRefGoogle Scholar
  6. 6.
    Nute, D.: Defeasible Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press, Oxford (1987)Google Scholar
  7. 7.
    Pothipruk, P., Governatori, G.: A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol. 3806, pp. 119–132. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Pakornpong Pothipruk
    • 1
  • Guido Governatori
    • 1
  1. 1.School of ITEEUniversity of QueenslandAustralia

Personalised recommendations