A framework for reasoning with expressive continuous fuzzy description logics

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Stoilos, Giorgos ^a   Stamou, Giorgos ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

FUZZY DESCRIPTION LOGIC; FUZZY OPERATORS; REASONING ALGORITHMS; REASONING PROBLEMS;

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; FUZZY SET THEORY;

DATA DESCRIPTION;

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

References (15)

1. Fernando Bobillo and Umberto Straccia. Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems, In Press.
2. Fernando Bobillo and Umberto Straccia. A fuzzy description logic with product t-norm. In Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE-07), London, 2007.
3. Alfio Ferrara, Davide Lorusso, Giorgos Stamou, Giorgos Stoilos, Vassilis Tzouvaras, and Tassos Venetis. Resolution of conflicts among ontology mappings: a fuzzy approach. In Proceedings of the 3rd International Workshop on Ontology Matching (OM 2008), Karlsruhe, Germany, 2008.
4. P. Hajek. Making fuzzy description logic more general. Fuzzy Sets and Systems, 154(1):1-15, 2005.
5. I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation, 9:385-410, 1999.
6. G. J. Klir and B. Yuan. Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, 1995.
7. Carlo Meghini, Fabrizio Sebastiani, and Umberto Straccia. A model of multimedia information retrieval. Journal of the ACM, 48(5):909-970, 2001.
8. J.Z. Pan, G. Stamou, G. Stoilos, and E. Thomas. Scalable querying services over fuzzy ontologies. In Proceedings of the International World Wide Web Conference (WWW 2008), Beijing, 2008.
9. C.H. Papadimitriou and K. Steiglitz. Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, New Jersey, 1982.
10. H. Salkin and M. Kamlesh. Foundations of Integer Programming. North-Holland, 1988.
11. N. Simou, Th. Athanasiadis, G. Stoilos, and S. Kollias. Image indexing and retrieval using expressive fuzzy description logics. Signal, Image and Video Processing, Springer, 2(4):321-335, 2008.
12. Giorgos Stoilos, Giorgos Stamou, Vassilis Tzouvaras, Jeff Z. Pan, and Ian Horrocks. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research, 30(5):273-320, 2007.
13. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
14. U. Straccia and F. Bobillo. Mixed integer programming, general concept inclusions and fuzzy description logics. In Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-07), pages 213-220, 2007.
15. C. Tresp and R. Molitor. A description logic for vague knowledge. In In proc of the 13th European Conf. on Artificial Intelligence (ECAI-98), pages 361-365, 1998.