editorialworkflow2codo.owl
type: Ontology
version info: 0.1: Derived by Aldo Gangemi from Raul Palma's description of Workflow Management and Change Management tools. 0.2: added labels and knowledge types
imports: controlflow.owl
imports: codolight.owl

Workflow state change information
type: Class
subclass of: Ontology related data
subclass of: Restriction
  on property: isClassifiedBy
  has value: Workflow state change information KType

Ontology related data
type: Class
subclass of: Annotation
subclass of: Restriction
  on property: isClassifiedBy
  has value: Ontology related data KType

Workflow state change information KType
type: KnowledgeType
is input type for: Workflow support tool
is input type for: Workflow visualization

Workflow support tool
type: DesignTool
implements: User identification
implements: Workflow management
implements: Workflow visualization
implements: Change ontology
has input type: Workflow state change information KType
has input type: User information KType

User identification
different from: Register workflow action
has part: Register
different from: Decide if new user_Yes
has part: Decide if new user_No
different from: Decide if user is allowed
different from: Capture ontology axiom
different from: Decide if task requires ontology change_No
type: Restriction
  some values from: CollaborativeWorkflow
  on property: isConceptUsedIn
different from: Transform ontology axiom
has part: Decide if new user
type: ComputationalDesignTask
different from: Decide if task requires ontology change_Yes
different from: Register
different from: Change ontology
different from: Deliver error message to user
has part: Decide if new user_Yes
has input type: User information KType
different from: Register ontology axiom
different from: Synchronize changes
type: ActionTask
different from: Workflow management
different from: Workflow visualization
different from: Decide if user is allowed_No
different from: Decide if new user
different from: Visualize changes
different from: Decide if user is allowed_Yes
different from: Log in
has part: Log in
comment: This task is executed when identifying a user to the system and logging-in. The user information includes user firstname, lastname, and user role.
different from: Change logging
different from: Decide if new user_No
is implemented in: Workflow support tool
different from: Decide if task requires ontology change

Register workflow action
type: ActionTask
different from: Capture ontology axiom
different from: Decide if task requires ontology change
different from: Decide if task requires ontology change_Yes
different from: Synchronize changes
different from: Decide if new user
different from: Register ontology axiom
different from: Visualize changes
different from: Change ontology
different from: Decide if user is allowed
follows: Decide if user is allowed
follows: Decide if task requires ontology change
different from: Register
is part of: Workflow management
different from: Deliver error message to user
different from: Decide if new user_No
different from: Decide if new user_Yes
directly follows: Decide if task requires ontology change_No
different from: User identification
different from: Transform ontology axiom
different from: Decide if user is allowed_Yes
different from: Workflow management
different from: Workflow visualization
follows: Decide if user is allowed_Yes
different from: Change logging
different from: Decide if user is allowed_No
different from: Decide if task requires ontology change_No
different from: Log in
follows: Decide if task requires ontology change_No
type: ComputationalDesignTask

Capture ontology axiom
type: ComputationalDesignTask
precedes: Transform ontology axiom
different from: User identification
different from: Decide if user is allowed_No
comment: Every change from the NTK editor is captured
different from: Change ontology
different from: Decide if new user_Yes
different from: Decide if new user
is part of: Change logging
different from: Decide if user is allowed_Yes
directly precedes: Transform ontology axiom
different from: Workflow visualization
different from: Visualize changes
different from: Change logging
different from: Decide if task requires ontology change_No
different from: Synchronize changes
different from: Decide if user is allowed
different from: Register
different from: Decide if task requires ontology change
different from: Workflow management
different from: Transform ontology axiom
different from: Decide if task requires ontology change_Yes
different from: Register workflow action
type: ActionTask
different from: Decide if new user_No
different from: Register ontology axiom
different from: Deliver error message to user
different from: Log in
precedes: Register ontology axiom

