Adding probabilities and rules to owl lite subsets based on probabilistic datalog

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 14, Issue 1, 2006, Pages 17-41

  Nottelmann, Henrik ^a   Fuhr, Norbert ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

Information retrieval; Logics; OWL lite; Probabilistic datalog; Rules

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; INFORMATION RETRIEVAL; PROBABILITY;

OWL LITE; PROBABILISTIC DATALOG; RULES;

SET THEORY;

EID: 33644641859     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488506003819     Document Type: Article

References (30)

1. C. Baral, M. Gelfond, and J. N. Rushton. Probabilistic reasoning with answer sets. In LPNMR 2004, 2004.
2. J. de Bruijn, A. Polleres, R. Lara, and D. Fensel. OWL, v0.2. Technical report, 2005. http://www.wsmo.org/TR/d20/d20.1/v0.2/20050515/d20.1v0.2_20050515. pdf.
3. F.M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems (JIIS), 10(3):227-252, 1998.
4. D. Dubois and C. A. Welty, editors. Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-04)., 2004.
5. T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transactions on Database Systems (TODS), 1997.
6. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Dubois and Welty 4.
7. N. Fuhr. Probabilistic Datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51(2):95-110, 2000.
8. N. Fuhr and T. Rölleke. HySpirit - a probabilistic inference engine for hypermedia retrieval in large databases. In Proceedings of the 6th International Conference on Extending Database Technology (EDBT), pages 24-38, Heidelberg et al., 1998. Springer.
9. R. Giugno and T. Lukasiewicz. P-SHOQ(D): A probabilistic extension of SH OQ(D) for probabilistic ontologies in the semantic web. In JELIA 2002, 2002.
10. B. N. Grosof, I. Horrocks, S. Decker, and R. Volz. Description logic programs: combining logic programs with description logic. In Proceedings of the twelfth International conference on World Wide Web, 2003.
11. S. Heymans, D. V. Nieuwenborgh, and D. Vermeir. Semantic web reasoning with conceptual logic programs. In RuleML 2004, 2004.
12. I. Horrocks and P. Patel-Schneider. A proposal for an OWL rules language. In Proceedings of the Thirteenth International World Wide Web Conference (WWW 2004), 2004.
13. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161-180. Springer-Verlag, 1999.
14. U. Hustadt, B. Motik, and U. Sattler. Reducing S H I Q-Description Logic to Disjunctive Datalog Programs. In Dubois and Welty 4.
15. M. Jaeger. Probabilistic reasoning in terminological logics. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-04)., 1994.
16. D. Koller, A. Levy, and A. Pfeffer. P-Classic: A tractable probabilistic description logic. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI), pages 390-397, 1997.
17. J. W. Lloyd. Foundations of Logic Programming. Springer, Heidelberg et al., 2. edition, 1987.
18. D. E. Losada. A logical model of Information Retrieval based on Propositional Logic and Belief Revision. PhD thesis, University of A Coruna, 2001.
19. D. E. Losada and J. M. F. Luna, editors. 27th European Conference on Information Retrieval Research (ECIR 2005), 2005.
20. T. Lukasiewicz.
21. D. L. McGuinness and F. van Harmelen. OWL. Technical report, World Wide Web Consortium, 2004. http://www.w3.org/TR/owl-features/.
22. 19.
23. H. Nottelmann and N. Fuhr. pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic Datalog. In Proceedings Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2004.
24. 19.
25. Peter F. Patel-Schneider and Patrick Hayes and Ian Horrocks, W3C. OWL Semantics and Abstract Syntax. Technical report, World Wide Web Consortium, 2004. http://www.w3.org/TR/owl-semantics/.
26. S. E. Robertson. The probability ranking principle in IR. Journal of Documentation, 33:294-304, 1977.
27. K. Ross. Modular stratification and magic sets for Datalog programs with negation. Journal of the ACM, 41(6):1216-1266, Nov. 1994.
28. U. Straccia. Uncertainty and description logic programs: A proposal for expressing rules and uncertainty on top of ontologies. Technical Report ISTI-2004-TR, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy, 2004.
29. J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume I. Computer Science Press, Rockville (Md.), 1988.
30. A. van Gelder, K. Ross, and J. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, July 1991.