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

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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)MATHCrossRefMathSciNetGoogle 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)MATHCrossRefMathSciNetGoogle 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