Transform ontology axiom
type: ActionTask
different from: Register ontology axiom
follows: Capture ontology axiom
different from: Register workflow action
different from: Decide if task requires ontology change_Yes
directly follows: Capture ontology axiom
different from: Log in
different from: Decide if user is allowed_Yes
different from: Capture ontology axiom
different from: Decide if user is allowed
different from: Synchronize changes
different from: Decide if new user
different from: Deliver error message to user
directly precedes: Register ontology axiom
different from: Visualize changes
different from: Decide if task requires ontology change_No
different from: Decide if user is allowed_No
comment: Every change in the editor is transformed into instances of the change representation model (Change Ontology).
different from: Decide if new user_Yes
is part of: Change logging
different from: Workflow visualization
different from: Decide if task requires ontology change
different from: Change ontology
different from: Change logging
different from: Workflow management
different from: User identification
precedes: Register ontology axiom
different from: Register
different from: Decide if new user_No
type: ComputationalDesignTask

Register ontology axiom
type: ActionTask
different from: Log in
follows: Capture ontology axiom
different from: Deliver error message to user
comment: The instances of the change ontology are registered into Oyster distributed registry
different from: Decide if task requires ontology change_Yes
different from: Capture ontology axiom
different from: Decide if new user_Yes
different from: Workflow visualization
different from: Decide if user is allowed_Yes
different from: User identification
is part of: Change logging
type: ComputationalDesignTask
different from: Register
different from: Change ontology
different from: Decide if user is allowed_No
different from: Transform ontology axiom
different from: Decide if user is allowed
different from: Synchronize changes
different from: Decide if task requires ontology change
different from: Decide if task requires ontology change_No
different from: Visualize changes
directly follows: Transform ontology axiom
different from: Workflow management
different from: Decide if new user
different from: Register workflow action
different from: Change logging
follows: Transform ontology axiom
different from: Decide if new user_No

Log in
type: ComputationalDesignTask
follows: Decide if new user_No
different from: User identification
follows: Decide if new user
different from: Decide if user is allowed_No
different from: Transform ontology axiom
different from: Register workflow action
different from: Change ontology
different from: Deliver error message to user
different from: Decide if new user
different from: Decide if user is allowed_Yes
different from: Workflow management
directly follows: Decide if new user_No
different from: Decide if task requires ontology change_Yes
different from: Decide if user is allowed
different from: Workflow visualization
different from: Register
different from: Decide if new user_Yes
type: ActionTask
different from: Decide if new user_No
different from: Register ontology axiom
different from: Visualize changes
is part of: User identification
different from: Decide if task requires ontology change
different from: Change logging
different from: Decide if task requires ontology change_No
different from: Synchronize changes
different from: Capture ontology axiom

Decide if new user_No
type: ComputationalDesignTask
different from: Change logging
different from: Change ontology
different from: Decide if new user_Yes
follows: Decide if new user
different from: Decide if user is allowed
is part of: User identification
directly follows: Decide if new user
different from: Synchronize changes
different from: Workflow visualization
different from: Decide if task requires ontology change
different from: Capture ontology axiom
different from: Decide if new user
different from: User identification
different from: Log in
different from: Register ontology axiom
different from: Register workflow action
different from: Visualize changes
different from: Transform ontology axiom
different from: Deliver error message to user
directly precedes: Log in
different from: Register
different from: Workflow management
type: DeliberationTask
precedes: Log in

Change logging
type: ActionTask
different from: Decide if task requires ontology change_Yes
different from: Decide if new user_No
has part: Register ontology axiom
different from: Capture ontology axiom
different from: Decide if user is allowed_No
is implemented in: Change management tool
different from: Synchronize changes
type: ComputationalDesignTask
different from: Log in
has input type: Ontology axiom list KType
has part: Transform ontology axiom
different from: Decide if user is allowed
comment: Capture ontology changes from the NTK editor and log them into Oyster distributed registry
different from: Register
different from: Decide if new user_Yes
different from: User identification
different from: Visualize changes
different from: Decide if user is allowed_Yes
different from: Decide if new user
different from: Register workflow action
different from: Register ontology axiom
different from: Workflow management
different from: Deliver error message to user
different from: Decide if task requires ontology change_No
different from: Decide if task requires ontology change
different from: Workflow visualization
different from: Change ontology
has part: Capture ontology axiom
different from: Transform ontology axiom
type: DesignFunctionality

