A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept Inclusions

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

Volumn 5327 LNAI, Issue , 2008, Pages 174-188

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

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES;

DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY LANGUAGE; OPTIMIZED IMPLEMENTATION; REASONING ALGORITHMS; REPRESENTATION LANGUAGES; STRUCTURED KNOWLEDGE;

SEMANTIC WEB;

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

References (27)

1. Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition 5(2), 199-220 (1993)
2. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 34-43 (2001)
3. 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)
4. Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNA1), vol. 2605, pp. 228-248. Springer, Heidelberg (2005)
5. Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338-353 (1965)
6. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. Journal of Web Semantics (to appear)
7. W3C: OWL Web Ontology Language Overview (2004), http://www.w3.org/TR/owl- features
8. Horrocks, L, Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1(4), 345-357 (2004)
9. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I: Fuzzy OWL: Uncertainty and the semantic web. In: Proceedings of the International Workshop on OWL: Experience and Directions, OWLED 2005 (2005)
10. 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)
11. Haarslev, V., Möller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 701-705. Springer, Heidelberg (2001)
12. 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 (to appear, 2008)
13. 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)
14. Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1-16 (2006)
15. Kang, D., Lu, J., Xu, B., Li, Y., He, Y.: Two reasoning methods for extended fuzzy ACCH. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3761, pp. 1588-1595. Springer, Heidelberg (2005)
16. Li, Y., Xu, B., Lu, J., Kang, D.: Reasoning technique for extended fuzzy ACCQ. In: Gavrilova, M.L., Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Laganá, A., Mun, Y., Choo, H. (eds.) ICCSA 2006. LNCS, vol. 3981, pp. 1179-1188. Springer, Heidelberg (2006)
17. 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)
18. Straccia, U.: A Fuzzy Description Logic for the Semantic Web. In: Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1, pp. 73-90. Elsevier, Amsterdam (2006)
19. Schaerf, A.: Reasoning with individuals in concept languages. Data & Knowledge Engineering 13(2), 141-176 (1994)
20. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (2001)
21. Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)
22. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137-166 (2001)
23. Straccia, U.: A fuzzy description logic. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), pp. 594-599 (1998)
24. Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence 43(2), 235-249 (1990)
25. Pan, J.Z., Horrocks, I.: OWL-Eu: Adding customised datatypes into OWL. Journal of Web Semantics 4, 29-39 (2006)
26. 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)
27. W3C: OWL 1.1 Web Ontology Language Overview (2006), http://www,w3.org/ Submission/owl11-overview/