A formal framework for description logics with uncertainty

International Journal of Approximate Reasoning

Volumn 50, Issue 9, 2009, Pages 1399-1415

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

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Constraint Solving; Description logics; Knowledge Base; Tableau Procedure; Uncertainty

Indexed keywords

CONSTRAINT SOLVING; DESCRIPTION LOGICS; KNOWLEDGE BASE; TABLEAU PROCEDURE; UNCERTAINTY;

KNOWLEDGE BASED SYSTEMS; LINGUISTICS; ONTOLOGY; SEMANTIC WEB; SEMANTICS;

DATA DESCRIPTION;

EID: 70350575295     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2009.04.009     Document Type: Article

References (40)

1. In: Baader F., Calvanese D., McGuinness D.L., Nardi D., and Patel-Schneider P.F. (Eds). The Description Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press, Cambridge, UK
2. Baader F., Horrocks I., and Sattler U. Description logics for the semantic web. KI - Künstliche Intelligenz 4 (2002) 57-59
3. Baader F., Horrocks I., and Sattler U. Description logics. Handbook of Knowledge Representation (2007), Elsevier
4. Berners-Lee T., and Fischetti M. Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by its Inventor (2000), HarperCollins, New York
5. Berners-Lee T., Hendler J., and Lassila O. The semantic web. Scientific American 284 5 (2001) 34-43
6. P. Berry, K. Myers, T. Uribe, N. Yorke-Smith, Task management under change and uncertainty: constraint solving experience with the CALO project, in: Proceedings of CP'05 Workshop on Constraint Solving under Change and Uncertainty, Sitges, Spain, 2005.
7. Bobillo F., and Straccia U. A Fuzzy Description Logic with Product T-norm. Proceedings of the IEEE International Conference on Fuzzy Systems (2007) 652-657
8. M. Dürig, T. Studer, Probabilistic abox reasoning: preliminary results, in: Proceedings of the International Workshop on Description Logics (DL'05), 2005, pp. 104-111.
9. In: Freuder E.C., and Mackworth A.K. (Eds). Constraint-Based Reasoning (1994), MIT Press, Cambridge, MA, USA
10. Giugno R., and Lukasiewicz T. 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 (2002), Springer Verlag, Cosenza, Italy pp. 86-97
11. Gruber T.R. A translation approach to portable ontology specifications. Knowledge Acquisition 5 2 (1993) 199-220
12. Haarslev V., Pai H.I., and Shiri N. Uncertainty reasoning in description logics: a generic approach. in: Proceedings of the 19th International FLAIRS Conference (2006), AAAI Press, Melbourne Beach, Florida pp. 818-823
13. Haarslev V., Pai H.I., and Shiri N. Completion rules for uncertainty reasoning with the description logic ALC. in: Proceedings of the Canadian Semantic Web Working Symposium, Series: Semantic Web and Beyond: Computing for Human Experience vol. 4 (2006), Springer-Verlag, Quebec City, Canada pp. 205-225
14. V. Haarslev, H.I. Pai, N. Shiri, Optimizing tableau reasoning in ALC extended with uncertainty, in: Proceedings of the International Workshop on Description Logics (DL'07), Brixen-Bressanone, Italy, 2007, pp. 307-314.
15. V. Haarslev, H.I. Pai, N. Shiri, Semantic web uncertainty management, Encyclopedia of Information Science and Technology, 2nd ed., Information Science Reference, 2008.
16. Hölldobler S., Khang T.D., and Störr H.P. A fuzzy description logic with hedges as concept modifiers. in: Proceedings of the 3rd International Conference on Intelligent Technologies (2002), Science and Technics Publishing House, Hanoi, Vietnam pp. 25-34
17. Hollunder B. An alternative proof method for possibilistic logic and its application to terminological logics. in: Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (1994), Morgan Kaufmann, San Francisco, CA pp. 327-335
18. I. Horrocks, U. Sattler, S. Tobies, A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions, Tech. Report LTCS-Report 99-08, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1999.
19. M. Jaeger, Probabilistic reasoning in terminological logics, in: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, 1994, pp. 305-316.
20. Koller D., Levy A.Y., Pfeffer A., Koller P.-D., Levy A.Y., and Pfeffer A. P-CLASSIC: a tractable probabilistic description logic. in: Proceedings of the 14th National Conference on Artificial Intelligence (1997), AAAI Press, Providence, Rhode Island pp. 390-397
21. Lakshmanan L.V.S., and Shiri N. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering 13 4 (2001) 554-570
22. Lakshmanan L.V.S., and Shiri N. Logic programming and deductive databases with uncertainty: a survey. Enclyclopedia of Computer Science and Technology vol. 45 (2001), Marcel Dekker, Inc., New York pp. 153-176
23. Lukasiewicz T. Probabilistic description logic programs. International Journal of Approximate Reasoning 45 2 (2007) 288-307
24. Lukasiewicz T. Probabilistic description logic programs under inheritance with overriding for the Semantic Web. International Journal of Approximate Reasoning 49 1 (2008) 18-34
25. G. Qi, J.Z. Pan, Q. Ji, Possibilistic extension of description logics, in: Proceedings of the International Workshop on Description Logics (DL'07), 2007, pp. 435-442.
26. Sánchez D., and Tettamanzi A.G.B. Generalizing quantification in fuzzy description logics. in: Proceedings of the Eighth Fuzzy Days in Dortmund - Advances in Soft Computing Series (2004), Springer-Verlag, Dortmund, Germany
27. K. Schild, A correspondence theory for terminological logics: preliminary report, in: Proceedings of IJCAI-91, 12th International Joint Conference on Artificial Intelligence, Sidney, AU, 1991, pp. 466-471.
28. Schmidt-Schaubß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 1 (1991) 1-26
29. Stoilos G., Stamou G., Pan J.Z., Tzouvaras V., and Horrocks I. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30 5 (2007) 273-320
30. G. Stoilos, U. Straccia, G. Stamou, J.Z. Pan, General concept inclusions in fuzzy description logics, in: Proceedings of the 17th European Conference on Artificial Intelligence, 2006.
31. Straccia U. A fuzzy description logic. in: Proceedings of the 15th National Conference on Artificial Intelligence (1998), AAAI Press, Menlo Park, CA pp. 594-599
32. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
33. Straccia U. Transforming fuzzy description logics into classical description logics. in: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lecture Notes in Computer Science vol. 3229 (2004), Springer-Verlag pp. 385-399
34. U. Straccia, Fuzzy description logic with concrete domains, Technical Report 2005-TR-03, Istituto di Elaborazione dell'Informazione, January 2005.
35. Straccia U. Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14 1 (2006) 1-16
36. U. Straccia, F. Bobillo, Mixed integer programming, general concept inclusions and fuzzy description logics, in: Proceedings of the Fifth Conference of the European Society for Fuzzy Logic and Technology, 2007, pp. 213-220.
37. Tresp C., and Molitor R. A description logic for vague knowledge. in: Proceedings of the 13th European Conference on Artificial Intelligence (1998), John Wiley and Sons, Brighton, UK pp. 361-365
38. W3C, OWL Web Ontology Language Overview, 2004, URL: .
39. Zadeh L.A. Fuzzy sets. Information and Control 8 (1965) 338-353
40. Zadeh L.A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1 1 (1978) 3-28