Classifying fuzzy subsumption in fuzzy-EL+

CEUR Workshop Proceedings

Volumn 353, Issue , 2008, Pages

  Stoilos, G ^a   Stamou, G ^a   Pan, J Z ^b  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; OPTIMISATIONS; REASONING ALGORITHMS; REASONING SYSTEM; SCALABLE REASONINGS;

ALGORITHMS; FORMAL LANGUAGES; SEMANTICS;

DATA DESCRIPTION;

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

References (16)

1. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is tractable reasoning in extensions of the description logic εL useful in practice? Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), To Appear.
2. F. Baader, D. McGuinness, D. Nardi, and P.F. Patel-Schneider. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2002.
3. Fernando Bobillo, Miguel Delgado, and Juan Gómez-Romero. Optimising the crisp representation of the fuzzy dl SROIQ. In Proc. of the 3nd International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 07), Busan, Korea, 2007.
4. Markus Holi and Eero Hyvonen. Fuzzy view-based semantic search. In Asian Semantic Web Conference, 2006.
5. I. Horrocks and U. Sattler. A tableaux decision procedure for SHOIQ. In Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 05), 2005.
6. Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The even more irresistible SROIQ. In KR, pages 57-67, 2006.
7. Pavel Shvaiko Jérôme Euzenat. Ontology Matching. Springer, 2007.
8. G. J. Klir and B. Yuan. Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, 1995.
9. 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.
10. G. Stoilos, G. Stamou, V. Tzouvaras, J.Z. Pan, and I. Horrocks. The fuzzy description logic f-SHIN. In Proc. of the International Workshop on Uncertainty Reasoning for the Semantic Web, pages 67-76, 2005.
11. 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.
12. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
13. U. Straccia. Description logics with fuzzy concrete domains. In 21st Conf. on Uncertainty in Artificial Intelligence (UAI-05), Edinburgh, 2005.
14. U. Straccia. Towards a fuzzy description logic for the semantic web. In Proceedings of the 2nd European Semantic Web Conference, 2005.
15. Umberto Straccia. Answering vague queries in fuzzy DL-Lite. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), pages 2238-2245, 2006.
16. Peter Vojtas. Proc. of the 2nd int. workshop on uncertainty reasoning for the semantic web, athens, georgia. In εL Description Logics with aggregation of user preference concepts, 2006.