Proceedings ArticleDOI
Representation of Petri net with OWL DL ontology
Fu Zhang,Zongmin Ma,Slobodan Ribarić +2 more
- Vol. 3, pp 1396-1400
TLDR
An ontology approach for representing Petri nets with ontologies is proposed, i.e., some key features of Petrinets are translated into classes, properties and axioms of OWL DL ontologies.Abstract:
With the wide utilization of Petri nets, many researchers suggest that Petri nets should be reused and shared. Emerging the Semantic Web technologies, such as ontologies, can play an important role in this scenario. In this paper, we propose an ontology approach for representing Petri nets. Firstly, we propose a complete formal definition of OWL DL ontologies. Then, Petri nets are introduced and a formal definition of Petri nets is given. On this basis, we propose an approach for representing Petri nets with ontologies, i.e., we translate some key features of Petri nets into classes, properties and axioms of OWL DL ontologies.read more
Citations
More filters
Journal ArticleDOI
Exploiting Semantic Web Technologies to Develop OWL-Based Clinical Practice Guideline Execution Engines
TL;DR: Three CPG execution engines based on OWL 1 DL, OWL 2 DL and OWL2 DL + semantic web rule language (SWRL) are developed based on semantic web reasoning capabilities to execute OWL-based computerized CPG and show the efficiency, technical performance and medical correctness of the execution engines using a range of CPG.
Journal Article
Ontology based standardization of petri net modeling for signaling pathways.
TL;DR: In this article, the ontology of Petri nets is used to define an intrinsic definition of signaling in signaling pathways, and the semantics of the Petri net models are defined.
Journal ArticleDOI
Fuzzy spatio‐temporal ontologies and formal construction based on fuzzy Petri nets
TL;DR: A formal approach for constructing fuzzy spatio‐temporal ontologies from fuzzy Petri nets is investigated and it is proved the correctness of the transformation and a detailed transformation example is provided.
Book ChapterDOI
An Ontology-Enabled Approach for Modelling Business Processes
Thi-Hoa-Hue Nguyen,Nhan Le-Thanh +1 more
TL;DR: This paper proposes an ontological approach for representing business models in a meta-knowledge base based upon ontologies and introduces four basic types of manipulation operations on process models used to develop and modify business workflow patterns.
Journal ArticleDOI
A literature overview of knowledge sharing between Petri nets and ontologies
Haitao Cheng,Zongmin Ma +1 more
TL;DR: This paper gives a comprehensive literature overview of knowledge sharing between Petri net models and ontology models to satisfy the obvious need and discuss the knowledge sharing from two aspects: the different knowledge representation approaches of ontology to represent and reason PetriNet and issues of constructing Petri Net from ontology.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI
Pellet: A practical OWL-DL reasoner
TL;DR: Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals, user-defined datatypes, and debugging support for ontologies.
Book
A semantic Web primer
TL;DR: The third edition of this widely used text has been thoroughly updated, with significant new material that reflects a rapidly developing field.
Journal ArticleDOI
From SHIQ and RDF to OWL: the making of a Web Ontology Language
TL;DR: This paper discusses how the philosophy and features of OWL can be traced back to these older formalisms, with modifications driven by several other constraints on OWL.