Fuzzy ALC with fuzzy concrete domains

CEUR Workshop Proceedings

Volumn 147, Issue , 2005, Pages

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONCRETE DOMAINS; FUZZY DESCRIPTION LOGIC; MIXED INTEGER PROGRAMMING;

DATA DESCRIPTION; FORMAL LANGUAGES;

FUZZY INFERENCE;

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

References (12)

1. 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.
2. R. Ḧahnle. Advanced many-valued logics. In Handbook of Philosophical Logic, 2nd Edition, Volume 2. Kluwer, 2001.
3. S. Ḧolldobler, H. Sẗorr, and T. D. Khang. The Subsumption Problem of the Fuzzy Description Logic ALCFH. In IPMU-04.
4. Hajek, Petr. Metamathematics of Fuzzy Logic. Kluwer, 1998.
5. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
6. C. Lutz. Description logics with concrete domains-a survey. In Advances in Modal Logics Volume 4. 2003.
7. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
8. U. Straccia. Transforming fuzzy description logics into classical description logics. In LNCS 3229, 2004. Springer Verlag.
9. U. Straccia. Fuzzy Description Logics with Concrete Domains. Technical Report 2005-TR-03, ISTI-CNR, Pisa, Italy, 2005.
10. Umberto Straccia. Towards a fuzzy description logic for the semantic web (preliminary report). In European Semantic Web Conference (ESWC-05), 2005. To appear.
11. C. Tresp and R. Molitor. A description logic for vague knowledge. In ECAI-98.
12. J. Yen. Generalizing term subsumption languages to fuzzy logic. In IJCAI-91.