PROJEKTI
   

Project
Acronym: ACO 
Name: Automatic Construction of Ontologies with Fuzzy Petri Net in the Semantic Web 
Project status: From: 2015-09-01 To: 2017-08-31 (Completed)
Type (Programme): BILAT 
Project funding: -
International partner
Organisation Name: Nanjing University of Aeronautics and Astronautics 
Organisation adress:  
Organisation country: Kina 
Contact person name: prof. MA Zongmin 
Contact person email:  
Croatian partner
Organisation name: Fakultet elektrotehnike i računarstva 
Organisation address: Unska 3, 10000 Zagreb, Hrvatska 
Contact person name: prof. dr. sc. Slobodan Ribarić
Contact person tel:
6129-952  Contact person fax:  
Contact person e-mail: Email 
Short description of project
Petri Nets, which are one of well established tools in both theoretical analysis and practical modeling of concurrent systems as well as approximate reasoning, have been employed in many different application domains such as software engineer, office automation, and databases. With the wide utilization of Petri Nets, one problem is considered that has arisen from practical needs: namely, the Petri Net models should be reused, shared and standardized, which makes us free of ambiguity in constructing the models. For this purpose, ontologies, which can formally represent domain knowledge and enable semantic interoperability, can play an important role in this scenario. With ontologies, it is possible to capture the shared knowledge of a given domain such as Petri Nets and represent this knowledge in a declarative and formal language by means of classes, properties and axioms. On this basis, some efforts have been made to connect Petri Nets with ontologies. Representing Petri Nets using ontologies can provide for semantic description of Petri Nets, which may contribute with a common semantics to improve the communication among communities. However, the classical Petri Nets and the approaches for representing Petri Nets with ontologies were not sufficient for handling imprecise and uncertain information that is commonly found in real-world applications such as manufacturing and information systems. This gave rise to amalgamation of fuzzy logic with Petri Net and a new tool emerged with the name of Fuzzy Petri Net. Over the years, number of applications of Fuzzy Petri Nets had been proposed in many different fields like manufacturing, electronics, education, traffic control, and etc. In particular, with the popularity of Fuzzy Petri Nets, some inconsistent understanding appears in existing Fuzzy Petri Net models, since current Fuzzy Petri Net interoperability is possible at the level of syntax for model sharing, which is similar with the classical Petri Nets. Therefore, they are equally concerned with the problem that the Petri Net/Fuzzy Petri Net models should be reused, shared and standardized. To this end, emerging the Semantic Web technologies, such as fuzzy ontology, may play an important role in this scenario. Fuzzy ontology, as a fuzzy extension of ontology, has been identified as a successful knowledge sharing technique for representing and reasoning on fuzzy information in many application areas such as text mining, information system, database, and especially in the context of the Semantic Web. If Fuzzy Petri Nets can be represented through fuzzy ontologies, the Fuzzy Petri Nets may share the same vocabulary and they give the same semantics to each term of this vocabulary, and thus the exchange and sharing of the Fuzzy Petri Nets would be guaranteed. Also, the Fuzzy Petri Nets may be reused more effectively on the Semantic Web. Moreover, based on the effective reasoning mechanism of fuzzy ontologies, the fuzzy ontology technique may help to enhance the reasoning ability of Fuzzy Petri Nets. In this project proposal, we will propose a fuzzy ontology approach for representing Fuzzy Petri Nets. First, we will propose a formal definition of Fuzzy Petri Nets. Then, we will give a complete definition of fuzzy OWL ontologies, where fuzzy ontologies formulated in fuzzy OWL language are called fuzzy OWL ontologies. On this basis, we will propose a fuzzy ontology approach for representing Fuzzy Petri Nets, which can translate the key features of Fuzzy Petri Nets into the elements of fuzzy OWL ontologies such as fuzzy classes, fuzzy properties, fuzzy individuals, and fuzzy axioms. Furthermore, based on the translated fuzzy OWL ontologies, we will investigate how to reason on Fuzzy Petri Nets through the potential reasoning abilities of fuzzy OWL ontologies. Representing and reasoning on Fuzzy Petri Nets with fuzzy ontologies can facilitate the semantic interoperability of Fuzzy Petri Nets and the development of the Semantic Web. The Croatian-Chinese scientific and technological cooperation in the project proposal consists of the following activities: (i)            Research of formal descriptions of fuzzy ontologies in the Semantic Web and Fuzzy Petri Nets; (ii)           Developing an approach to integrating Fuzzy Petri Nets into the Semantic Web; (iii)          Experimental verification of the proposed approach to representing and reasoning Fuzzy Petri Nets in Semantic Web ontologies; (iv)          Exchanging the knowledge and research results, technology transfer on the field of the Semantic Web, OWL, fuzzy logic and Fuzzy Petri Nets; (v)           Organizing the special sessions on the international scientific conferences with the above topics; (vi)          Participation of both research teams on these sessions; (vii)         Publishing the common scientific papers related to the proposal topics; (viii)        Researcher mobility (e.g., invited lecture, seminars and etc.).  
Short description of the task performed by Croatian partner
 


   

Design by: M. Mačinković

(C)opyright by Sveučilište u Zagrebu,