Probabilistic description logic programs

G. Alsaç, C. Baral, Reasoning in description logics using declarative logic programming, Technical Report, Department of Computer Science and Engineering, Arizona State University, 2001. G. Antoniou, Nonmonotonic rule systems on top of ontology layers, in: Proceedings ISWC-2002, LNCS 2342, 2002, pp. 394–398. G. Antoniou, G. Wagner, Rules and defeasible reasoning on the Semantic Web, in: Proceedings RuleML-2003, LNCS 2876, 2003, pp. 111–120. Baader, 1995, Embedding defaults into terminological representation systems, J. Autom. Reason., 14, 149, 10.1007/BF00883932 Berners-Lee, 1999 H. Boley, S. Tabet, G. Wagner, Design rationale for RuleML: A markup language for Semantic Web rules, in: Proceedings SWWS-2001, 2001, pp. 381–401. Charnes, 1962, Programming with linear fractional functionals, Naval Res. Logist. Quart., 9, 181, 10.1002/nav.3800090303 P.C.G. da Costa, Bayesian semantics for the Semantic Web, Doctoral Dissertation, George Mason University, Fairfax, VA, USA, 2005. C.V. Damásio, The W4 Project, 2002. Available from: <http://centria.di.fct.unl.pt/~cd/projectos/w4/index.htm>. Donini, 1998, AL-log: Integrating datalog and description logics, J. Intell. Inf. Syst. (JIIS), 10, 227, 10.1023/A:1008687430626 Z. Ding, Y. Peng, A probabilistic extension to ontology language OWL, in: Proceedings HICSS-2004, 2004. T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits, Combining answer set programming with description logics for the Semantic Web, in: Proceedings KR-2004, 2004, pp. 141–151 (Extended Report RR-1843-03-13, Institut für Informationssysteme, TU Wien, 2003). T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits, Well-founded semantics for description logic programs in the Semantic Web, in: Proceedings RuleML-2004, LNCS 3323, 2004, pp. 81–97. 2002 A. Finzi, T. Lukasiewicz, Structure-based causes and explanations in the independent choice logic, in: Proceedings UAI-2003, 2003, pp. 225–232. Y. Fukushige. Representing probabilistic knowledge in the Semantic Web, in: Proceedings of the W3C Workshop on Semantic Web for Life Sciences, Cambridge, MA, USA, 2004. Gelfond, 1991, Classical negation in logic programs and deductive databases, New Generat. Comput., 17, 365, 10.1007/BF03037169 R. Giugno, T. Lukasiewicz, P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the Semantic Web, in: Proceedings JELIA-2002, LNCS 2424, 2002, pp. 86–97. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: Combining logic programs with description logics, in: Proceedings WWW-2003, 2003, pp. 48–57. J. Heinsohn, Probabilistic description logics, in: Proceedings UAI-1994, 1994, pp. 311–318. I. Horrocks, P.F. Patel-Schneider, Reducing OWL entailment to description logic satisfiability, in: Proceedings ISWC-2003, LNCS 2870, 2003, pp. 17–29. I. Horrocks, P.F. Patel-Schneider, A proposal for an OWL Rules Language, in: Proceedings WWW-2004, 2004, pp. 723–731. Horrocks, 2003, From SHIQ and RDF to OWL: The making of a Web ontology language, J. Web Semantics, 1, 7, 10.1016/j.websem.2003.07.001 I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive description logics, in: Proceedings LPAR-1999, LNCS 1705, 1999, pp. 161–180. U. Hufstadt, B. Motik, U. Sattler, Reasoning for description logics around SHIQ in a resolution framework, Technical Report 3-8-04/04, FZI Karlsruhe, 2004. Kern-Isberner, 2004, Combining probabilistic logic programming with the power of maximum entropy, Artif. Intell., 157, 139, 10.1016/j.artint.2004.04.003 Levy, 1998, Combining Horn rules and description logics in CARIN, Artif. Intell., 104, 165, 10.1016/S0004-3702(98)00048-4 M. Jaeger, Probabilistic reasoning in terminological logics, in: Proceedings KR-1994, 1994, pp. 305–316. D. Koller, A. Levy, A. Pfeffer, P-Classic: A tractable probabilistic description logic, in: Proceedings AAAI-1997, 1997, pp. 390–397. Lukasiewicz, 2001, Probabilistic logic programming with conditional constraints, ACM Trans. Comput. Log., 2, 289, 10.1145/377978.377983 T. Lukasiewicz, Probabilistic description logic programs, in: Proceedings ECSQARU-2005, LNCS 3571, 2005, pp. 737–749. T. Lukasiewicz, Stratified probabilistic description logic programs, in: Proceedings URSW-2005, 2005, pp. 87–97. H. Nottelmann, N. Fuhr, pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic Datalog, in: Proceedings IPMU-2004, 2004. M. Pool, J. Aikin, KEEPER and Protégé: An elicitation environment for Bayesian inference tools, in: Proceedings of the Workshop on Protégé and Reasoning held at the 7th International Protégé Conference, 2004. Poole, 1997, The independent choice logic for modelling multiple agents under uncertainty, Artif. Intell., 94, 7, 10.1016/S0004-3702(97)00027-1 P. Rao, K. Sagonas, T. Swift, D.S. Warren, J. Freire, XSB: A system for efficiently computing WFS, in: Proceedings LPNMR-1997, LNCS 1265, 1997, pp. 430–440. R. Rosati, Towards expressive KR systems integrating datalog and description logics: Preliminary report, in: Proceedings DL-1999, 1999, pp. 160–164. Rosati, 2005, On the decidability and complexity of integrating ontologies and rules, J. Web Semantics, 3, 61, 10.1016/j.websem.2005.05.002 Straccia, 2001, Reasoning within fuzzy description logics, J. Artif. Intell. Res., 14, 137, 10.1613/jair.813 U. Straccia, Towards a fuzzy description logic for the Semantic Web (preliminary report), in: Proceedings ESWC-2005, LNCS 3532, 2005, pp. 167–181. Straccia, 2006, Uncertainty and description logic programs over lattices, 115 U. Straccia, Fuzzy description logic programs, in: Proceedings IPMU-2006, 2006, pp. 1818–1825. T. Swift, Deduction in ontologies via ASP, in: Proceedings LPNMR-2004, LNCS 2923, 2004, pp. 275–288. K. Van Belleghem, M. Denecker, D. De Schreye, A strong correspondence between description logics and open logic programming, in: Proceedings ICLP-1997, 1997, pp. 346–360. Van Gelder, 1991, The well-founded semantics for general logic programs, J. ACM, 38, 620, 10.1145/116825.116838 W3C. OWL Web ontology language overview, 2004. W3C Recommendation, 10 February 2004. Available from: <www.w3.org/TR/2004/REC-owl-features-20040210/>.