Decide if task requires ontology change_Yes
type: DeliberationTask
different from: User identification
different from: Transform ontology axiom
directly precedes: Change ontology
precedes: Change ontology
follows: Decide if user is allowed_Yes
different from: Decide if task requires ontology change
different from: Synchronize changes
different from: Decide if task requires ontology change_No
different from: Capture ontology axiom
different from: Change logging
is part of: Workflow management
type: ComputationalDesignTask
different from: Decide if user is allowed
different from: Register ontology axiom
different from: Register workflow action
different from: Decide if new user
different from: Deliver error message to user
different from: Change ontology
different from: Visualize changes
different from: Log in
different from: Workflow visualization
different from: Workflow management
follows: Decide if user is allowed
directly follows: Decide if task requires ontology change
follows: Decide if task requires ontology change
different from: Register

Change ontology
type: DesignFunctionality
different from: Decide if task requires ontology change_No
different from: Visualize changes
different from: Decide if new user_Yes
different from: Decide if user is allowed_No
is implemented in: Workflow support tool
different from: Deliver error message to user
is part of: Workflow management
follows: Decide if task requires ontology change
different from: User identification
different from: Decide if task requires ontology change
follows: Decide if task requires ontology change_Yes
type: ActionTask
directly follows: Decide if task requires ontology change_Yes
different from: Register ontology axiom
follows: Decide if user is allowed_Yes
different from: Workflow visualization
different from: Change logging
follows: Decide if user is allowed
different from: Log in
different from: Decide if new user
different from: Transform ontology axiom
different from: Decide if task requires ontology change_Yes
different from: Workflow management
different from: Capture ontology axiom
different from: Register workflow action
different from: Decide if new user_No
type: ComputationalDesignTask
different from: Decide if user is allowed
different from: Decide if user is allowed_Yes
different from: Synchronize changes
different from: Register

Decide if task requires ontology change_No
type: ComputationalDesignTask
different from: Decide if task requires ontology change_Yes
different from: Decide if new user
different from: Synchronize changes
different from: Change ontology
precedes: Register workflow action
different from: Register ontology axiom
different from: Deliver error message to user
is part of: Workflow management
different from: Register
different from: Capture ontology axiom
different from: Change logging
follows: Decide if task requires ontology change
different from: Visualize changes
follows: Decide if user is allowed
different from: Log in
different from: User identification
follows: Decide if user is allowed_Yes
different from: Workflow management
different from: Decide if task requires ontology change
directly follows: Decide if task requires ontology change
different from: Register workflow action
different from: Transform ontology axiom
different from: Workflow visualization
type: DeliberationTask
directly precedes: Register workflow action
different from: Decide if user is allowed

Decide if new user
type: BooleanCaseTask
different from: User identification
different from: Register
different from: Workflow visualization
different from: Workflow management
different from: Capture ontology axiom
precedes: Decide if new user_No
different from: Decide if task requires ontology change_No
different from: Register ontology axiom
directly precedes: Decide if new user_No
different from: Register workflow action
precedes: Log in
different from: Synchronize changes
different from: Decide if new user_Yes
different from: Deliver error message to user
different from: Decide if user is allowed_Yes
different from: Transform ontology axiom
different from: Visualize changes
different from: Decide if user is allowed
different from: Decide if task requires ontology change_Yes
different from: Change ontology
directly precedes: Decide if new user_Yes
precedes: Register
different from: Change logging
different from: Decide if new user_No
different from: Decide if user is allowed_No
is part of: User identification
different from: Log in
type: ComputationalDesignTask
precedes: Decide if new user_Yes

