P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424 LNAI, Issue , 2002, Pages 86-97

  Giugno, Rosalba ^a   Lukasiewicz, Thomas ^b,c  

^a UNIVERSITY OF CATANIA   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL METHODS; LINEAR PROGRAMMING; ONTOLOGY; SEMANTICS;

EXPRESSIVE DESCRIPTION LOGIC; LEXICOGRAPHIC ENTAILMENT; PROBABILISTIC DEFAULT REASONINGS; PROBABILISTIC EXTENSION; PROBABILISTIC KNOWLEDGE; PROBABILISTIC ONTOLOGIES; REASONING TECHNIQUES; WEB ONTOLOGY LANGUAGE;

SEMANTIC WEB;

EID: 85099426911     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45757-7_8     Document Type: Conference Paper

References (29)

1. S. Amarger, D. Dubois, and H. Prade. Constraint propagation with imprecise conditional probabilities. In Proceedings UAI-91, pages 26-34, 1991.
2. T. Berners-Lee. Weaving the Web. Harper, San Francisco, 1999.
3. T. Eiter, J. J. Lu, T. Lukasiewicz, and V. S. Subrahmanian. Probabilistic object bases. ACM Transactions on Database Systems, 26(3):264-312, 2001.
4. T. Eiter, T. Lukasiewicz, and M.Walter. A data model and algebra for probabilistic complex values. Ann. Math. Artif. Intell., 33(2-4):205-252, 2001. (Pubitemid 33634356)
5. D. Fensel, F. van Harmelen, I. Horrocks, D. L. McGuiness, and P. F. Patel-Schneider. OIL:An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(2):38-45, 2001.
6. A. M. Frisch and P. Haddawy. Anytime deduction for probabilistic logic. Artif. Intell., 69:93-122, 1994.
7. R. Giugno and T. Lukasiewicz. P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. Technical Report INFSYS RR-1843-02-06, Institut für Informationssysteme, Technische Universität Wien, April 2002.
8. M. Goldszmidt and J. Pearl. On the consistency of defeasible databases. Artif. Intell., 52(2):121-149, 1991.
9. J. Heinsohn. Probabilistic description logics. In Proceedings UAI-94, pages 311-318, 1994.
10. J. Hendler and D. L. McGuiness. The DARPA agent markup language. IEEE Intelligent Systems, 15(6):67-73, 2000.
11. Health level seven, 1997. www.hl7.org.
12. I. Horrocks. DAML+OIL: A description logic for the semantic web. IEEE Bulletin of the Technical Committee on Data Engineering, 25(1):4-9, 2002.
13. I. Horrocks. DAML+OIL: A reason-able web ontology language. In Proceedings EDBT-02, volume 2287 of LNCS, pages 2-13. Springer, 2002.
14. I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, and E. Motta. OIL: The ontology inference layer. Technical Report IR-479, Vrije Universiteit Amsterdam, 2000.
15. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. Reviewing the design of DAML+OIL: An ontology language for the semantic web. In Proceedings AAAI-02, 2002. To appear.
16. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proceedings IJCAI-01, pages 199-204, 2001.
17. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings LPAR-99, volume 1705 of LNCS, pages 161-180. Springer, 1999.
18. M. Jaeger. Probabilistic reasoning in terminological logics. In Proceedings KR-94, pages 305-316, 1994.
19. D. Koller, A. Levy, and A. Pfeffer. P-CLASSIC: A tractable probabilistic description logic. In Proceedings AAAI-97, pages 390-397, 1997.
20. D. Lehmann. Another perspective on default reasoning. Ann. Math. Artif. Intell., 15(1):61-82, 1995.
21. T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res., 10:199-241, 1999.
22. T. Lukasiewicz. Probabilistic logic programming under inheritance with overriding. In Proceedings UAI-01, pages 329-336, 2001.
23. T. Lukasiewicz. Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell., 34(1-3):35-88, 2002.
24. N. J. Nilsson. Probabilistic logic. Artif. Intell., 28:71-88, 1986.
25. n) description logic. In Proceedings DL-02, 2002.
26. U. Straccia. A fuzzy description logic. In Proceedings AAAI-98, pages 594-599, 1998.
27. U. Straccia. Reasoning within fuzzy description logics. J. Artif. Intell. Res., 14:137-166, 2001.
28. C. B. Tresp and R. Molitor. A description logic for vague knowledge. In Proceedings ECAI-98, pages 361-365, 1998.
29. J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proceedings IJCAI-91, pages 472-477, 1991.