×

PR-OWL - a language for defining probabilistic ontologies. (English) Zbl 1419.68141

Summary: Recent years have witnessed an increasingly mature body of research on the Semantic Web (SW), with new standards being developed and more complex problems being addressed. As complexity increases in SW applications, so does the need to cope with uncertainty. Several approaches to uncertainty representation and reasoning in the SW have emerged. Among these is Probabilistic Web Ontology Language (PR-OWL), which provides a means of representing uncertainty in ontologies expressed in Web Ontology Language (OWL). PR-OWL allows values of random variables to range over OWL datatypes, following an approach suggested by Poole et al. to formalizing the association between random variables from probabilistic theories with the individuals, classes and properties from ontological languages such as OWL.

MSC:

68T30 Knowledge representation
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Laskey, K. J.; Laskey, K. B., Uncertainty reasoning for the World Wide Web: report on the URW3-XG incubator group, (Bobillo, F.; Costa, P. C.G.; D’Amato, C.; Fanizzi, N.; Laskey, K. B.; Laskey, K. J.; Lukasiewicz, T.; Martin, T.; Nickles, M.; Pool, M.; Smrz, P., Proceedings of the 4th Uncertainty Reasoning for the Semantic Web Workshop (URSW 2008), Collocated with the 7th International Semantic Web Conference (ISWC 2008). Proceedings of the 4th Uncertainty Reasoning for the Semantic Web Workshop (URSW 2008), Collocated with the 7th International Semantic Web Conference (ISWC 2008), CEUR Workshop Proc., vol. 423 (2008)) (2008)
[2] Costa, P. C.G., Bayesian Semantics for the Semantic Web (Jul. 2005), George Mason University: George Mason University Fairfax, VA, USA, PhD Dissertation
[3] Carvalho, R. N., Probabilistic Ontology: Representation and Modeling Methodology (2011), George Mason University: George Mason University Fairfax, VA, USA, PhD Dissertation
[4] Laskey, K. B., MEBN: a language for first-order Bayesian knowledge bases, Artif. Intell., 172, 2-3, 140-178 (2008) · Zbl 1182.68288
[5] Carvalho, R. N.; Laskey, K. B.; Costa, P. C.G., Compatibility formalization between PR-OWL and OWL, (Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL) on Federated Logic Conference (FLoC) 2010. Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL) on Federated Logic Conference (FLoC) 2010, Edinburgh, UK (2010))
[6] Carvalho, R. N.; Laskey, K. B.; Costa, P. C.G., PR-OWL 2.0 - bridging the gap to OWL semantics, (Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), collocated with the 9th International Semantic Web Conference (ISWC 2010), URSW ’10 (2010)), 73-84
[7] Carvalho, R. N.; Laskey, K. B.; Costa, P. C.G., Pr-owl 2.0 - bridging the gap to OWL semantics, (Bobillo, F.; Costa, P. C.G.; d’Amato, C.; Fanizzi, N.; Laskey, K. B.; Laskey, K. J.; Lukasiewicz, T.; Nickles, M.; Pool, M., Uncertainty Reasoning for the Semantic Web II: International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers (2013), Springer: Springer Berlin, Heidelberg), 1-18, Ch. 1
[8] Musen, M. A., The Protégé project: a look back and a look forward, AI Matters, 1, 4, 4-12 (2015)
[9] Carvalho, R. N.; Ladeira, M.; Santos, L.; Matsumoto, S.; Costa, P. C.G., UnBBayes-MEBN: comments on implementing a probabilistic ontology tool, (Single of IADIS ’08, Proceedings of the IADIS International Conference Applied Computing 2008. Single of IADIS ’08, Proceedings of the IADIS International Conference Applied Computing 2008, Nuno Guimarães and Pedro Isaías, Algarve, Portugal (2008)), 211-218
[10] Matsumoto, S.; Carvalho, R. N.; Ladeira, M.; Costa, P. C.G.; Santos, L. L.; Silva, D.; Onishi, M.; Machado, E.; Cai, K., UnBBayes: a Java framework for probabilistic models in AI, (Java in Academia and Research (2011), iConcept Press)
[11] Poole, D.; Smyth, C.; Sharma, R., Semantic science: ontologies, data and probabilistic theories, (Uncertainty Reasoning for the Semantic Web I. Uncertainty Reasoning for the Semantic Web I, Lect. Notes Comput. Sci., vol. 5327 (2008), Springer: Springer Berlin/Heidelberg), 26-40
[12] Hayes, P.; Rector, A., Defining n-ary relations on the Semantic Web (2006)
[13] Hitzler, P.; Krötzsch, M.; Rudolph, S., Foundations of Semantic Web Technologies (2009), Chapman and Hall/CRC
[14] Group, W. O.W., OWL 2 web ontology language document overview (Sep. 2009)
[15] Getoor, L.; Friedman, N.; Koller, D.; Taskar, B., Learning probabilistic models of link structure, J. Mach. Learn. Res., 3, 679-707 (2003), ACM ID: 944950 · Zbl 1112.68441
[16] Milch, B.; Russell, S., First-order probabilistic languages: into the unknown, (Inductive Logic Programming. Inductive Logic Programming, Lect. Notes Comput. Sci., vol. 4455 (2007), Springer: Springer Berlin/Heidelberg), 10-24 · Zbl 1201.68120
[17] Jaeger, M., Relational Bayesian networks, (Proceedings of the 13th UAI (1997), Morgan Kaufmann), 266-273
[18] Milch, B.; Marthi, B.; Russell, S.; Sontag, D.; Ong, D. L.; Kolobov, A., BLOG: probabilistic models with unknown objects, (Proceedings of the 19th international joint conference on Artificial intelligence (2005), Morgan Kaufmann Publishers Inc.), 1352-1359
[19] Domingos, P.; Lowd, D.; Kok, S.; Poon, H.; Richardson, M.; Singla, P., Just add weights: Markov logic for the Semantic Web, (Uncertainty Reasoning for the Semantic Web I. Uncertainty Reasoning for the Semantic Web I, Lect. Notes Comput. Sci., vol. 5327 (2008), Springer: Springer Berlin/Heidelberg), 1-25
[20] Pfeffer, A., Probabilistic Reasoning for Complex Systems (Jan. 2000), Stanford University, PhD Dissertation
[21] Friedman, N.; Getoor, L.; Koller, D.; Pfeffer, A., Learning probabilistic relational models, (Proceedings of Sixteenth International Joint Conference on Artificial Intelligence (1999))
[22] Spiegelhalter, D.; Thomas, A.; Best, N.; Gilks, W., BUGS 0.6 Bayesian inference using Gibbs sampling (Addendum to Manual) (1997)
[23] Pfeffer, A., IBAL: a probabilistic rational programming language, (Proceedings of the 17th IJCAI (2001)), 733-740
[24] Muggleton, S., Stochastic logic programs, (Advances in Inductive Logic Programming (1996), IOS Press), 254-264
[25] Halpern, J. Y., An analysis of first-order logics of probability, Artif. Intell., 46, 3, 311-350 (1990) · Zbl 0723.03007
[26] Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (1988), Morgan Kaufmann
[27] Pfeffer, A., The Design and Implementation of IBAL: A General Purpose Probabilistic Programming Language (2005), Tech. Rep. TR-12-05, Harvard Computer Science Group Technical Report
[28] Sato, T., A glimpse of symbolic-statistical modeling by PRISM, J. Intell. Inf. Syst., 31, 2, 161-176 (2008)
[29] Sato, T.; Kameya, Y., New advances in logic-based probabilistic modeling by PRISM, (Probabilistic Inductive Logic Programming (2008), Springer-Verlag), 118-155 · Zbl 1137.68617
[30] Poole, D., Probabilistic Horn abduction and Bayesian networks, Artif. Intell., 64, 1, 81-129 (1993) · Zbl 0792.68176
[31] Poole, D., The independent choice logic for modelling multiple agents under uncertainty, Artif. Intell., 94, 1-2, 7-56 (1997) · Zbl 0902.03017
[32] Vennekens, J.; Verbaeten, S.; Bruynooghe, M., Logic programs with annotated disjunctions, (Proceedings of the International Conference on Logic Programming, 2004 (2004)), 431-445 · Zbl 1104.68391
[33] Vajda, S., Probabilistic Programming (2014), Academic Press, google-Books-ID: 17riBQAAQBAJ
[34] Ding, Z.; Peng, Y.; Pan, R., BayesOWL: uncertainty modeling in Semantic Web ontologies, Soft Computing in Ontologies and Semantic Web, vol. 204, 3-29 (2006), Springer: Springer Berlin/Heidelberg
[35] Heinsohn, J., Probabilistic description logics, (Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence. Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, UAI-94 (1994), Morgan Kaufmann: Morgan Kaufmann Seattle, Washington, USA), 311-318
[36] Koller, D.; Levy, A.; Pfeffer, A., P-CLASSIC: a tractable probabilistic description logic, (Proceedings of AAAI-97 (1997)), 390-397
[37] Lukasiewicz, T., Expressive probabilistic description logics, Artif. Intell., 172, 6-7, 852-883 (2008) · Zbl 1182.68283
[38] Pan, J. Z.; Stoilos, G.; Stamou, G.; Tzouvaras, V.; Horrocks, I., f-SWRL: a fuzzy extension of SWRL, J. Data Semant. VI, 4090, 2006, 28-46 (2006) · Zbl 1186.68454
[39] Straccia, U., A fuzzy description logic for the Semantic Web, (Fuzzy Logic and the Semantic Web, Capturing Intelligence (2005), Elsevier), 167-181
[40] Tao, J.; Wen, Z.; Hanpin, W.; Lifu, W., PrDLs: a new kind of probabilistic description logics about belief, (New Trends in Applied Artificial Intelligence. New Trends in Applied Artificial Intelligence, Lect. Notes Comput. Sci., vol. 4570 (2007), Springer: Springer Berlin/Heidelberg), 644-654
[41] Riguzzi, F.; Bellodi, E.; Lamma, E.; Zese, R., Probabilistic description logics under the distribution semantics, Semant. Web, 6, 5, 477-501 (2015)
[42] Predoiu, L.; Stuckenschmidt, H., Probabilistic extensions of Semantic Web languages - a survey, (The Semantic Web for Knowledge and Data Management: Technologies and Practices (2008), Idea Group Inc.)
[43] Fukushige, Y., Representing probabilistic knowledge in the Semantic Web, (Proceedings of the W3C Workshop on Semantic Web for Life Sciences (2004))
[44] Udrea, O.; Subrahmanian, V. S.; Majkic, Z., Probabilistic RDF, (Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI - 2006 (2006), IEEE Systems Man, and Cybernetics Society: IEEE Systems Man, and Cybernetics Society Waikoloa, Hawaii, USA), 172-177
[45] Yang, Y.; Calmet, J., OntoBayes: an ontology-driven uncertainty model, (Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC’06), vol. 01 (2005), IEEE Computer Society), 457-463
[46] Holi, M.; Hyvönen, E., Modeling uncertainty in Semantic Web taxonomies, (Ma, Z., Soft Computing in Ontologies and Semantic Web, Studies in Fuzziness and Soft Computing (2006), Springer: Springer Berlin/Heidelberg), 31-46
[47] Grosof, B. N.; Horrocks, I.; Volz, R.; Decker, S., Description logic programs: combining logic programs with description logic, (Proceedings of the 12th International Conference on World Wide Web, WWW ’03 (2003), ACM: ACM New York, NY, USA), 48-57
[48] Lukasiewicz, T., Probabilistic description logic programs, Int. J. Approx. Reason., 45, 2, 288-307 (2007) · Zbl 1122.68027
[49] Calì, A.; Lukasiewicz, T.; Predoiu, L.; Stuckenschmidt, H., Tightly integrated probabilistic description logic programs for representing ontology mappings, (Hartmann, S.; Kern-Isberner, G., Foundations of Information and Knowledge Systems. Foundations of Information and Knowledge Systems, Lect. Notes Comput. Sci., vol. 4932 (2008), Springer: Springer Berlin/Heidelberg), 178-198 · Zbl 1138.68556
[50] Predoiu, L., Information integration with Bayesian description logic programs, (Proceedings of the Third IIWeb Interdisciplinary Workshop for Information Integration on the Web in conjunction with the WWW 2006 Conference. Proceedings of the Third IIWeb Interdisciplinary Workshop for Information Integration on the Web in conjunction with the WWW 2006 Conference, Edinburgh, Great Britain (2006))
[51] Predoiu, L.; Stuckenschmidt, H., A probabilistic framework for information integration and retrieval on the Semantic Web, (Proceedings of the 3rd International Workshop on Database Interoperability. Proceedings of the 3rd International Workshop on Database Interoperability, InterDB (2007))
[52] Nottelmann, H.; Fuhr, N., Adding probabilities and rules to OWL lite subsets based on probabilistic datalog, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 14, 1, 17-41 (2006) · Zbl 1093.68117
[53] Carvalho, R. N.; Laskey, K. B.; Costa, P. C.G., Uncertainty modeling process for semantic technology, PeerJ Comput. Sci., 2, e77, 1-36 (2016)
[54] Carvalho, R. N.; dos Santos, L. L.; Ladeira, M.; Rocha, H. A.D.; Mendes, G. L., UMP-ST plug-in: documenting, maintaining and evolving probabilistic ontologies using UnBBayes framework, (Uncertainty Reasoning for the Semantic Web III: International Workshops URSW 2011-2013, Revised Selected Papers (2014), Springer: Springer Berlin, Heidelberg), 1-20
[55] Park, C. Y.; Laskey, K. B.; Costa, P. C.G.; Matsumoto, S., A study of MEBN learning for relational model, (Laskey, K. B.; Laskey, P. C.G., Proceedings of the Seventh Conference on Semantic Technologies for Intelligence, Defense, and Security (STIDS 2012). Proceedings of the Seventh Conference on Semantic Technologies for Intelligence, Defense, and Security (STIDS 2012), CEUR Workshop Proc., vol. 966 (2012), George Mason University: George Mason University Fairfax, VA, USA)
[56] Park, C. Y.; Laskey, K. B.; Costa, P. C.G.; Matsumoto, S., Multi-entity Bayesian networks learning for hybrid variables in situation awareness, (Proceedings of the 16th International Conference on Information Fusion (2013)), 1894-1901
[57] Domingos, P.; Lowd, D., Markov Logic: An Interface Layer for Artificial Intelligence (2009), Morgan and Claypool Publishers · Zbl 1202.68403
[58] Park, C. Y.; Laskey, K. B.; Salim, S.; Lee, J. Y., Predictive situation awareness model for smart manufacturing, (Proceedings of the 20th International Conference on Information Fusion (2017)), 1630-1637
[59] Haberlin, R.; Costa, P. C.G.; Laskey, K. B., Hypothesis management in support of inferential reasoning, (Proceedings of the Fifteenth International Command and Control Research and Technology Symposium. Proceedings of the Fifteenth International Command and Control Research and Technology Symposium, Santa Monica, CA, USA (2010))
[60] Haberlin, R.; Costa, P. C.G.; Laskey, K. B., A model-based systems engineering approach to hypothesis management, (Proceedings of the Third International Conference on Model-Based Systems Engineering. Proceedings of the Third International Conference on Model-Based Systems Engineering, Fairfax, VA, USA (2010))
[61] Braz, R.; Amir, E.; Roth, D., Lifted first-order probabilistic inference, (Introduction to Statistical Relational Learning (2007), MIT Press)
[62] dos Santos, L. L.; Carvalho, R. N.; Ladeira, M.; Weigang, L.; Mendes, G. L., PR-OWL 2 RL - a language for scalable uncertainty reasoning on the Semantic Web, (Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015), Collocated with the 14th International Semantic Web Conference (ISWC 2015), URSW ’11 (2015))
[63] Matsumoto, S., Framework Based in Plug-Ins for Reasoning with Probabilistic Ontologies (2011), University of Brasília: University of Brasília Brasília, Brazil, MSc Thesis
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.