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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Stoilos, G., Nikos, S., Stamou, G.: Uncertainty and the Semantic Web. J. IEEE Transaction on Intelligent Systems 21, 83–87 (2006)
Haarslev, V., Pai, H.I., Shiri, N.: Optimizing tableau reasoning in ALC extended with uncertainty. In: Proc. of the 2007 Int Workshop on Description Logics, pp. 307–314 (2007)
Bobillo, F., Delgado, M., Romero, J.: Optimizing the crisp representation of the fuzzy description logic SROIQ. In: Proc. of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (2007)
Habiballa, H.: Resolution strategies for fuzzy description logic. In: Proc. of the 5th Conference of the European Society for Fuzzy Logic and Technology, pp. 27–36 (2007)
Stasinos, K., Georgios, A.: Fuzzy-DL Reasoning over Unknown Fuzzy Degrees. In: Proc. of the 3rd Int Workshop on Semantic Web and Web Semantics, pp. 1312–1318 (2007)
Bobillo, F., Straccia, U.: fuzzyDL: An Expressive Fuzzy Description Logic Reasoner. In: Proc. of the 2008 IEEE Int. Conf. on Fuzzy Systems, pp. 923–930 (2008)
Pan, J.Z.: A Flexible Ontology Reasoning Architecture for the Semantic Web. J. IEEE Transaction on Knowledge and Data Engineering 19, 246–260 (2007)
Wang, H.L., Ma, Z.M.: A Decidable Fuzzy Description Logic F-ALC(G). In: Proc. of the 19th Int Conf on Database and Expert Systems Applications, pp. 116–123 (2008)
Straccia, U.: Reasoning within fuzzy description logics. J. Journal of Artificial Intelligence Research 14, 137–166 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, H., Ma, Z.M., Yin, J. (2009). FRESG: A Kind of Fuzzy Description Logic Reasoner. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds) Database and Expert Systems Applications. DEXA 2009. Lecture Notes in Computer Science, vol 5690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03573-9_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-03573-9_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03572-2
Online ISBN: 978-3-642-03573-9
eBook Packages: Computer ScienceComputer Science (R0)