FuzzyDL: An expressive fuzzy Description Logic reasoner

IEEE International Conference on Fuzzy Systems

Volumn , Issue , 2008, Pages 923-930

  Bobillo, Fernando ^a   Straccia, Umberto ^b  

^a UNIVERSITY OF GRANADA   (Spain)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY; DATA DESCRIPTION; FUZZY LOGIC; FUZZY SYSTEMS;

FUZZY DESCRIPTION LOGICS; NOVEL CONCEPTS; REASONER; SALIENT FEATURES; USE CASES;

FUZZY CONTROL;

EID: 55249119548     PISSN: 10987584     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FUZZY.2008.4630480     Document Type: Conference Paper

References (30)

1. G. Acampora and V. Loia Using FML and fuzzy technology in adaptive ambient intelligence environments International Journal of Computational Intelligence Research 1(2):171-182, 2005
2. 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.
3. T. Berners-Lee, J. Hendler and O. Lassila. The semantic web. Scientific American, 284(5):34-43, 2001.
4. F. Bobillo, M. Delgado and J. Gómez-Romero. Optimizing the crisp representation of the fuzzy description logic SROIQ. In Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007). CEUR Workshop Proceedings, 2007.
5. F. Bobillo and U. Straccia. A fuzzy description logic with product t-norm. In Proceedings of the 16th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007), pp. 652-657, 2006.
6. S. Calegari and D. Ciucci, Fuzzy ontology, fuzzy description logics and fuzzy-OWL. In Proceedings of the 7th International Workshop on Fuzzy Logic and Applications (WILF 2007), volume 4578 of Lecture Notes in Computer Science, pp. 118-126. Springer Verlag, 2007.
7. C. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19:17-37, 1982
8. V. Haarslev, H. I. Pai and N. Shiri. Optimizing tableau reasoning in ALC extended with uncertainty. In Proceedings of the 2007 International Workshop on Description Logics (DL-2007), pp. 307-314, 2007.
9. H. Habiballa. Resolution strategies for fuzzy description logic. In Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007), vol. 2, pp. 27-36, 2007.
10. P. Hájek. Metamathematics of fuzzy logic. Kluwer, 1998.
11. P. Hájek. Making fuzzy description logics more general. Fuzzy Sets and Systems, 154 (1), 1-15, 2005.
12. FII with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence, 7(3):294-305, 2003.
13. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics, 1(4):345-357, 2004.
14. G. Klir and B. Yuan. Fuzzy sets and fuzzy logic: Theory and applications. Prentice-Hall, 1995.
15. S. Konstantopoulos and G. Apostolikas. Fuzzy-DL reasoning over unknown fuzzy degrees. In Proceedings of the 3rd International Workshop on Semantic Web and Web Semantics (SWWS 07), 2007.
16. T. Lukasiewicz and U. Straccia. An overview of uncertainty and vagueness in description logics for the semantic web. Technical Report INFSYS RR-1843-06-07, Technische Universität Wien, 2006.
17. C. Lutz. Description logics with concrete domains - A survey. In Advances in Modal Logics Volume 4. King's College, 2003.
18. E. H. Mamdani and S. Assilian. An experiment in linguistic synthesis with a fuzzy logic controller. International Journal of Man-Machine Studies 7(1):1-13, 1975.
19. D. L. McGuinness and F. van Harmelen. OWL Web Ontology Language Overview, 2004. Retrieved October 1st, 2007, from http: //www.w3.org/TR/owl-features.
20. A. Ragone, U. Straccia, F. Bobillo, T. Di Noia, E. Di Sciascio and F. M. Donini. A fuzzy description logic based approach to matchmaking in e-marketplaces. Submitted.
21. H. Salkin and M. Kamlesh. Foundations of integer programming. North-Holland, 1988.
22. G. Stoilos, N. Simou, G. Stamou and S. Kollias. Uncertainty and the semantic web. IEEE Intelligent Systems 21(5): 84-87, 2006.
23. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
24. U. Straccia. Description logics with fuzzy concrete domains. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), pp. 559-567. AUAI Press, 2005.
25. U. Straccia. A fuzzy description logic for the semantic web. In E. Sanchez, editor, Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter 4, pp. 73-90. Elsevier, 2006.
26. U. Straccia. Reasoning in Ł-SHIF: an expressive fuzzy description logic under Łukasiewicz semantics. Technical report ISTI-018/2007, ISTI - CNR, 2007.
27. U. Straccia and F. Bobillo. Mixed integer programming, general concept inclusions and fuzzy description logics. In Mathware & Soft Computing 14(3):247-259, 2007.
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. Yen. Generalizing term subsumption languages to fuzzy logic. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 472-477, 1991.
30. L. A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, 1965.