Abstract
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.
This work has been partially supported by the project P18146-N04 of the FWF, a Heisenberg Professorship of the DFG, and the STREP FET project TONES (FP6-7603) of the EU.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Calì, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs. Report INFSYS RR-1843-07-05, Institut für Informationssysteme, TU Wien (March 2007)
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)
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)
Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. (2007)
Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1–2), 7–56 (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calì, A., Lukasiewicz, T. (2007). Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. In: Dahl, V., Niemelä, I. (eds) Logic Programming. ICLP 2007. Lecture Notes in Computer Science, vol 4670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74610-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-74610-2_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74608-9
Online ISBN: 978-3-540-74610-2
eBook Packages: Computer ScienceComputer Science (R0)