Please wait a minute...
Shopping Cart Email List Chinese
Advanced Search Fig/Tab
Frontiers of Computer Science

ISSN 2095-2228

ISSN 2095-2236(Online)

CN 10-1014/TP

Postal Subscription Code 80-970

2018 Impact Factor: 1.129

Featured Articles  |  Most Downloaded  |  Most Reading
Online Submission Subscribe to Our RSS Content Feed
Front Comput Sci Chin    0, Vol. Issue () : 205-215    https://doi.org/10.1007/s11704-011-0109-8
Type-2 fuzzy description logic
Ruixuan LI1(), Kunmei WEN1, Xiwu GU1, Yuhua LI1, Xiaolin SUN1, Bing LI2
1. Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China; 2. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China
 Download: PDF(191 KB)   HTML
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
Abstract

Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and roles, thus providing the motivation for this work. In this paper, we present a type-2 fuzzy attributive concept language with complements (ALC) and provide its knowledge representation and reasoning algorithms. We also propose type-2 fuzzy web ontology language (OWL) to build a fuzzy ontology based on type-2 fuzzy ALC and analyze the soundness, completeness, and complexity of the reasoning algorithms. Compared to type-1 fuzzy ALC, type-2 fuzzy ALC can describe imprecise knowledge more meticulously by using the membership degree interval. We implement a semantic search engine based on type-2 fuzzy ALC and carry out experiments on real data to test its performance. The results show that the type-2 fuzzy ALC can improve the precision and increase the number of relevant hits for imprecise information searches.
Keywords description logic (DL)      type-2 fuzzy attributive concept language with complements (ALC)      fuzzy ontology      reasoning      semantic search engine     
Corresponding Author(s): LI Ruixuan,Email:rxli@hust.edu.cn   
Issue Date: 05 June 2011
 Cite this article:   
Ruixuan LI,Kunmei WEN,Xiwu GU, et al. Type-2 fuzzy description logic[J]. Front Comput Sci Chin, 0, (): 205-215.
 URL:  
