Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web

  • Andrea Calì
  • Thomas Lukasiewicz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4670)


We present a novel approach to probabilistic description logic programs for the Semantic Web, where a tight integration of disjunctive logic programs under the answer set semantics with description logics is generalized by probabilistic uncertainty. The approach has a number of nice features. In particular, it allows for a natural probabilistic data integration and for a natural representation of ontology mappings under probabilistic uncertainty and inconsistency. It also provides a natural integration of a situation-calculus based language for reasoning about actions with both description logics and probabilistic uncertainty.


  1. 1.
    Calì, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs. Report INFSYS RR-1843-07-05, Institut für Informationssysteme, TU Wien (March 2007)Google Scholar
  2. 2.
    Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR 2004, pp. 141–151 (2004)Google Scholar
  3. 3.
    Lukasiewicz, T.: A novel combination of answer set programming with description logics for the Semantic Web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007, vol. 4519, pp. 384–398. Springer, Heidelberg (2007)Google Scholar
  4. 4.
    Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. (2007)Google Scholar
  5. 5.
    Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1–2), 7–56 (1997)MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Andrea Calì
    • 1
  • Thomas Lukasiewicz
    • 2
    • 3
  1. 1.Facoltà di Scienze e Tecnologie Informatiche, Libera Università di BolzanoItaly
  2. 2.Dipartimento di Informatica e Sistemistica, Sapienza Università di RomaItaly
  3. 3.Institut für Informationssysteme, Technische Universität WienAustria

Personalised recommendations