Register
type: ActionTask
different from: Deliver error message to user
different from: Log in
different from: Decide if new user
different from: Change ontology
different from: Change logging
different from: Decide if user is allowed
follows: Decide if new user_Yes
different from: Decide if new user_Yes
different from: Register workflow action
different from: Decide if user is allowed_No
type: ComputationalDesignTask
different from: Workflow management
different from: Capture ontology axiom
directly follows: Decide if new user_Yes
is part of: User identification
different from: Decide if user is allowed_Yes
different from: User identification
different from: Decide if task requires ontology change
different from: Register ontology axiom
follows: Decide if new user
different from: Transform ontology axiom
different from: Decide if task requires ontology change_Yes
different from: Visualize changes
different from: Decide if new user_No
different from: Workflow visualization
different from: Synchronize changes
different from: Decide if task requires ontology change_No

Deliver error message to user
type: ActionTask
different from: User identification
different from: Log in
type: ComputationalDesignTask
different from: Decide if task requires ontology change_Yes
different from: Workflow visualization
directly follows: Decide if user is allowed_No
different from: Synchronize changes
different from: Register workflow action
follows: Decide if user is allowed_No
different from: Decide if new user_Yes
different from: Change logging
different from: Change ontology
different from: Decide if user is allowed
different from: Visualize changes
is part of: Workflow management
different from: Transform ontology axiom
different from: Decide if new user
follows: Decide if user is allowed
different from: Workflow management
different from: Decide if user is allowed_Yes
different from: Register ontology axiom
different from: Decide if user is allowed_No
different from: Decide if task requires ontology change_No
different from: Decide if task requires ontology change
different from: Register
different from: Capture ontology axiom
different from: Decide if new user_No

Workflow visualization
type: ActionTask
different from: Decide if new user_Yes
different from: Capture ontology axiom
different from: Decide if user is allowed_No
different from: Workflow management
different from: Deliver error message to user
different from: Decide if new user
has input type: User information KType
different from: Decide if task requires ontology change_Yes
different from: Change ontology
different from: Change logging
comment: This task is executed when visualizing changes within the workflow that are in a particular state.
type: DesignFunctionality
different from: Decide if user is allowed_Yes
different from: Decide if task requires ontology change
has output type: Ontology change information KType
different from: Synchronize changes
different from: Decide if task requires ontology change_No
different from: Decide if new user_No
different from: Visualize changes
different from: Log in
different from: Decide if user is allowed
different from: Transform ontology axiom
has input type: Workflow state change information KType
different from: User identification
is implemented in: Workflow support tool
different from: Register workflow action
different from: Register
different from: Register ontology axiom
type: ComputationalDesignTask

Decide if new user_Yes
type: ComputationalDesignTask
different from: Deliver error message to user
different from: Register ontology axiom
different from: Visualize changes
follows: Decide if new user
different from: Register workflow action
directly follows: Decide if new user
different from: Decide if task requires ontology change
different from: Change ontology
different from: Capture ontology axiom
is part of: User identification
different from: User identification
different from: Synchronize changes
different from: Register
different from: Log in
different from: Decide if new user
directly precedes: Register
different from: Workflow visualization
different from: Decide if user is allowed
type: DeliberationTask
different from: Transform ontology axiom
precedes: Register
different from: Workflow management
different from: Decide if new user_No
different from: Change logging

Visualize changes
type: ActionTask
different from: Decide if new user
different from: Log in
is implemented in: Change management tool
different from: Register workflow action
different from: Decide if task requires ontology change_No
comment: Visualize the ontologies that are being logged and for each of them, the history of changes sorted in chronological order.
different from: Decide if task requires ontology change
has input type: Ontology IDKType
different from: User identification
has output type: Ontology change list KType
different from: Decide if new user_Yes
different from: Transform ontology axiom
different from: Workflow management
different from: Decide if user is allowed_Yes
different from: Decide if new user_No
different from: Capture ontology axiom
different from: Decide if user is allowed_No
different from: Decide if task requires ontology change_Yes
different from: Change ontology
different from: Synchronize changes
different from: Deliver error message to user
type: ComputationalDesignTask
different from: Decide if user is allowed
type: DesignFunctionality
different from: Workflow visualization
different from: Change logging
different from: Register
different from: Register ontology axiom

