Abstract
This paper analyzes the probabilistic description logic P-\(\mathcal{SROIQ}\) as a fragment of well-known first-order probabilistic logic (FOPL).P-\(\mathcal{SROIQ}\) was suggested as a language that is capable of representing and reasoning about different kinds of uncertainty in ontologies, namely generic probabilistic relationships between concepts and probabilistic facts about individuals. However, some semantic properties of P-\(\mathcal{SROIQ}\) have been unclear which raised concerns regarding whether it could be used for representing probabilistic ontologies. In this paper we provide an insight into its semantics by translating P-\(\mathcal{SROIQ}\) into FOPL with a specific subjective semantics based on possible worlds. We prove faithfulness of the translation and demonstrate the fundamental nature of some limitations of P-\(\mathcal{SROIQ}\). Finally, we briefly discuss the implications of the exposed semantic properties of the logic on probabilistic modeling.
This work has been carried out when the first author was a doctoral student at the University of Manchester, UK.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence 172(6-7), 852–883 (2008)
Klinov, P., Parsia, B.: A Hybrid Method for Probabilistic Satisfiability. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 354–368. Springer, Heidelberg (2011)
Bacchus, F.: Representing and reasoning with probabilistic knowledge. MIT Press (1990)
Halpern, J.Y.: An analysis of first-order logics of probability. Artificial Intelligence 46, 311–350 (1990)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Knowledge Representation and Reasoning, pp. 57–67 (2006)
Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Information and Computation 199(1-2), 132–171 (2005)
Klinov, P.: Practical Reasoning in Probabilistic Description Logic. PhD thesis, The University of Manchester (2011)
Abadi, M., Halpern, J.Y.: Decidability and expressiveness for first-order logics of probability. Information and Computation 112(1), 1–36 (1994)
Koller, D., Halpern, J.Y.: Irrelevance and conditioning in first-order probabilistic logic. In: Advances in Artificial Intelligence Conference, pp. 569–576 (1996)
Borgida, A.: On the relationship between description logic and predicate logic. In: International Conference on Information and Knowledge Management, pp. 219–225 (1994)
Klinov, P., Parsia, B., Sattler, U.: On correspondences between probabilistic first-order and description logics. In: International Workshop on Description Logic (2009)
Geffner, H., Pearl, J.: A framework for reasoning with defaults. In: Kyburg, H., Loui, R., Carlson, G. (eds.) Knowledge Representation and Defeasible Reasoning, pp. 69–87. Kluwer Academic Publishers (1990)
Lukasiewicz, T.: Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation. International Journal of Approximate Reasoning 44(3), 301–321 (2007)
Cheeseman, P.: An inquiry into computer understanding. Computational Intelligence 4, 58–66 (1988)
Bacchus, F.: Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence 6, 209–231 (1990)
Klinov, P., Parsia, B.: Relationships between probabilistic description and first-order logics. In: International Workshop on Uncertainty in Description Logics (2010)
Giugno, R., Lukasiewicz, T.: P-\(\mathcal{SHOQ}({\bf D})\): A Probabilistic Extension of \(\mathcal{SHOQ}({\bf D})\) for Probabilistic Ontologies in the Semantic Web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 86–97. Springer, Heidelberg (2002)
Lutz, C., Schröder, L.: Probabilistic description logics for subjective uncertainty. In: International Conference on the Principles of Knowledge Representation and Reasoning (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klinov, P., Parsia, B. (2013). Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. In: Bobillo, F., et al. Uncertainty Reasoning for the Semantic Web II. URSW URSW URSW UniDL 2010 2009 2008 2010. Lecture Notes in Computer Science(), vol 7123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35975-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-35975-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35974-3
Online ISBN: 978-3-642-35975-0
eBook Packages: Computer ScienceComputer Science (R0)