Probabilistic description logics for subjective uncertainty

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 393-403

  Lutz, Carsten ^a   Schröder, Lutz ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; SEMANTICS;

FIRST ORDER LOGIC; PROBABILISTIC DESCRIPTIONS; SUBJECTIVE PROBABILITY; SUBJECTIVE UNCERTAINTY;

PROBABILISTIC LOGICS;

EID: 84860577812     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Artale, A.; Lutz, C.; and Toman, D. 2007. A description logic of change. In International Joint Conference on Artificial Intelligence, IJCAI-07, 218-223.
2. Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook. Cambridge University Press.
3. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In International Joint Conference on Artificial Intelligence, IJCAI-05, 364-369.
4. Bodenreider, O.; Smith, B.; and Burgun, A. 2004. The ontology- epistemology divide: A case study in medical terminology. In Formal Ontology in Information Systems, FOIS 04, 185-195. IOS Press.
5. Brázdil, T.; Forejt, V.; Kretínský, J.; and Kucera, A. 2008. The satisfiability problem for probabilistic ctl. In LICS, 391- 402. IEEE Computer Society.
6. Canny, J. F. 1988. Some algebraic and geometric computations in PSPACE. In Symposium on Theory of Computing, STOC 1988, 460-467. ACM.
7. da Costa, P. C. G., and Laskey, K. B. 2006. PR-OWL: A framework for probabilistic ontologies. In Formal Ontology in Information Systems, FOIS 06, volume 150 of Frontiers in Artificial Intelligence and Applications, 237-249. IOS Press.
8. Ding, Z.; Peng, Y.; and Pan, R. 2006. BayesOWL: Uncertainty modeling in semantic web ontologies. In Soft Computing in Ontologies and Semantic Web, number 204 in Studies in Fuzziness and Soft Computing, 3-29. Springer.
9. Fagin, R.; Halpern, J.; and Megiddo, N. 1990. A logic for reasoning about probabilities. Inform. Comput. 87:78-128.
10. Gabbay, D. M.; Kurucz, Á.; Wolter, F.; and Zakharyaschev, M. 2003. Many-Dimensional Modal Logics: Theory and Applications. Elsevier.
11. Halpern, J. Y. 1990. An analysis of first-order logics of probability. Artif. Intell 46:311-350.
12. Heinsohn, J. 1994. Probabilistic description logics. In Uncertainty in Artificial Intelligence, UAI 94, 311-318. Morgan Kaufmann.
13. Jaeger, M. 1994. Probabilistic reasoning in terminological logics. In Principles of Knowledge Representation and Reasoning, KR 94. Morgan Kaufmann. 305-316.
14. Jaeger, M. 2006. Probabilistic role models and the guarded fragment. Int. J. Uncertainty, Fuzziness and Knowledge- Based Systems 14:43-60.
15. Klinov, P.; Parsia, B.; and Sattler, U. 2009. On correspondences between probabilistic first-order and description logics. In Description Logics, volume 477 of CEUR Workshop Proceedings. CEUR-WS.org.
16. Koller, D.; Levy, A.; and Pfeffer, A. 1997. P-CLASSIC: A tractable probabilistic description logic. In AAAI 97, 390- 397. AAAI Press.
17. Lukasiewicz, T., and Straccia, U. 2008. Managing uncertainty and vagueness in description logics for the semantic web. J. Web Sem. 6(4):291-308.
18. Lukasiewicz, T. 2008. Expressive probabilistic description logics. Artif. Intell 172:852-883.
19. Lutz, C.;Wolter, F.; and Zakharyaschev, M. 2008. Temporal description logics: A survey. In International Symposium on Temporal Representation and Reasoning, TIME 2008, 3-14. IEEE Computer Society.
20. Price, C., and Spackman, K. 2000. SNOMED Clinical Terms. Br. J. Healthcare Comput. Inf. Mgmt. 17:27-31.
21. Schrijver, A. 1986. Theory of linear and integer programming. Wiley Interscience.
22. Schr öder, L., and Pattinson, D. 2007. Modular algorithms for heterogeneous modal logics. In Automata, Languages and Programming, ICALP 07, volume 4596 of LNCS, 459- 471. Springer.
23. Sebastiani, F. 1994. A probabilistic terminological logic for modelling information retrieval. In ACM-SIGIR Conference on Research and Development in Information Retrieval, SIGIR 1994, 122-130. Springer.
24. Wolter, F. 1998. Fusions of modal logics revisited. In Advances in modal logic, volume 1 of CSLI Lect. Notes. CSLI. 361-379.
25. Yelland, P. M. 2000. An alternative combination of Bayesian networks and description logics. In Principles of Knowledge Representation and Reasoning, KR 00, 225-233. Morgan Kaufmann.