FRESG: A Kind of Fuzzy Description Logic Reasoner

Authors:
Hailong Wang;Z. M. Ma;Junfu Yin
Affiliations:
School of Information Science & Engineering, Northeastern University, Shenyang, China 110004;School of Information Science & Engineering, Northeastern University, Shenyang, China 110004;School of Information Science & Engineering, Northeastern University, Shenyang, China 110004
Venue:
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Year:
2009

Citing 5
Cited 5

Uncertainty and the Semantic Web

IEEE Intelligent Systems
A Flexible Ontology Reasoning Architecture for the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
A Decidable Fuzzy Description Logic F-ALC(G)

DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Fuzzy-DL reasoning over unknown fuzzy degrees

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II

DeLorean: A reasoner for fuzzy OWL 2

Expert Systems with Applications: An International Journal
A description logic approach for representing and reasoning on fuzzy object-oriented database models

Fuzzy Sets and Systems
A description logic approach for representing and reasoning on fuzzy object-oriented database models

Fuzzy Sets and Systems
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group

Proceedings of the 27th Annual ACM Symposium on Applied Computing
A Fuzzy Ontology for Database Querying with Bipolar Preferences

International Journal of Intelligent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Based on the fuzzy description logic F-ALC (G ), we design and implement a fuzzy description logic reasoner, named FRESG1.0. FRESG1.0 can support the representation and reasoning of fuzzy data information with customized fuzzy data types and customized fuzzy data type predicates. We briefly introduce the reasoning services provided by FRESG1.0. Then, we particularize the overall architecture of FRESG1.0 and its design and implementation of the major components. In the paper, we pay more attention to illustrate the features of the reasoner as well as the algorithms and technologies adopted in the implementations.