Change management tool
type: DesignTool
implements: Synchronize changes
implements: Visualize changes
implements: Change logging
has input type: Ontology IDKType
has input type: Ontology axiom list KType

Synchronize changes
type: DesignFunctionality
different from: Capture ontology axiom
different from: User identification
is implemented in: Change management tool
different from: Decide if new user_Yes
different from: Visualize changes
different from: Deliver error message to user
different from: Log in
different from: Register workflow action
different from: Decide if new user
different from: Decide if user is allowed_Yes
comment: Start Oyster synchronization process in the distributed environment and apply changes received from other clients to the same ontologies.
different from: Workflow visualization
type: ComputationalDesignTask
different from: Decide if user is allowed
different from: Decide if task requires ontology change
different from: Workflow management
different from: Transform ontology axiom
different from: Change logging
different from: Decide if user is allowed_No
type: ActionTask
different from: Decide if task requires ontology change_No
different from: Register ontology axiom
different from: Register
different from: Change ontology
different from: Decide if task requires ontology change_Yes
different from: Decide if new user_No

Decide if user is allowed_Yes
type: DeliberationTask
different from: Visualize changes
precedes: Decide if task requires ontology change_No
different from: Decide if new user
different from: Deliver error message to user
different from: Transform ontology axiom
different from: Decide if user is allowed
different from: Decide if user is allowed_No
type: ComputationalDesignTask
different from: Register
precedes: Decide if task requires ontology change_Yes
different from: Workflow visualization
directly precedes: Decide if task requires ontology change
different from: Change logging
is part of: Workflow management
different from: Log in
different from: Synchronize changes
precedes: Decide if task requires ontology change
different from: Register workflow action
different from: Change ontology
different from: User identification
different from: Workflow management
different from: Capture ontology axiom
different from: Register ontology axiom
precedes: Change ontology
different from: Decide if task requires ontology change
precedes: Register workflow action
follows: Decide if user is allowed
directly follows: Decide if user is allowed

Decide if user is allowed
type: BooleanCaseTask
different from: Register
different from: Decide if task requires ontology change
different from: Decide if user is allowed_Yes
different from: Visualize changes
different from: Workflow management
different from: Change logging
different from: Capture ontology axiom
different from: Log in
precedes: Decide if task requires ontology change_Yes
precedes: Decide if task requires ontology change
different from: Decide if new user_Yes
different from: Decide if task requires ontology change_Yes
different from: Register ontology axiom
precedes: Decide if task requires ontology change_No
different from: User identification
different from: Register workflow action
different from: Decide if new user
precedes: Decide if user is allowed_No
precedes: Register workflow action
precedes: Deliver error message to user
different from: Change ontology
different from: Decide if task requires ontology change_No
different from: Deliver error message to user
precedes: Decide if user is allowed_Yes
different from: Decide if user is allowed_No
directly precedes: Decide if user is allowed_No
different from: Workflow visualization
different from: Decide if new user_No
different from: Transform ontology axiom
precedes: Change ontology
is part of: Workflow management
different from: Synchronize changes
directly precedes: Decide if user is allowed_Yes
type: ComputationalDesignTask

Decide if task requires ontology change
type: BooleanCaseTask
different from: Decide if new user_No
different from: Workflow management
different from: Decide if user is allowed_Yes
follows: Decide if user is allowed
directly precedes: Decide if task requires ontology change_No
different from: Decide if new user_Yes
different from: Log in
different from: Capture ontology axiom
different from: Deliver error message to user
precedes: Register workflow action
different from: Synchronize changes
different from: Change logging
different from: Change ontology
is part of: Workflow management
different from: Register workflow action
different from: Register ontology axiom
precedes: Change ontology
different from: Decide if task requires ontology change_Yes
directly follows: Decide if user is allowed_Yes
different from: Register
different from: Transform ontology axiom
different from: Workflow visualization
different from: Decide if user is allowed
directly precedes: Decide if task requires ontology change_Yes
precedes: Decide if task requires ontology change_No
follows: Decide if user is allowed_Yes
precedes: Decide if task requires ontology change_Yes
different from: Visualize changes
different from: Decide if user is allowed_No
different from: Decide if task requires ontology change_No
different from: User identification
type: ComputationalDesignTask

