As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Process ontologies play key roles in semantic integration and decision support systems for applications in manufacturing, enterprise modeling and e- commerce. In this paper, we propose a methodology for the design and verification of domain-specific process ontologies that are extensions of generic process ontologies. This allows us to evaluate the correctness of process ontologies with respect to the class of intended models for their respective domains. Our approach is based on the correspondence between the effects of activities in the process ontology and the partial automorphisms of models of the underlying domain ontology. We then investigate in detail the process ontology for the domain of chains (sets of disjoint linear orderings) using this methodology.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.