Type-2 fuzzy description logic

Authors:
Ruixuan Li;Kunmei Wen;Xiwu Gu;Yuhua Li;Xiaolin Sun;Bing Li
Affiliations:
Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China 430074;Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China 430074;Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China 430074;Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China 430074;Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China 430074;State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China 430072
Venue:
Frontiers of Computer Science in China
Year:
2011

Citing 17
Cited 1

Attributive concept descriptions with complements

Artificial Intelligence
Semantic search

WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Towards the semantic web: knowledge representation in a dynamic, distributed environment

Towards the semantic web: knowledge representation in a dynamic, distributed environment
Swoogle: a search and metadata engine for the semantic web

Proceedings of the thirteenth ACM international conference on Information and knowledge management
Information Retrieval and the Semantic Web

HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 4 - Volume 04
A Family of Extended Fuzzy Description Logics

COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Reasoning Technique for Extended Fuzzy Description Logics

ICTAI '05 Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence
Combining weights with fuzziness for intelligent semantic web search

Knowledge-Based Systems
Reasoning within intuitionistic fuzzy rough description logics

Information Sciences: an International Journal
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Making fuzzy description logic more general

Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices

Knowledge-Based Systems
Towards a type-2 fuzzy description logic for semantic search engine

APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
A model driven approach for building OWL DL and OWL full ontologies

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Towards a fuzzy description logic for the semantic web (preliminary report)

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A fuzzy extension of description logic ALCH

MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence

Hybrid learning mechanism for interval A2-C1 type-2 non-singleton type-2 Takagi-Sugeno-Kang fuzzy logic systems

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

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.