Optimizing the crisp representation of the fuzzy description logic SORIQ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5327 LNAI, Issue , 2008, Pages 189-206

  Bobillo, Fernando ^a   Delgado, Miguel ^a   Gómez Romero, Juan ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; SEMANTIC WEB;

FUZZY CONCEPT; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY LANGUAGE; KNOWLEDGE BASE; REASONERS; RELATED WORKS; REPRESENTATION LANGUAGES;

FUZZY LOGIC;

EID: 58449129741     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89765-1_12     Document Type: Conference Paper

References (24)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR, 2006), pp. 452-457 (2006)
3. Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language overview (2006),http://www.w3.org/Submlssion/owlll-overview/
4. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics (to appear)
5. Sirin, E., Cuenca-Grau, B., Parsia, B.: From wine to water: Optimizing description logic reasoning for nominals. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), pp. 90-99 (2006)
6. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 385-399. Springer, Heidelberg (2004)
7. Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1-16 (2006)
8. Bobillo, F., Delgado, M., Gómez-Romero, J.: A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In: da Costa, P.C.G., Laskey, K.B., Laskey, K.J., Fung, F., Pool, M. (eds.) Proceedings of the 2nd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006). CEUR, Workshop Proceedings, vol. 218 (2006)
9. Stoilos, G., Stamou, G.: Extending fuzzy description logics for the semantic web. In: Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007). CEUR Workshop Proceedings, vol. 258 (2007)
10. Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338-353 (1965)
11. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
12. Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)
13. Straccia, U.: A fuzzy description logic for the semantic web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1, pp. 73-90. Elsevier Science, Amsterdam (2006)
14. Stoilos, G., Stamou, G., Pan, J.Z., Tzouvaras, V., Horrocks, I.: Reasoning with very-expressive fuzzy description logics. Journal of Artificial Intelligence Research 30(8), 273-320 (2007)
15. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137-166 (2001)
16. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: Uncertainty and the semantic web. In: Proceedings of the 1st International Workshop on OWL: Experience and Directions (OWLED 2005). CEUR Workshop Proceedings, vol. 188 (2005)
17. Stoilos, G., Straccia, U., Stamou, G., Pan, J.Z.: General concept inclusions in fuzzy description logics. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 457-461 (2006)
18. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In:Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 399-413.Springer, Heidelberg (2007)
19. Bechhofer, S., Möller, R., Crowther, P.: The DIG description logic interface:DIG/1.1. In: Proceedings of the 16th International Workshop on Description Logics, DL 2003 (2003)
20. Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51-53 (2007)
21. Bobillo, F., Delgado, M., Gómez-Romero, J.: Optimizing the crisp representation of the fuzzy description logic SROIQ. In: Bobillo, F., et al, (eds.) Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW2007). CEUR Workshop Proceedings, vol. 327 (2007)
22. Cimiano, P., Haase, P., Ji, Q., Mailis, T., Stamou, G.B., Stoilos, G., Tran, T., Tzouvaras, V.: Reasoning with large A-Boxes in fuzzy description logics using DL reasoners: An experimental valuation. In: Proceedings of the 1st Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (ARea 2008). CEUR Workshop Proceedings, vol. 350 (2008)
23. Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: Proceedings of the 17th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008), pp. 923-930 (2008)
24. Pan, J.Z., Stamou, G., Stoilos, G., Thomas, E., Taylor, S.: Scalable querying service over fuzzy ontologies. In: Proceedings of the 17th International World Wide Web Conference, WWW 2008 (2008)