Document Type : Applied Article


Department of Electrical and Computer Engineering, Semnan University, Semnan, Iran.


Despite success of ontology in knowledge representation, its reasoning is still challenging. The most important challenge in reasoning of ontology-based methods is improving realization in the reasoning process. The time complexity of the realization problem-solving process is equal to that of NEXP Time. This can be done by solving the subsumption and satisfiability problems. On the other hand, uncertainty and ambiguity in these characteristics are unavoidable. Considering these requirements, use of the Fuzzy theory is necessary. This study proposed a method for overcoming this problem, which offers a new solution with a suitable time position. The purpose of this study is to model and improve reasoning and realization in an ontology using Fuzzy-Colored Petri Nets (FCPNs).To this end, an algorithm is presented for improve the realization problem. Then, unified modelling language (UML) class diagram is used for standard description and representing efficiency characteristics; RDFS representation is converted to UML diagram. Then fuzzy concepts in Fuzzy-colored Petri nets are further introduced. In the next step, an algorithm is presented to convert ontology description based on UML class diagram to an executive model based on FCPNs. Using this approach, a simple method is developed to from an executive model and reasoning based on FCPNs which can be employed to obtain the results of interest by applying different queries. Finally, the efficiency of the proposed method is evaluated with the results indicating the improve the performance of the proposed method from different aspects.


