Using Petri Net to Reason with Rule and OWL

Authors:
Guangsheng Zhang;Fuqiang Meng;Changjun Jiang;Jian Pang
Affiliations:
Tongji University, China;the Public Security Bureau of Jinan, China;Tongji University, China;the Public Security Bureau of Jinan, China
Venue:
CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
Year:
2006

Citing 0
Cited 2

Open Petri Nets: Non-deterministic Processes and Compositionality

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Situation prediction nets: playing the token game for ontology-driven situation awareness

ER'10 Proceedings of the 29th international conference on Conceptual modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

Using rules in conjunction with ontologies is a major challenge for the Semantic Web. This paper propose a novel approach for reasoning with SWRL rules and OWL ontologies based on Predicate Transition net(PrT-net). A feasible method for transforming OWL DL and SWRL rules into PrT-nets is presented. Rule inference is modeled exactly via computing T-invariants of the PrT-net. The main motivation of this work is to provide new insights for computation of T-invariants for rule inference in PrTnet models and to reveal analogies among rule inference and T-invariants methods in Petri net analysis. A small example shows that all the domain knowledge,i.e. the SWRL rule base and the OWL ontology, is required to obtain complete inferences. It illustrates that a whole reasoning model must be provided to interoperate between SWRL and OWL, not only syntactically and semantically, but also inferentially.