Completion rules for uncertainty reasoning with the description logic ALC

CSWWS 2006, 1st Canadian Semantic Web Working Symposium

Volumn , Issue , 2006, Pages 205-225

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

^a Civil and Environmental Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; ONTOLOGY;

DESCRIPTION LANGUAGES; DESCRIPTION LOGIC; EXPRESSIVE POWER; KNOWLEDGE BASE; ONTOLOGY LANGUAGE; REAL-WORLD INFORMATION; UNCERTAINTY REASONING;

SEMANTIC WEB;

EID: 84879139359     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-0-387-34347-1_14     Document Type: Conference Paper

References (20)

1. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF, eds (2003) The description logic handbook: theory, implementation, and applications, Cambridge University Press.
2. Bacchus F (1990) Representing and reasoning with probabilistic knowledge - a logical approach to probabilities, MIT Press.
3. Bemers-Lee T, Hendler J, Lassila O (2001) The semantic web. Scientific American 284(5).
4. Giugno R, Lukasiewicz T (2002) P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. In: Proceedings of the European conference on logics in artificial intelligence, Cosenza, Italy, pp 86-97.
5. Gruber TR (1993) A translation approach to portable ontology specifications. knnowledge acquisition 5(2): 199-220.
6. Haarslev V, Pai HI, Shiri N (2005) A generic framework for description logics with uncertainty. In: Proceedings of uncertainty reasoning for the semantic web, Galway, Ireland, pp 77-86.
7. Hölldobler S, Khang TD, Storr HP (2002) A fuzzy description logic with hedges as concept modifiers. In: Proceedings of the 3rd international conference on intelligent technologies. Science and Technics Publishing House, Hanoi, Vietnam, pp 25-34.
8. Koller D, Levy AY, Pfeffer A (1997) P-CLASSIC: A tractable probablistic description logic. In: Proceedings of the 14th national conference on artificial intelligence, AAAI Press, Providence, Rhode Island, pp 390-397.
9. Lakshmanan LVS, Sadri F (1994) Probabilistic deductive databases. In: Proceedings of workshop on design and implementation of parallel logic programming systems, MIT Press, Ithaca, NY, pp 254-268.
10. Lakshmanan LVS, Shiri N (2001a) Logic programming and deductive databases with uncertainty: A survey. Encyclopedia of computer science and technology, vol 45, Marcel Dekker, New York, pp 153-176.
11. Lakshmanan LVS, Shiri N (2001b) A parametric approach to deductive databases with uncertainty. IEEE transactions on knowledge and data engineering, 13(4):554-570.
12. Motro A, Smets P, eds. (1997) Uncertainty management in information systems - from needs to solutions, Springer-Verlag.
13. Parsons S (1996) Current approaches to handling imperfect information in data and knowledge bases. IEEE transactions on knowledge and data engineering, 8(3):353-372.
14. ROSS TJ, Booker JM, Parkinson WJ, eds (2002) Fuzzy logic and probability applications: bridging the gap, SIAM.
15. S.Sanchez D, Tettamanzi, AGB (2004) Generalizing quantification in fuzzy description logics. In: Proceedings of the 8th Fuzzy Days, Springer-Verlag, Dortmund, Germany
16. Straccia U (1998) A fuzzy description logic. In: Proceedings of the 15th national conference on artificial intelligence, AAAI Press, Menlo Park, CA, USA, pp 594-599.
17. Straccia U (2001) Reasoning within fuzzy description logics. Journal of artificial intelligence research 14:137-166.
18. Tresp C, Molitor R (1998) A description logic for vague knowledge. In: Proceedings of the 13th European conference on artificial intelligence, John Wiley and Sons, Brighton, UK, pp 361-365.
19. Zadeh LA (1965) Fuzzy sets. Information and control, 8:338-353.
20. Zadeh LA (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1(1):3-28.