Optimizing tableau reasoning in ALC extended with uncertainty

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 307-314

  Haarslev, Volker ^a   Pai, Hsueh Ieng ^a   Shiri, Nematollaah ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; EXPERIMENTAL EVALUATION; INEQUALITY CONSTRAINT; KNOWLEDGE BASIS; MODELING UNCERTAINTIES; OPTIMIZATION TECHNIQUES; REASONING PROCEDURES; UNCERTAINTY PARAMETERS;

CONSTRAINT THEORY; DATA DESCRIPTION; FORMAL LANGUAGES; OPTIMIZATION; QUERY PROCESSING; SEMANTICS;

UNCERTAINTY ANALYSIS;

EID: 84872961154     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Ding, Z., Peng, Y., and Pan, R. A Bayesian approach to uncertainty modeling in OWL ontology. In Proc. of AISTA, Luxembourg, 2004.
2. fuzzyDL. http://gaia.isti.cnr.it/straccia/software/fuzzyDL/fuzzyDL.html.
3. Giugno, R. and Lukasiewicz, T. P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the Semantic Web. In Proc. of JELIA, pages 86-97, London, 2002. Springer-Verlag.
4. Haarslev, V., Pai, H.I., and Shiri, N. A formal framework for description logics with uncertainty. Submitted to International Journal of Automate Reasoning.
5. Haarslev, V., Pai, H.I., and Shiri, N. Completion rules for uncertainty reasoning with the description logic ALC. In Proc. of CSWWS, pages 205-225, Quebec City, 2006. Springer Verlag.
6. Haarslev, V., Pai, H.I., and Shiri, N. Uncertainty reasoning in description logics: A generic approach. In Proc. of FLAIRS, pages 818-823, Florida, 2006. AAAI Press.
7. Hollunder, B. An alternative proof method for possibilistic logic and its application to terminological logics. In Proc. of UAI, pages 327-335. Morgan Kaufmann, 1994.
8. Koller, D., Levy, A. Y., and Pfeffer, A. P-CLASSIC: A tractable probablistic description logic. In Proceedings of the 14th National Conference on Artificial Intelligence, pages 390-397, Providence, Rhode Island, July 1997. AAAI Press.
9. Straccia, U. Description logics with fuzzy concrete domains. In Proc. of UAI, 2005.
10. Tresp, C. and Molitor, R. A description logic for vague knowledge. In Proc. of ECAI, pages 361-365, Brighton, UK, 1998. John Wiley and Sons.