A decidable fuzzy description logic F-ALC(G)

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

Volumn 5181 LNCS, Issue , 2008, Pages 116-123

  Wang, Hailong ^a   Ma, Z M ^a  

^a NORTHEASTERN UNIVERSITY   (China)

Author keywords

Customized fuzzy data types; Fuzzy ALC(G); Tableau algorithm

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; DECISION SUPPORT SYSTEMS; EXPERT SYSTEMS; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; MANAGEMENT INFORMATION SYSTEMS; ONTOLOGY;

CUSTOMIZED FUZZY DATA TYPES; DATA TYPING; DESCRIPTION LOGICS; FUZZY ALC(G); FUZZY CONCEPTS; FUZZY DATA; FUZZY DESCRIPTION LOGICS; INTERNATIONAL CONFERENCES; TABLEAU ALGORITHM; UNCERTAIN INFORMATIONS; WEB ONTOLOGY LANGUAGES;

DATABASE SYSTEMS;

EID: 52949113873     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85654-2_14     Document Type: Conference Paper

References (9)

1. Zadeh, L.A.: Fuzzy sets. J. Information and Control 8, 338-353 (1965)
2. 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)
3. Straccia, U.: Reasoning within fuzzy description logics. J. Journal of Artificial Intelligence Research 14, 137-166 (2001)
4. Stoilos, G., Stamou, G., Pan, J.Z., Tzouvaras, V., Horrocks, I.: Reasoning with Very Expressive Fuzzy Description Logics. J. Journal of Artificial Intelligence Research 30, 273-320 (2007)
5. Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. 17th International Joint Conference on Artificial Intelligence, pp. 199-204 (2001)
6. Straccia, U.: Towards a fuzzy description logic for the Semantic Web (Preliminary Report). In: Proc. the 2nd European Semantic Web Conference, pp. 167-181 (2005)
7. Pan, J.Z., Horrocks, I.: OWL-Eu: Adding Customised Data types into OWL. J. Journal of Web Semantics 4, 29-49 (2006)
8. Pan, J.Z.: A Flexible Ontology Reasoning Architecture for the Semantic Web. J. IEEE Transaction on Knowledge and Data Engineering 19, 246-260 (2007)
9. Wang, H.L., Ma, Z.M., Yan, L., Cheng, J.W.: A Fuzzy Description Logic with Fuzzy Data Type Group. In: Proc. the 2008 IEEE International Conference on Fuzzy Systems, pp. 1534-1541. IEEE Press, Hong Kong (2008)