Abstract

Abstract. In previous work, we have introduced probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set and well-founded semantics with Poole’s independent choice logic. Such programs are directed towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web. In this paper, we continue this line of research. We concentrate on the special case of stratified probabilistic description logic programs (or spdl-programs). In particular, we present an algorithm for query processing in such pdl-programs, which is based on a reduction to computing the canonical model of stratified dl-programs. 1

Citations

743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
395	From SHIQ and RDF to OWL: the making of a web ontology language - Halo, PF, et al. - 2003
341	Description logic programs: combining logic programs with description logic - Grosof, Horrocks, et al. - 2003
279	Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, et al. - 1999
256	Weaving the Web - Berners-Lee, T - 2002
167	Reducing owl Entailment to Description Logic Satisfiability - Horrocks, Patel-Schneider
156	Combining answer set programming with description logics for the semantic web - Eiter, Lukasiewicz, et al. - 2004
133	G.: Design rationale of ruleml: A markup languagefor semantic web rules - Boley, Tabet, et al. - 2001
133	AL-log: Integrating Datalog and Description Logics - DONINI, LENZERINI, et al. - 1998
129	Reasoning within fuzzy description logics - Straccia - 2001
128	A Proposal for an owl Rules Language - Horrocks, Patel-Schneider - 2004
119	The Independent Choice Logic for modelling multiple agents under uncertainty - Poole - 1997
96	A Fuzzy Description Logic for the Semantic Web - Straccia - 2005
91	P-Classic: A tractable probabilistic description logic - Koller, Levy, et al. - 1997
72	A probabilistic extension to ontology language OWL - Ding, Peng - 2004
69	Probabilistic Reasoning in Terminological Logics - Jaeger - 1994
68	A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in Semantic Web - Guigno, Lukasiewicz - 2002
66	W.: Spinning the Semantic Web: Bringing the World Wide Web to its Full Potential - Fensel, Hendler, et al. - 2003
62	Probabilistic Description Logics - Heinsohn - 1994
48	Well-Founded semantics for description logic programs in the semantic web - Eiter, Lukasiewicz, et al. - 2004
33	Web Ontology Language Overview - OWL - 2004
32	Classical negation in logic programs and deductive databases - Gelfond, Lifschitz - 1991
29	B.: Embedding defaults into terminological representation systems - Baader, Hollunder - 1995
27	Reasoning for description logics around SHIQ in a resolution framework - Hustadt, Motik, et al. - 2004
27	Combining Horn rules and description logics - Levy, Rousset - 1998
23	Uncertainty and description logic programs over lattices - Straccia - 2006
22	Reasoning in description logics using declarative logic programming - Alsaç, Baral - 2001
22	Towards expressive KR systems integrating datalog and description logics: A preliminary report - Rosati - 1999
20	Nonmonotonic rule systems on top of ontology layers - Antoniou - 2002
15	Representing Probabilistic Knowledge in the Semantic Web. Position paper for the W3C Workshop on Semantic Web for Life Sciences - Fukushige - 2004
13	pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic datalog - Nottelmann, Fuhr - 2004
13	Deduction in ontologies via ASP - Swift - 2004
11	XSB: A system for efficiently computing WFS - Rao, Sagonas, et al. - 1997
11	Schreye. A strong correspondence between description logics and open logic programming - Belleghem, Denecker, et al. - 1997
10	KEEPER and Protégé: An elicitation environment for Bayesian inference tools - Pool, Aikin - 2004
9	Structure-based causes and explanations in the independent choice logic - Finzi, Lukasiewicz - 2003
7	Rules and defeasible reasoning on the Semantic Web - Antoniou, Wagner - 2003
5	Bayesian semantics for the Semantic - Costa - 2005