Workflow management
type: ActionTask
has part: Register workflow action
different from: Change ontology
is implemented in: Workflow support tool
different from: Register ontology axiom
has part: Change ontology
has input type: User information KType
different from: Log in
has part: Decide if task requires ontology change_Yes
different from: Register
different from: Decide if new user_No
different from: Decide if task requires ontology change_Yes
different from: Change logging
different from: Decide if new user_Yes
different from: Decide if task requires ontology change
different from: User identification
different from: Visualize changes
has part: Decide if user is allowed
different from: Workflow visualization
different from: Decide if new user
different from: Transform ontology axiom
different from: Synchronize changes
has part: Deliver error message to user
different from: Decide if user is allowed
different from: Register workflow action
has part: Decide if user is allowed_Yes
different from: Decide if user is allowed_Yes
comment: This task is executed when manipulating ontology changes according to the role of a user and the workflow requirements. In particular, it is composed of the following tasks: • Verifies that the user is allowed to perform the requested workflow action. • Evaluates if the requested workflow action requires performing a change in the corresponding ontology. • Registers the workflow action
different from: Capture ontology axiom
different from: Deliver error message to user
has part: Decide if user is allowed_No
has part: Decide if task requires ontology change
different from: Decide if task requires ontology change_No
has part: Decide if task requires ontology change_No
type: ComputationalDesignTask
different from: Decide if user is allowed_No

User information KType
type: KnowledgeType
is input type for: Workflow support tool
is input type for: User identification
is input type for: Workflow management
is input type for: Workflow visualization

Decide if user is allowed_No
type: ComputationalDesignTask
directly precedes: Deliver error message to user
different from: Synchronize changes
different from: Decide if user is allowed
is part of: Workflow management
different from: Workflow visualization
different from: Workflow management
different from: Capture ontology axiom
different from: Visualize changes
follows: Decide if user is allowed
different from: Decide if user is allowed_Yes
different from: Log in
directly follows: Decide if user is allowed
precedes: Deliver error message to user
different from: Change logging
different from: Register ontology axiom
different from: User identification
different from: Decide if new user
different from: Register workflow action
different from: Register
different from: Change ontology
different from: Transform ontology axiom
different from: Decide if task requires ontology change
different from: Deliver error message to user
type: DeliberationTask

Ontology IDKType
type: KnowledgeType
is input type for: Change management tool
is input type for: Visualize changes

Ontology axiom list KType
type: KnowledgeType
is input type for: Change management tool
is input type for: Change logging

Ontology change list KType
type: KnowledgeType
is output type for: Visualize changes

Ontology change information KType
type: KnowledgeType
is output type for: Workflow visualization

Ontology axiom list
type: Class
subclass of: Ontology related data
subclass of: Restriction
  all values from: OntologyAxiom
  on property: hasMember
subclass of: Collection

Ontology related data KType
type: KnowledgeType

Ontology change information
type: Class
subclass of: Ontology related data
subclass of: Restriction
  on property: isClassifiedBy
  has value: Ontology change information KType

User information
type: Class
subclass of: Restriction
  some values from: User role
  on property: hasPart
comment: The user information includes user firstname, lastname, and user role.
subclass of: Ontology related data
subclass of: Restriction
  on property: isClassifiedBy
  has value: User information KType

User role
type: Class
subclass of: UserType

Ontology ID
type: Class
subclass of: Ontology related data
subclass of: Restriction
  on property: isClassifiedBy
  has value: Ontology IDKType

Ontology change list
type: Class
subclass of: Ontology related data
subclass of: Restriction
  all values from: Ontology change information
  on property: hasMember
subclass of: Collection