Optimizing the crisp representation of the fuzzy description logic SROIQ

CEUR Workshop Proceedings

Volumn 327, Issue , 2007, Pages

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

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

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

FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; OPTIMIZATION;

DATA DESCRIPTION;

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

References (13)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (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). (2006) 452-457
3. Lukasiewicz, T., Straccia, U: An overview of uncertainty and vagueness in description logics for the semantic web. Technical Report INFSYS RR-1843-06-07, Institut für Informationssysteme, Technische Universität Wien (2006)
4. 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). (2006) 90-99
5. Straccia, U: Transforming fuzzy description logics into classical description logics. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04). Volume 3229 of Lecture Notes in Computer Science., Springer-Verlag (2004) 385-399 (Pubitemid 41049950)
6. Straccia, U: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1) (2006) 1-16
7. 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). Volume 218., CEUR Workshop Proceedings (2006)
8. 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). (2007)
9. Straccia, U: A Fuzzy Description Logic for the Semantic Web. In: Fuzzy Logic and the Semantic Web. Volume 1 of Capturing Intelligence. Elsevier Science (2006) 73-90
10. Straccia, U: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
11. 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)
12. 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 06). (2006) 457-461
13. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In Franconi, E., Kifer, M., May, W., eds.: Proceedings of the 4th European Semantic Web Conference (ESWC 2007). (2007) 399-413 (Pubitemid 47290022)