[1] Kang Dazhou, Xu Baowen, Lu Jianjiang, et al. Description logics for fuzzy ontologies on semantic web [J]. Journal of Southeast University (English Edition), 2006, 22 (3): 343-347. [doi:10.3969/j.issn.1003-7985.2006.03.011]

Copy

Description logics for fuzzy ontologies on semantic web()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

22

Issue:

2006 3

Page:

343-347

Research Field:

Automation

Publishing date:

2006-09-30

Info

Title:

Description logics for fuzzy ontologies on semantic web

Author(s):

Kang Dazhou¹;  Xu Baowen¹;  2;  Lu Jianjiang¹;  2;  3;  Li Yanhui¹

¹School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
²Jiangsu Institute of Software Quality, Nanjing 210096, China
³Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China

Keywords:

semantic web;  ontology;  description logics;  fuzzy

PACS:

TP181

DOI:

10.3969/j.issn.1003-7985.2006.03.011

Abstract:

To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions(FCDLs)is presented.The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified.FCDLs combine both fuzzy concepts from the fuzzy description logics(FDLs)and cut concepts from the extended fuzzy description logics(EFDLs)in the same theory.Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics.FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them.Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.

References:

[1] Baader F, Calvanese D, McGuinness D L, et al.The description logic handbook:theory, implementation, and applications [M].Cambridge University Press, 2003.
[2] Zadeh LA, Kacprzyk J.Fuzzy logic for the management of uncertainty [M].John Wiley & Sons, Inc, 1992.
[3] Straccia U.Reasoning within fuzzy description logics [J].Journal of Artificial Intelligence Research, 2001, 14(1):137-166.
[4] Widyantoro D H, Yen J.A fuzzy ontology-based abstract search engine and its user studies [A].In:Proceedings of the 10th IEEE International Conference on Fuzzy Systems [C].Melbourne, Australia, 2001.1291-1294.
[5] Parry D.A fuzzy ontology for medical document retrieval [A].In:Proceedings of the Second Workshop on Australasian Information Security, Data Mining and Web Intelligence, and Software Internationalization [C].Dunedin, New Zealand, 2004.121-126.
[6] Yen J.Generalizing term subsumption languages to fuzzy logic [A].In:Proceedings of the 12th International Joint Conference on Artificial Intelligence[C].Sidney, Australia, 1991.472-477.
[7] Tresp C B, Molitor R.A description logic for vague knowledge [A].In:Proceedings of the 13th Biennial European Conference on Artificial Intelligence (ECAI’98)[C].Brighton, UK, 1998.361-365.
[8] Straccia U.Transforming fuzzy description logics into classical description logics [A].In:Proceedings of the 9th European Conference on Logics in Artificial Intelligence [C].Lisbon, Portugal, 2004.385-399.
[9] Hölldobler S, Storr H P, Tran D K.The fuzzy description logic ALCFH with hedge algebras as concept modifiers [J].Journal of Advanced Computational Intelligence and Intelligent Informatics, 2003, 7(3):294-305.
[10] Sanchez D, Tettamanzi A G.Generalizing quantification in fuzzy description logic [A].In:Proceedings of the 8th Fuzzy Days in Dortmund:Computational Intelligence, Theory and Applications [C].Dortmund, Germany, 2004.1-15.
[11] Stoilos G, Stamou G, Tzouvaras V, et al.The fuzzy description logic f-SHIN [A].In:Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web [C].Galway, Ireland, 2005.67-76.
[12] Straccia U.Towards a fuzzy description logic for the semantic web:preliminary report [A].In:Proceedings of ESWC [C].Heraklion, Crete, Greece, 2005.167-181.
[13] Li Yanhui, Xu Baowen, Lu Jianjiang, et al.Extended fuzzy ALCN and its tableau algorithm [A].In:Proceedings of the Second International Conference on Fuzzy Systems and Knowledge Discovery[C].Changsha, China, 2005, 3613:232-242.
[14] Kang Dazhou, Lu Jianjiang, Xu Baowen, et al.Two reasoning methods for extended fuzzy ALCH [A].In:Proceedings of OTM, LNCS[C].Agia Napa, Cyprus, 2005, 3671:1588-1595.
[15] Kang Dazhou, Xu Baowen, Lu Jianjiang, et al.Reasoning for a fuzzy description logic with comparison expressions [A].In:Proceedings of the 2006 International Workshop on Description Logics [C].Lake District, UK, 2006.111-118.

Memo

Memo:

Biographies: Kang Dazhou(1980—), male, graduate;Xu Baowen(corresponding author), male, doctor, professor, bwxu@seu.edu.cn.

Common functions