Transforming fuzzy description logics into classical description logics

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 385-399

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; FUZZY SETS; KNOWLEDGE ENGINEERING; MATHEMATICAL TRANSFORMATIONS; PROBABILITY; SEMANTICS; UNCERTAIN SYSTEMS;

DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; REASONING PROCEDURES; STRUCTURED KNOWLEDGE;

DATA DESCRIPTION; FORMAL LOGIC;

FUZZY DESCRIPTION LOGICS; FUZZY EXTENSION; FUZZY SET THEORY; UNCERTAIN INFORMATION;

EID: 22944439745     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_33     Document Type: Conference Paper

References (31)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. R. A. Baeza-Yates, R. Baeza-Yates, and B. Ribeiro-Neto. Modern Information Retrieval. Addison-Wesley Longman Publishing Co., Inc., 1999.
3. B. Beckert, R. Hähnle, and F. Manyá. Transformations between signed and classical clause logic. In ISMVL, pages 248-255, 1999.
4. R. Bejar, R. Hahnle, and F. Manyá. A modular reduction of regular logic to classical logic. In ISMVL, pages 221-226, 2001.
5. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. The Scientific American, 284(5):34-43, 2001.
6. G. Bordogna, P. Carrara, and G. Pasi. Query term weights as constraints in fuzzy information retrieval. Information Processing and Management, 27(1):15-26, 1991.
7. R. M. da Silva, A. E. C. Pereira, and M. A. Netto. A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic. In IPMU, LNCS 945, Springer-Verlag, 1994.
8. S. Dill, N. Eiron, D. Gibson, D. Gruhl, R. Guha, A. Jhingran, T. Kanungo, S. Rajagopalan, A. Tomkins, J. A. Tomlin, and J. Y. Zien. SemTag: and Seeker: Bootstrapping the semantic web via automated semantic annotation. In ACM WWW, Budapest, Hungary, 2003.
9. Th. Gevers and A. W. M. Smeulders. Content-based image retrieval: An overview. In G. Medioni and S. B. Kang, editors, Emerging Topics in Computer Vision. Prentice Hall, 2004.
10. T. R. Giugno and T. Lukasiewicz. P-SHOQ (D): A probabilistic extension of SHOQ (D) for probabilistic ontologies in the semantic web. In JELIA, LNAI 2424, Springer-Verlag, 2002.
11. J. Heinsohn. Probabilistic description logics. In Proc. of the 10th Conference on Uncertainty in Artificial Intelligence, pages 311-318, 1994.
12. S. Hölldobler, T. D. Khang, and H.-P. Störr. A fuzzy description logic with hedges as concept modifiers. In Nguyen Hoang Phuong, Hung T. Nguyen, Nguyen Cat Ho, and Pratit Santiprabhob, editors, Proceedings InTech/VJFuzzy'2002, pages 25-34, Hanoi, Vietnam, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam.
13. B. Hollunder. An alternative proof method for possibilistic logic and its application to terminological logics. In 10th Conference on Uncertainty in Artificial Intelligence, pages 327-335, 1994. Morgan Kaufmann.
14. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
15. M. Jäger. Probabilistic reasoning in terminological logics. In Proceedings of KR-94, 5-th International Conference on Principles of Knowledge Representation and Reasoning, pages 305-316, 1994.
16. E. E. Kerre, R. B. Zenner, and R. M. De Caluwe. The use of fuzzy set theory in information retrieval and databases: a survey. Journal of the American Society for Information Science, 37(5):341-345, 1986.
17. M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
18. D. Koller, A. Levy, and A. Pfeffer. P-CLASSIC: A tractable probabilistic description logic. In Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97), pages 390-397, 1997.
19. D. H. Kraft and D. Buel. Fuzzy sets and generalised boolean retrieval systems. Int. J. Man-Machine Studies, 19:45-56, 1983.
20. L. V. S. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554-570, 2001.
21. R. C. T. Lee. Fuzzy logic and the resolution principle. Journal of the ACM, 19(1):109-119, January 1972.
22. C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In TABLEAUX, LNAI 2796, Springer Verlag, 2003.
23. C. Meghini, F. Sebastiani, and U. Straccia. A model of multimedia information retrieval. Journal of the ACM, 48(5):909-970, 2001.
24. C. V. Negoita and P. Flondor. On fuzziness in information retrieval. Int. J. Man-Machine Studies, 8:711-716, 1976.
25. F. Sebastiani. A probabilistic terminological logic for modelling information retrieval. In Proc. of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval, pages 122-130, Dublin, IRL, 1994. Published by Springer Verlag, Heidelberg, FRG.
26. U. Straccia. A framework for the retrieval of multimedia objects based on fourvalued fuzzy description logics. In F. Crestani and Gabriella Pasi, editors, Soft Computing in Information Retrieval: Techniques and Applications, pages 332-357. Physica Verlag (Springer Verlag), Heidelberg, Germany, 2000.
27. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
28. U. Straccia. Uncertainty in description logics: a lattice-based approach. In Proc. IPMU, 2004.
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. J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proc. of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pages 472-477, Sydney, Australia, 1991.
31. L. A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, 1965.