[1] P. Křemen and Z. Kouba, "Ontology-driven information system design," IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), Vol. 42, pp. 334-344, 2012.
[2] T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, Vol. 77, pp. 541-580, 1989.
[3] J. Yim, J. Joo, and G. Lee, "Petri net-based ontology analysis method for indoor location-based service system," International Journal of Advanced Science and Technology, Vol. 39, pp. 75-92, 2012.
[4] L. Zhu and W. Wang, "UML diagrams to hierarchical colored petri nets: an automatic software performance tool," Procedia Engineering, Vol. 29, pp. 2687-2692, 2012.
[5] Z. Xiao and Z. Ming, "A method of workflow scheduling based on colored Petri nets," Data and Knowledge Engineering, Vol. 70, pp. 230-247, 2011.
[6] A. Agostini, C. ,Bettini, and D. Riboni, "Online ontological reasoning for context-aware internet services". In 2nd International Workshop on Contexts and Ontologies: Theory, Practice and Applications, Collocated with the 17th European Conference on Artificial Intelligence, ECAI 2006 (Vol. 210).
[7] I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, "SWRL: A semantic web rule language combining OWL and RuleML," W3C Member submission, Vol. 21, pp. 1-31, 2004.
[8] M. Rahimi and M. Zahedi, "Query expansion based on relevance feedback and latent semantic analysis," Journal of AI and Data Mining, Vol. 2, pp. 79-84, 2014.
[9] C. Bettini, O. Brdiczka, K. Henricksen, J. Indulska, D. Nicklas, A. Ranganathan, et al., "A survey of context modelling and reasoning techniques," Pervasive and Mobile Computing, Vol. 6, pp. 161-180, 2010.
[10] A. Maedche and S. Staab, "Ontology learning for the semantic web," IEEE Intelligent systems, Vol. 16, pp. 72-79, 2001.
[11] A. Mousavi, A. Sheikh Mohammad Zadeh, M. Akbari, and A. Hunter, "A New Ontology-Based Approach for Human Activity Recognition from GPS Data," Journal of AI and Data Mining, Vol. 5, pp. 197-210, 2017.
[12] I. Horrocks, and S. Ulrike ,"Ontology reasoning in the SHOQ (D) description logic." IJCAI. Vol. 1. No. 3. 2001.
 [13] F. Riguzzi, E. Bellodi, E. Lamma, and R. Zese, "BUNDLE: A reasoner for probabilistic ontologies," in International Conference on Web Reasoning and Rule Systems, pp. 183-197, 2013.
 [14] F. Baader, C. Lutz, and B. Suntisrivaraporn, "CEL—a polynomial-time reasoner for life science ontologies," in International Joint Conference on Automated Reasoning, pp. 287-291, 2006.
 [15] M. del Mar Roldan-Garcia, and J. F. Aldana-Montes, "DBOWL: Towards a Scalable and Persistent OWL reasoner," in  Third International Conference on Internet and Web Applications and Services, 2008, pp. 174-179, 2008.
 [16] F. Bobillo, M. Delgado, and J. Gómez-Romero, "DeLorean: A reasoner for fuzzy OWL 2". Expert Systems with Applications, 39(1), 258-272, (2012).
 [17] R. Mutharaju, P. Hitzler, P. Mateti, and F. Lécué, "Distributed and scalable OWL EL reasoning". In European Semantic Web Conference (pp. 88-103). Springer, 2015.
 [18] J. Baker, "The DRAGON system--An overview," IEEE Transactions on Acoustics, speech, and signal Processing, Vol. 23, pp. 24-29, 1975.
 [19] B. Sertkaya, "The ELepHant Reasoner System Description", OWL Reasoner Evaluation (ORE) workshop 2013.
 [20] F. Bobillo and U. Straccia, "fuzzyDL: An expressive fuzzy description logic reasoner," in  International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence), pp. 923-930, 2008.
 [21] E. Inelmen, and A. Ibrahim, "A new approach to teaching fuzzy logic system design". In International Fuzzy Systems Association World Congress (pp. 79-86). Springer, Berlin, Heidelberg , 2003.
 [22] K. Tanaka, "An introduction to fuzzy logic for practical applications",  Springer, New York ,1997.
 [23] G. Klir and B. Yuan, "Fuzzy sets and fuzzy logic" vol. 4: Prentice Hall New Jersey, 1995.
 [24] H.-J. Zimmermann, "Fuzzy set theory—and its applications" Springer Science and Business Media, 2011.
 [25] C. Petri, "Kommunikation mit Automaten", Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 3, also, English translation," Communication with Automata," Tech. Rep. RADC-TR-65-377, 1966.
 [26] W. Reisig and P. Nets, "An Introduction EATCS" Monographs on Theoretical Computer Science, Vol. 4, 1985.
 [27] K. Jensen, "Book Review: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use" (volume 1) by Kurt Jensen: SIGOPS Oper. Syst. Rev., Vol. 28, pp. 1-2, 1994.
 [28] K. Jensen, "Coloured Petri nets: basic concepts, analysis methods and practical" Vol. 1: Springer Science and Business Media, 2013.
 [29] J. Kurt, "Coloured Petri nets: Basic concepts, analysis methods and practical use," EATCS Monographs on Theoretical Computer Science. 2nd edition, Berlin: Springer-Verlag, 1997.
 [30] K. Jensen and L. M. Kristensen, "Coloured Petri nets: modelling and validation of concurrent systems" Springer Science and Business Media, 2009.
 [31] G. Booch, "The unified modeling language user guide" Pearson Education India, 2005.
 [32] F. Aquilani, S. Balsamo, and P. Inverardi, "Performance analysis at the software architectural design level," Performance Evaluation, Vol. 45, pp. 147-178, 2001.
 [33] F. Baader, D. Calvanese, D. McGuinness, P. Patel-Schneider, and D. Nardi,"The description logic handbook: Theory, implementation and applications" Cambridge University Press, 2003.
 [34] K. Etminani, A. R. Delui, and M. Naghibzadeh, "Overlapped ontology partitioning based on semantic similarity measures," in 5th International Symposium on Telecommunications, pp. 1013-1018. 2010.
 [35] P. Pothipruk and G. Governatori, "A formal ontology reasoning with individual optimization: a realization of the semantic web," in International Conference on Web Information Systems Engineering, , pp. 119-132, 2005.
[36] B. Glimm, I. Horrocks, B. Motik, and G. Stoilos, “HermiT: reasoning with large ontologies, Computing Laboratory”, Oxford University, (2009).
[37] D. Tsarkov, I. Horrocks, “FaCT++ description logic reasoner: System description, in:  International Joint Conference on Automated Reasoning”, pp. 292-297. (Springer, 2006).
[38] N. Pour, A. Algergawy, R. Amini, D. Faria,  I. Fundulaki, I. Harrow, ... and L. Zhou, "Results of the ontology alignment evaluation initiative". In Proceedings of the 15th International Workshop on Ontology Matching , 2019.