Towards a fuzzy description logic for the semantic web (preliminary report)

Lecture Notes in Computer Science

Volumn 3532, Issue , 2005, Pages 167-181

  Straccia, U ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FUZZY SETS;

FUZZY DESCRIPTION LOGIC; ONTOLOGY; SYNTAX;

SEMANTICS;

EID: 26444477447     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431053_12     Document Type: Conference Paper

References (31)

1. Franz Baader and Philipp Hanschke. A schema for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 452-457, Sydney, 1991.
2. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
3. Fahiem Bacchus. Representing and Reasoning with Probabilistic Knowledge. The MIT Press, 1990.
4. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. The Scientific American, 284(5):34-43, 2001.
5. P. Bonatti and A. Tettamanzi. Some complexity results on fuzzy description logics. In A. Petrosino V. Di Gesù, F. Masulli, editor, WILF 2003 Int. Workshop on Fuzzy Logic and Applications, LNCS 2955, Berlin, 2004. Springer Verlag.
6. Rita Maria da Silva, Antonio Eduardo C. Pereira, and Marcio Andrade Netto. A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic. In Proc. of the 5th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-94), LNCS 945. Springer-Verlag, 1994.
7. Didier Dubois and Henri Prade. Fuzzy Sets and Systems. Academic Press, New York, NJ, 1980.
8. Didier Dubois and Henri Prade. Approximate and commonsense reasoning: From theory to practice. In Zbigniew W. Ras and Michalewicz Maciek, editors, Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), LNAI 1079, pages 19-33. Springer-Verlag, 1996.
9. Pan et al. Specification of coordination of rule and ontology languages. Technical report, Knowledgeweb Network of Excellence, EU-IST-2004-507482, 2004. Deliverable D2.5.1.
10. N. Guarino and R. Poli. Formal ontology in conceptual analysis and knowledge representation. Int. Journal of Human and Computer Studies, 43(5/6):625-640, 1995.
11. Volker Haarslev and Ralf Möller. RACER system description. In Proc. of Int. Joint Conf. on Automated Reasoning (IJCAR-01), LNAI 2083, pages 701-705, 2001. Springer.
12. Reiner Hänle and Gonzalo Escalada-Imaz. Deduction in many-valued logics: a survey. Mathware and Soft Computing, IV(2):69-97, 1997.
13. Steffen Hölldobler, Hans-Peter Störr, and Tran Dinh Khang. A fuzzy description logic with hedges and concept modifiers. In Proc. of the 10th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-04), 2004.
14. Ian Horrocks. Using an expressive description logic: Fact or fiction? In Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-98), 1998.
15. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
16. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics, 2004.
17. R. Kruse, E. Schwecke, and J. Heinsohn. Uncertainty and Vagueness in Knowledge Based Systems. Springer-Verlag, Berlin, Germany, 1991.
18. C. Lutz. Description logics with concrete domains - a survey. In Advances in Modal Logics Volume 4. King's College Publications, 2003.
19. C. Lutz, F. Weiter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In Proc. of the 12th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, number 2796 in LNAI, Rome,Italy, 2003. Springer.
20. Carsten Lutz. Reasoning with concrete domains. In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence, pages 90-95. Morgan Kaufmann Publishers Inc., 1999.
21. Carsten Lutz. Nexp time-complete description logics with concrete domains. ACM Trans. Comput. Logic, 5(4):669-705, 2004.
22. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, Los Altos, 1988.
23. D Sánchez and G.B. Tettamanzi. Generalizing quantification in fuzzy description logics. In Proc. of the 8th Fuzzy Days in Dortmund, 2004.
24. Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1-26, 1991.
25. Umberto Straccia. A fuzzy description logic. In Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI-98), pages 594-599, Madison, USA, 1998.
26. Umberto Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
27. Umberto Straccia. Transforming fuzzy description logics into classical description logics. In Proc. of the 9th European Conf. on Logics in Artificial Intelligence (JELIA-04), LNCS 3229, pages 385-399, 2004. Springer Verlag.
28. Umberto Straccia. Fuzzy description logics with concrete domains. Technical Report 2005-TR-03, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy, 2005.
29. C. Tresp and R. Molitor. A description logic for vague knowledge. In Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98), Brighton (England), August 1998.
30. John Yen. Generalizing term subsumption languages to fuzzy logic. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 472-477, 1991.
31. L. A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, 1965.