Did you mean: OPEN-On: Object Petri Nets Ontology Tool.
Other tools are developed to creat, edit and brows ontologies such as: Protégé-2000; Ontolingua that shows the concepts in a two dimensional tree visualisation ...
... ontologies a number of tools have been developed. This paper presents the OPN-OntEd (Object Petri Nets Ontology Editor) software which is a Java-based ...
Missing: Ont: | Show results with:Ont:
Request PDF | Object Pétri Nets Ontology Editor tool | Computer documentary raises more interest and often resorts to various tools of formalization and ...
Missing: Ont: | Show results with:Ont:
Bibliographic details on OPN-Ont: Object Petri Nets Ontology Tool.
In Proceedings of the SIMUTool workshop on Petri net tools and applications (PNTAP 2008). Marseille, France. ... Sánchez, E., Lama, M., Amorim, R. R., Vidal, ...
本文提出了OPN-Ont (Object Petri Nets Ontology)模型。在该系统中，本体以PNs格式表示，该格式允许形式属性的验证以及定性和定量模拟。它导致表示和利用不同的本体组件: ...
Two influential modeling languages, the Petri nets and the UML activity diagrams, are axiomatized as two Basic Action Theories of situation calculus. They are ...
These tools enable external agents to access to the intermediate results of the Petri net execution (steps, transition modes, firings, and so on) through its ...
Missing: OPN- Ont:
A method for automatic construction of web ontology language (OWL) ontologies from PNML of Petri nets is investigated, and a prototype construction tool ...
We analyzed two kinds of Petri net syntax: general-pur- pose and tool-specific. Tool-specific syntax is analyzed in the following tools: DaNAMiCS and Renew.
Missing: OPN- Ont: