Extending Description Logic SHOIN Based on Cloud Model

Abstract:

The current research progress and the existing problems of semantics representation of the semantic Wed are analyzed. In this paper, we present an uncertain description logic C-SHOIN, which is an extension of description logics SHOIN based on cloud model. The syntax and semantics of description logic C-SHOIN are given; as well as the satisfiability of uncertain concepts. Example analysis shows that C-SHOIN is capable as the ontology language extensions to the representation of fuzzy and uncertain knowledge.

• Periodical: Applied Mechanics and Materials (Volumes 543-547)
• Pages: 3586-3589
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.543-547.3586
• Online since: March 2014
• Authors: Jie Liu*, Lin Lin Cui
• Keywords: Cloud Model, C-SHOIN, Description Logic, Semantic Web

References

[1] T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. The Scientific American, 34-43(2001) , 284(5).

DOI: 10.1038/scientificamerican0501-34

[2] Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. Vol. 2605 of LNCS., Springer.

[3] N. Guarino and R. Poli. Formal ontology in conceptual analysis and knowledge representation. International Journal of Human and Computer Studies, 43(5/6): 625-640, (1995).

DOI: 10.1006/ijhc.1995.1066

[4] Baader F, Calvanese D, McGuinness D L, et al. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge: Cambridge University Press, (2003).

[5] StraeciaU. A fuzzy description logic. in: Proc. ofthe15th Nat. Conf. on Artificial Intelligence (AAAI-98) [C], Madison, USA, 1998: 594-599.

[6] G. Stoilos, G. Stamou, V. Tzouvaras. A fuzzy description logic formultimedia knowledge representation. in: Proceedings of the 2005 International Workshop on Multimedia and the Semantic Web, Sorrento, Italy, (2005).

[7] G. Stoilos, G. Stamou, V Tzouvaras, Horrocks I. The fuzzy description logic f-SHIN. In: Paulo-Cesar GDC, Kathryn BL, Kenneth JL, Michael P, eds. Proc. of the Int'l Workshop on Uncertainty Reasoning for the Semantic Web. Aachen: CEUR-WS. org Publishers, 67-76 (2005).

DOI: 10.1007/978-3-540-89765-1_16

[8] G Stoilos, Stamou G, Tzouvaras V, Pan JZ, Handlingim precise knowledge with fuzzy description logic [A]. In: Proceeding of the 2006 International Workshop on Description Logics, (2006).

[9] Kang DaZhou, Xu BaoWen, LI YanHui, A fuzzy extension for SHOIQ based on comparisons between degrees of membership . Science China Information Science, Vol. 1-11(2013), p.8.

DOI: 10.1007/s11432-011-4423-4

[10] S. Hӧlldobler, H.P. Stӧrr, D.K. Tran. The fuzzy description logic ALCFH with hedge algebras as concept modifiers , Journal of Advanced Computational Intelligence and Intelligent Informatics, 294-305 (2003).

[11] Sánchez D, Tettamanzi G. Generalizing qualltification in fuzzy description logic . In: Proceedings of the 8th Fuzzy Days, Dortmund, Germany, (2004).

[12] Li YH, Xu BW, Lu JJ, Kang DZ. On computational complexity of the extended fuzzy description logic with numerical restriction. Journal of Software, 17(5): 968−975(2006).

DOI: 10.1360/jos170968

[13] StracciaU. Transforming fuzzy description logics into classical description logics. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, 385-399 (2004).

DOI: 10.1007/978-3-540-30227-8_33

[14] F. Bobillo, M . elgado, Gmez-Romero J. A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In: Proceedings of the 2nd International Workshop on Uncertainty Reasoning for the Semantic Web, Athens, (2006).

DOI: 10.1007/978-3-540-89765-1_11

[15] D. Y Li, YD. Han. Artificial Intelligence with uncertainty. Publisher : Chapman and Hall/ CRC, (2007).

[16] L. A. Zadeh. Fuzzy sets. Information and Control, 8(3): 338–353(1965).