Modelling Concurrent Behaviors in the Process Specification Language

07/16/2009
by   Dai Tri Man Le, et al.
0

In this paper, we propose a first-order ontology for generalized stratified order structure. We then classify the models of the theory using model-theoretic techniques. An ontology mapping from this ontology to the core theory of Process Specification Language is also discussed.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

06/20/2019

Generic Ontology Design Patterns at Work

Generic Ontology Design Patterns, GODPs, are defined in Generic DOL, an ...
08/08/2012

Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versioning in Ontology

Ontologies are built on systems that conceptually evolve over time. In a...
11/16/2020

Widening the Dialogue Workflow Modeling Bottleneck in Ontology-Based Personal Assistants

We present a new approach to dialogue specification for Virtual Personal...
11/15/2014

Introduction to ROSS: A New Representational Scheme

ROSS ("Representation, Ontology, Structure, Star") is introduced as a ne...
11/15/2014

ROSS User's Guide and Reference Manual (Version 1.0)

The ROSS method is a new approach in the area of knowledge representatio...
01/02/2021

Toward Semantic Representation of Middleware Services

Middleware is middle tier software that supports communications between ...
05/30/2017

Preliminary results on Ontology-based Open Data Publishing

Despite the current interest in Open Data publishing, a formal and compr...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.