https://academic.hep.com.cn/fcs/EN/10.1007/s11704-011-0109-8
https://academic.hep.com.cn/fcs/EN/Y0/V/I/205
ConstructorSyntaxSemantics
Top (universe)??I
Bottom (nothing)⊥Φ
Atomic conceptA[a,b]A[a,b]I?ΔI
Atomic roleR[a,b]R[a,b]I?ΔI×ΔI
ConjunctionC[a,b]?D[c,d](C?D)[T(a,c),T(b,d)]I
DisjunctionC[a,b]?D[c,d](C?D)[S(a,c),T(b,d)]I
Negation?C[a,b]C[1-b,1-a]I
Value restriction?R[a,b]·C[c,d]?y.S(R[1-b,1-a](x,y),C[c,d](y))
Full existential quantification?R[a,b]·C[c,d]?y.T(R[a,b](x,y),C[c,d](y))
Tab.1  Syntax and semantics of type-2 fuzzy ALC constructors
Fig.1  Framework of semantic search engine based on type-2 fuzzy ontology
Fig.2  Relevant hits-imprecision graph
Fig.3  Precision-nodes graph
1 Stix G. The mice that warred: natural selection. Scientific American , 2001, 284(6): 34-35
doi: 10.1038/scientificamerican0601-34 pmid:11396337
2 Guha R, McCool R, Miller E. Semantic search. In: Proceeding of 12th International World Wide Web Conference . 2003, 700-709
3 Baader F, Calvanese D, McGuinness D L, Patel-Schneider P. The Description Logic Handbook: Theory, Implementation, and Applications. London: Cambridge University Press, 2003, 47-100
4 Calvanese D, Lenzerini M, Nardi D. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research , 1999, 11(2): 199-240
5 Schmidt-Schaub? M, Smolka G. Attributive concept descriptions with complements. Artificial Intelligence , 1991, 48(1): 1-26
doi: 10.1016/0004-3702(91)90078-X
6 Heflin J D. Towards the semantic web: knowledge representation in a dynamic distributed environment. Dissertation for the Doctoral Degree . College Park: University of Maryland, 2001
7 Heflin J, Hendler J. Searching the web with shoe. In: Proceedings of AAAI-2000 Workshop on AI for Web Search . 2000, 35-40
8 Guha R, McCool R. TAP: A semantic web test-bed. Journal of Web Semantics , 2003, 1(1): 81-87
doi: 10.1016/j.websem.2003.07.004
9 Ding L, Finin T, Joshi A, Pan R, Cost R S, Peng Y, Reddivari P, Doshi V, Sachs J. Swoogle: a search and metadata engine for the semantic web. In: Proceedings of 13th ACM International Conference on Information and Knowledge Management . 2004, 294-303
10 Finin T W, Mayfield J, Joshi A, Cost R S, Fink C. Information retrieval and the semantic web. In: Proceedings of 38th Hawaii International Conference on System Sciences . 2005
11 Manola F, Miller E. Resource Description Framework (RDF), W3C Recommendation. W3C , 2004, http://www.w3.org/RDF/
12 McGuinness D L, van Harmelen F. OWL Web Ontology Language Overview, W3C Recommendation. W3C , 2004, http://www.w3.org/TR/owl-features/
13 Brockmans S, Colomb R M, Haase P, Kendall E F, Wallace E K, Welty C, Xie G T. A model driven approach for building OWL DL and OWL full ontologies. In: Proceeding of 5th International Semantic Web Conference . 2006, 187-200
14 Zadeh L A. Fuzzy sets. Information and Control , 1965, 8(3): 338-353
doi: 10.1016/S0019-9958(65)90241-X
15 Meghini C, Sebastiani F, Straccia U. Reasoning about the form and content for multimedia objects. In: Proceedings of AAAI 1997 Spring Symposium on Intelligent Integration and Use of Text, Image, Video and Audio . 1997, 89-94
16 Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research , 2001, 14: 137-166
17 Straccia U. Description logics with fuzzy concrete domains. In: Proceedings of 21st Conference in Uncertainty in Artificial Intelligence . 2005, 559-567
18 Straccia U. Towards a fuzzy description logic for the semantic web. In: Proceedings of the 1st Fuzzy Logic and the Semantic Web Workshop, Marseille , 2005, 3-18
19 Li Y, Lu J, Xu B, Kang D, Jiang J. A fuzzy extension of description logic ALCH. In: Proceedings of 4th Mexican International Conference on Artificial Intelligence . 2005, 152-161
20 Li Y, Xu B, Lu J, Kang D, Xu J. Reasoning technique for extended fuzzy description logics. In: Proceedings of 17th IEEE International Conference on Tools with Artificial Intelligence . 2005, 665-666
21 Li Y, Xu B, Lu J, Kang D, Wang P. A family of extended fuzzy description logics. In: Proceedings of 29th Annual International Computer Software and Applications Conference . 2005, 221-226
22 Jiang Y, Tang Y, Wang J, Deng P, Tang S. Expressive fuzzy description logics over lattices. Knowledge-Based Systems , 2010, 23(2): 150-161
doi: 10.1016/j.knosys.2009.11.002
23 Jiang Y, Tang Y, Wang J, Tang S. Reasoning within intuitionistic fuzzy rough description logics. Information Sciences , 2009, 179(14): 2362-2378
doi: 10.1016/j.ins.2009.03.001
24 Hajek P. Making fuzzy description logic more general. Fuzzy Sets and Systems , 2005, 154(1): 1-15
doi: 10.1016/j.fss.2005.03.005
25 Jin H, Ning X, Jia W, Wu H, Lu G. Combining weights with fuzziness for intelligent semantic web search. Knowledge-Based Systems , 2008, 21(7): 655-665
doi: 10.1016/j.knosys.2008.03.040
26 Li R, Sun X, Lu Z, Wen K, Li Y. Towards a type-2 fuzzy description logic for semantic search engine. In: Proceedings of joint conference of 9th Asia-Pacific Web Conference and 8th International Conference on Web-Age Information Management . 2007, 805-812
27 De Giacomo G, Lenzerini M. TBox and ABox reasoning in expressive description logics. In: Proceedings of 5th International Conference on the Principles of Knowledge Representation and Reasoning . 1996, 316-327
28 The Protégé Ontology Editor and Knowledge Acquisition System. http://protege.stanford.edu/
[1] Qi LIU, Qinghua ZHANG, Fan ZHAO, Guoyin WANG. Uncertain knowledge graph embedding: an effective method combining multi-relation and multi-path[J]. Front. Comput. Sci., 2024, 18(3): 183311-.
[2] Miao ZHANG, Tingting HE, Ming DONG. Meta-path reasoning of knowledge graph for commonsense question answering[J]. Front. Comput. Sci., 2024, 18(1): 181303-.
[3] Yali LV, Junzhong MIAO, Jiye LIANG, Ling CHEN, Yuhua QIAN. BIC-based node order learning for improving Bayesian network structure learning[J]. Front. Comput. Sci., 2021, 15(6): 156337-.
[4] Houda AKREMI, Sami ZGHAL. DOF: a generic approach of domain ontology fuzzification[J]. Front. Comput. Sci., 2021, 15(3): 153322-.
[5] Yuxin YE, Xianji CUI, Dantong OUYANG. Extracting a justification for OWL ontologies by critical axioms[J]. Front. Comput. Sci., 2020, 14(4): 144305-.
[6] Chuantao YIN,Bingxue ZHANG,Betrand DAVID,Zhang XIONG. A hierarchical ontology context model for work-based learning[J]. Front. Comput. Sci., 2015, 9(3): 466-473.
[7] ZHANG Jian, ZHANG Wenhui, ZHAN Naijun, SHEN Yidong, CHEN Haiming, ZHANG Yunquan, WANG Yongji, WU Enhua, WANG Hongan, ZHU Xueyang. Basic research in computer science and software engineering at SKLCS[J]. Front. Comput. Sci., 2008, 2(1): 1-11.
[8] LIANG Tielin, WANG Dongming, WANG Dongming. On the design and implementation of a geometric-object-oriented language[J]. Front. Comput. Sci., 2007, 1(2): 180-190.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed