Mixed integer programming, general concept inclusions and fuzzy description logics

New Dimensions in Fuzzy Logic and Related Technologies - Proceedings of the 5th EUSFLAT 2005 Conference

Volumn 2, Issue , 2007, Pages 213-220

  Straccia, Umberto ^a   Bobillo, Fernando ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF GRANADA   (Spain)

Author keywords

Fuzzy Description Logics

Indexed keywords

CLASSICAL LOGIC; COMPUTATIONAL LIMITATIONS; FUZZY DESCRIPTION LOGIC; MIXED INTEGER LINEAR PROGRAMMING; MIXED INTEGER PROGRAMMING; STRUCTURED KNOWLEDGE;

FORMAL LANGUAGES; FUZZY LOGIC; MEMBERSHIP FUNCTIONS; SEMANTICS;

DATA DESCRIPTION;

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

References (32)

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. P. Bonatti and A. Tettamanzi Some complexity results on fuzzy description logics. In A. Petrosino V. Di Gesù, F. Masulli, editor, WILF 2003 International Workshop on Fuzzy Logic and Applications, volume 2955 in Lecture Notes in Artificial Intelligence. 2003. Springer Verlag
3. E. Grädel, C. Hirsch and M. Otto. Back and forth between guarded and modal logics. ACM Transactions on Computational Logic, 3(3):418-463, 2002
4. R. Hähnle. Advanced many-valued logics. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 2. Kluwer, 2001
5. P. Hájek. Making fuzzy description logics more general. Fuzzy Sets and Systems, 154 (1), 1-15, 2005 (Pubitemid 40710184)
6. P. Hájek. What does mathematical fuzzy logic offer to description logic? In Elie Sanchez, editor, Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, 2006
7. S. Hölldobler, N. H. Nga and T. D. Khang. The fuzzy description logic ALCFH. In Proceeedings of the International Workshop on Description Logics (DL-05), 2005
8. S. Hölldobler, H.-P. Störr and T. D. Khang. The fuzzy description logic ALCFH with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence, 7(3):294-305, 2003
9. S. Hölldobler, H.-P. Störr and T. D. Khang. The subsumption problem of the fuzzy description logic ALCFH. In Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-04), 2004
10. I. Horrocks, U. Sattler and S. Tobies. Practical reasoning for very expressive description logics. Logic Journal of the IGPL, 8(3):239-263, 2000
11. I. Horrocks, U. Sattler and S. Tobies. Reasoning with individuals for the description logic SHIQ. In D. MacAllester, editor, Proceedings of the 17th International Conference on Automated Deduction (CADE-17), volume 1831 in Lecture Notes in Artificial Intelligence, pages 482-496, Germany, 2000. Springer Verlag
12. 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 (Pubitemid 44914724)
13. Y. Li, B. Xu, J. Lu, D. Kang and P. Wang. Extended fuzzy description logic ALCN. In R. Khosla, R. J. Howlett, and L. C. Jain, editors, Proceedings of the 9th International Conference, Knowledge-Based Intelligent Information and Engineering Systems (KES-05), volume 3684 of Lecture Notes in Computer Science, pages 896-902. Springer Verlag, 2005 (Pubitemid 43936387)
14. C. Lutz. Description logics with concrete domains - A survey. In Advances in Modal Logics Volume 4. King's College Publications, 2003
15. H. Salkin and M. Kamlesh. Foundations of Integer Programming. North-Holland, 1988
16. D. Sánchez and A. G.B. Tettamanzi. Fuzzy quantification in fuzzy description logics. In E. Sanchez, editor, Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, 2006
17. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1-26, 1991
18. G. Stoilos, G. Stamou, V. Tzouvaras, J. Z. Pan and I. Horrocks. The fuzzy description logic f-SHIN. Proceedings of the ISWC2005 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2005), 67-76, 2005
19. G.Stoilos, G. Stamou, V. Tzouvaras, J. Z. Pan and Ian Horrocks. A Fuzzy Description Logic for Multimedia Knowledge Representation. In Proceedings of the International Workshop on Multimedia and the Semantic Web, 2005
20. G. Stoilos, U. Straccia, G. Stamou and J. Z. Pan. General concept inclusions in fuzzy description logics. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI-06), pages 457-461. IOS Press, 2006
21. U. Straccia. A framework for the retrieval of multimedia objects based on four-valued fuzzy description logics. In F. Crestani and G. Pasi, editors, Soft Computing in Information Retrieval: Techniques and Applications, pages 332-357. Physica Verlag (Springer Verlag), 2000
22. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001
23. U. Straccia. Description logics with fuzzy concrete domains. In F. Bachus and T. Jaakkola, editors, Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), pages 559-567, Edinburgh, Scotland, 2005. AUAI Press
24. U. 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
25. U. Straccia. Towards a fuzzy description logic for the semantic web (preliminary report). In 2nd European Semantic Web Conference (ESWC-05), volume 3532 in Lecture Notes in Computer Science, pages 167-181, Crete, Greece, 2005. Springer Verlag (Pubitemid 41422063)
26. U. Straccia. A fuzzy description logic for the semantic web. In E. Sanchez, editor, Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter 4, pages 73-90. Elsevier, 2006
27. U. Straccia. Uncertainty and description logic programs over lattices. In E. Sanchez, editor, Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter 7, pages 115-133. Elsevier, 2006
28. C. Tresp and R. Molitor. A description logic for vague knowledge. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 1998
29. J. L. Y. Li, B. Xu and D. Kang. Discrete tableau algorithms for SHI. In Proceeedings of the International Workshop on Description Logics (DL-06). CEUR, 2006
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, 1991
31. L. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, 1965
32. L. Zhang, Y. Yu, J. Zhou, C. Lin and Y. Yang. An enhanced model for searching in semantic portals. In WWW'05: Proc. of the 14th international conference on World Wide Web, pages 453-462, New York, NY, USA, 2005. ACM Press.