IPO - Issue Procedure Ontology

IRI:
http://purl.org/ipo/core
Version IRI:
http://purl.org/ipo/core/1.2.0
Current version:
1.2.0
Authors:
Mark Douglas de Azevedo Jacyntho
Matheus Dimas de Morais
Other visualisation:
Ontology source
This work is distributed under a Creative Commons Attribution License (http://creativecommons.org/licenses/by/3.0/).

Abstract

Vocabulary for describing issues (or problems) and corresponding symptoms and solutions to a broad variety of contexts. It is intended to provide a generic, reusable core ontology that can be extended or specialized for use in domain-specific situations, aimed at supporting linked data publishing. The solutions are represented by procedures, which are possible workflows for solving corresponding issues.

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Named Individuals
  6. Annotation Properties
  7. General Axioms
  8. Namespace Declarations

Introduction

The conceptual model of the Issue Procedure Ontology can be seen below, where their classes and properties are presented by means of a UML class diagram. For better understanding, the ontology can be divided into four modules: IssueEntity Classes: IssueEntity, Asset, Image, skos:Concept. Properties: directCategoryOf, hasDirectCategory, categoryOf, hasCategory, hasMaker, makerOf, hasAsset, assetOf, hasDepiction, depictionOf, title, description. Persons and Organizations Classes: Party, Person e Organization Properties: hasMember, memberOf, name. Problems and Symptoms Classes: Symptom, Issue. Properties: directlyCauses, directlyCausedBy, causes, causedBy, dependenceOf, dependsOn, directDependenceOf, directlyDependsOn, canDirectlyCause, canBeDirectlyCausedBy, canCause, canBeCausedBy, canBeDependenceOf, canDependOn, canBeDirectDependenceOf, canDirectlyDependOn, indicatedBy, indicates, hasCausativeAsset, causativeAssetOf, hasHostAsset, hostAssetOf. Problems and Solutions Classes: Action, Task, CompoundAction, Procedure, Activity, Step, Transition, BooleanExpression. Properties: solves, solvedBy, hasFirstStep, hasStep, activates, hasSource, hasTarget, hasIncoming, hasOutcoming, hasGuardCondition, hasPostCondition, hasPreCondition, goal. Classifying a IssueEntity There are two ways of classifying a IssueEntity: 1 - A non-intrinsic classification, ie, a classification aiming a simple grouping of IssueEntities, where the IPO ontology provides ipo use of the property "ipo:hasCategory" linking to "skos:Concept", enabling the creation of schemes of categories and subcategories. 2 - A classification that is intrinsic to a IssueEntity, so that classification implies the creation of subclasses of IssueEntity with specific restrictions. For example, the "Hard Disk Problem" class being defined by a specific restriction that is being linked to at least one of the symptoms "Error Reading File" or "Error Writing File" (instances of Symptom class). Thus, resources can be classified based on the description of their symptoms, as an instance of the new class of "Hard Disk Problem" (HD).

Classes

Actionc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Action

is defined by
http://purl.org/ipo/core
Represents an action to be performed. An Action can only be a primitive action (Task) or a set of actions (CompoundAction). An Action has a precondition that will enable the execution of the Action, and a postcondition (effect) which will be validated after running the Action.
has super-classes
IssueEntityc
hasPreConditionop some BooleanExpressionc
hasPostConditionop some BooleanExpressionc
has sub-classes
CompoundActionc, Taskc
is in domain of
hasPostConditionop, hasPreConditionop
is in range of
activatesop
is disjoint with
Issuec, Symptomc

Activityc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Activity

is defined by
http://purl.org/ipo/core
A set of steps that perform an activity, but does not aim to solve a particular Issue. Can be used to group multiple steps that are repeated in various Procedures to facilitate reuse.
has super-classes
CompoundActionc
is disjoint with
Procedurec

Assetc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Asset

is defined by
http://purl.org/ipo/core
Any "thing" that a IssueEntity is related. For example, a problem (disease) diagnosed in a patient, can have a virus and the patient as Asset, since the virus is the causative agent of the problem and the patient is the host in which the problem manifests itself. An Asset can be a person, an object, a report, a document, etc.
has super-classes
titledp some string
is in range of
hasAssetop

BooleanExpressionc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#BooleanExpression

is defined by
http://purl.org/ipo/core
A logical expression whose value is true or false, aiming to validate a Transition between two Steps, or serve with a pre-condition for the execution of a Action or serve as a post-condition to validate the execution of an Action.
has super-classes
descriptiondp some string
is in range of
hasGuardConditionop, hasPostConditionop, hasPreConditionop
is disjoint with
Imagec, IssueEntityc, Partyc, Stepc, Transitionc, conceptc

CompoundActionc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#CompoundAction

is defined by
http://purl.org/ipo/core
An action composed of several other actions. A CompoundAction may have the goal of solving one or more Issues, representing a Procedure or not having an explicit goal, just be a group of Actions to be reused, behaving as an Activity. A CompoundAction has one or more execution steps that activate one Action (Task or other CompoundAction), thus allowing, that a compoundAction reuse another. A CompoundAction can be used to create a workflow structure, aimed at better structuring of actions that compose it.
has super-classes
Actionc
hasFirstStepop some Stepc
hasStepop some Stepc
has sub-classes
Activityc, Procedurec
is in domain of
hasStepop
is disjoint with
Taskc

Imagec back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Image

is defined by
http://purl.org/ipo/core
An artifact that illustrates or records a visual perception. It can be used to illustrate a IssueEntity seeking a better understanding of it.
is equivalent to
imagec
is in range of
hasDepictionop
is disjoint with
BooleanExpressionc, IssueEntityc, Partyc, Stepc, Transitionc, conceptc

Issuec back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Issue

is defined by
http://purl.org/ipo/core
A problem or issue to be resolved. For example, something that is not operating normally or a hindrance to performing some task. A Issue can be cause and/or caused, directly or indirectly, by another Issue, the same that the Issue A can depend on the Issue B, needing that the Issue B be solved before solving Issue A. The Issue can have a set of Actions (Procedures) that will fix it and also a Issue can be indicated by several Symptoms, where a set of Symptoms can identify a Issue.
has super-classes
IssueEntityc
indicatedByop some Symptomc
is in domain of
canCauseop, canDependOnop, causesop, dependsOnop, hasCausativeAssetop, hasHostAssetop
is in range of
canCauseop, canDependOnop, causesop, dependsOnop, indicatesop, solvesop
is disjoint with
Actionc, Symptomc

IssueEntityc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#IssueEntity

is defined by
http://purl.org/ipo/core
A generic class representing the three main concepts within the domain of ontology: Symptom, Problem and Action.
has super-classes
titledp some string
descriptiondp some string
has sub-classes
Actionc, Issuec, Symptomc
is in domain of
hasAssetop, hasCategoryop, hasDepictionop
is disjoint with
BooleanExpressionc, Imagec, Partyc, Stepc, Transitionc, conceptc

Organizationc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Organization

is defined by
http://purl.org/ipo/core
Represents a group of people organized aiming at a common goal: social, commercial or political. Can be used, for example, to represent a company that manufactures an Asset.
is equivalent to
organizationc
has super-classes
Partyc
is in domain of
hasMemberop
is disjoint with
Personc

Partyc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Party

is defined by
http://purl.org/ipo/core
A class representing a Person or an Organization, and it assumes a role of agent within the treated domain.
is equivalent to
Organizationc or Personc
has super-classes
agentc
namedp some string
has sub-classes
Organizationc, Personc
is in range of
hasMakerop, hasMemberop
is disjoint with
BooleanExpressionc, Imagec, IssueEntityc, Stepc, Transitionc, conceptc

Personc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Person

is defined by
http://purl.org/ipo/core
This class represents a person. Can be used, for example, to represent a person who works in an Organization, produces some Asset or records an IssueEntity.
is equivalent to
personc
has super-classes
Partyc
is disjoint with
Organizationc

Procedurec back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Procedure

is defined by
http://purl.org/ipo/core
A sequence of steps which, after executed solve one or more Issues. A procedure has a number of steps that are executed in a specific sequence, one seeking to solve Issue.
has super-classes
CompoundActionc
solvesop some Issuec
is in domain of
goaldp, solvesop
is disjoint with
Activityc

Stepc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Step

is defined by
http://purl.org/ipo/core
A step to be performed within a CompoundAction. Every Step has an Action to be performed and a Transition to another Step to be performed after completing the execution of the Action. With Steps is possible to establish an order for the execution of Actions, as each Step has a Transition that sets the Step of origin and destination. Once a CompoundAction has an initial Step (IPO: hasFirstStep), from this Step can be run all other steps that composes the compoundAction following the Transition between them.
is in domain of
activatesop, hasIncomingop, hasOutcomingop
is in range of
hasStepop
is disjoint with
BooleanExpressionc, Imagec, IssueEntityc, Partyc, Transitionc, conceptc

Symptomc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Symptom

is defined by
http://purl.org/ipo/core
Represents a sign or indication of one or more Issues. Something that is perceived when a problem occurs.
has super-classes
IssueEntityc
indicatesop some Issuec
is in domain of
indicatesop
is disjoint with
Actionc, Issuec

Taskc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Task

is defined by
http://purl.org/ipo/core
One elementary and single action. Being an elementary task, it can not be decomposed into simpler actions.
has super-classes
Actionc
is disjoint with
CompoundActionc

Transitionc back to ToC or Class ToC

IRI: http://purl.org/ipo/core#Transition

is defined by
http://purl.org/ipo/core
An Transition represents a transition (passage) between two Steps. Each Transition has a Step of origin (source) and a Step of destination (target). A Transition has a guard condition that specifies a boolean condition for that the Transition to occur. Through the guard condition, can be implemented, in a simplified way, a workflow, establishing decision structures, repetition, choice, etc.
has super-classes
hasGuardConditionop some BooleanExpressionc
hasSourceop some Stepc
hasTargetop some Stepc
is in domain of
hasGuardConditionop
is in range of
hasIncomingop, hasOutcomingop
is disjoint with
BooleanExpressionc, Imagec, IssueEntityc, Partyc, Stepc, conceptc

Object Properties

activatesop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#activates

is defined by
http://purl.org/ipo/core
Indicates the action to be activated by a Step.

has characteristics: functional

has domain
Stepc
has range
Actionc

assetOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#assetOf

is defined by
http://purl.org/ipo/core
Indicates a IssueEntity that is related to the Asset. This property can be used to facilitate retrieval records of problems related to the Asset.
has sub-properties
causativeAssetOfop, hostAssetOfop
is inverse of
hasAssetop

canBeCausedByop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canBeCausedBy

is defined by
http://purl.org/ipo/core
The Issue can be caused by another Issue directly or indirectly. This property is transitive, i.e., if the issue "A" can be caused by the issue "B" and the issue "B" can be caused by the issue "C", then the issue "A" can be caused by the issue "C".

has characteristics: transitive

has sub-properties
canBeDirectlyCausedByop
is inverse of
canCauseop

canBeDependenceOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canBeDependenceOf

is defined by
http://purl.org/ipo/core
Indicates that an Issue can be a dependence of another Issue directly or indirectly. This property is also transitive, i.e., if the issue "A" can be dependence of the issue "B" and the issue "B" can be dependence of the issue "C", then the issue "A" can be dependence of the issue "C".

has characteristics: transitive

has sub-properties
canBeDirectDependenceOfop
is inverse of
canDependOnop

canBeDirectDependenceOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canBeDirectDependenceOf

is defined by
http://purl.org/ipo/core
This property indicates an Issue that can be direct dependence of another Issue.
has super-properties
canBeDependenceOfop
is inverse of
canDirectlyDependOnop

canBeDirectlyCausedByop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canBeDirectlyCausedBy

is defined by
http://purl.org/ipo/core
An Issue can be directly caused by another Issue.
has super-properties
canBeCausedByop
is inverse of
canDirectlyCauseop

canCauseop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canCause

is defined by
http://purl.org/ipo/core
An Issue can cause another Issue directly or indirectly. This property aims to express a possible causal relationship and has the characteristic of transitivity, i.e., the Issue "A" can cause the Issue "B" and the Issue "B" can cause the Issue "C", then the Issue "A" can cause the Issue "C".

has characteristics: transitive

has sub-properties
canDirectlyCauseop
has domain
Issuec
has range
Issuec
is inverse of
canBeCausedByop

canDependOnop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canDependOn

is defined by
http://purl.org/ipo/core
Indicates that an Issue can depend on another Issue directly or indirectly. This property can express a dependency relationship between Issues and has the characteristic of transitivity, i.e., the Issue "A" can depend on the Issue "B" and the Issue "B" can depend on "C", then the Issue "A" can depend on the Issue "C".

has characteristics: transitive

has sub-properties
canDirectlyDependOnop
has domain
Issuec
has range
Issuec
is inverse of
canBeDependenceOfop

canDirectlyCauseop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canDirectlyCause

is defined by
http://purl.org/ipo/core
An Issue can directly cause another Issue. This property aims to express a possible causal relationship, where an Issue can be direct cause of another Issue. For example, flu disease can cause pneumonia, i.e., in some cases, flu causes pneumonia and in another cases not.
has super-properties
canCauseop
is inverse of
canBeDirectlyCausedByop

canDirectlyDependOnop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#canDirectlyDependOn

is defined by
http://purl.org/ipo/core
Indicates that an Issue can directly depend on another Issue. For example, pneumonia can directly depend that the flu is cured to finally be treated.
has super-properties
canDependOnop
is inverse of
canBeDirectDependenceOfop

categoryOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#categoryOf

is defined by
http://purl.org/ipo/core
Indicates a IssueEntity classified in a skos:Concept.
has sub-properties
directCategoryOfop
is inverse of
hasCategoryop

causativeAssetOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#causativeAssetOf

is defined by
http://purl.org/ipo/core
This property relates a Asset with a Issue caused by this Asset. For example, a virus associated with a disease caused by it.
has super-properties
assetOfop
is inverse of
hasCausativeAssetop

causedByop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#causedBy

is defined by
http://purl.org/ipo/core
Indicates that an Issue is caused by another Issue directly or indirectly. This property also has a transitive characteristic, i.e., if the Issue "A" is caused by Issue "B" and the Issue "B" is caused by Issue "C", then the Issue "A" is caused by Issue "C".

has characteristics: transitive

has super-properties
top object property
has sub-properties
directlyCausedByop
is inverse of
causesop

causesop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#causes

is defined by
http://purl.org/ipo/core
Indicates that an Issue causes another Issue directly or indirectly. This property expresses a causal relationship between Issues and have the characteristic of transitivity, i.e., if the Issue "A" causes Issue "B" and the Issue "B" causes Issue "C", then the Issue "A" causes Issue "C".

has characteristics: transitive

has super-properties
top object property
has sub-properties
directlyCausesop
has domain
Issuec
has range
Issuec
is inverse of
causedByop

dependenceOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#dependenceOf

is defined by
http://purl.org/ipo/core
Indicates that an Issue is a dependence of another Issue directly or indirectly. This property also has a transitive characteristic, i.e. , if Issue "A" is dependence of the Issue "B", and the Issue "B" is dependence of Issue "C", then the Issue "A" is dependence of Issue "C".

has characteristics: transitive

has sub-properties
directDependenceOfop
is inverse of
dependsOnop

dependsOnop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#dependsOn

is defined by
http://purl.org/ipo/core
This property indicates that an Issue depends on another Issue directly or indirectly. This property expresses a dependence relationship between Issues and has the characteristic of transitivity, i.e. , if Issue "A" depends on the Issue "B", and the Issue "B" depends on Issue "C", then the Issue "A" depends on Issue "C".

has characteristics: transitive

has sub-properties
directlyDependsOnop
has domain
Issuec
has range
Issuec
is inverse of
dependenceOfop

depictionOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#depictionOf

is defined by
http://purl.org/ipo/core
Indicates a IssueEntity illustrated by the image. This property is functional, i.e., an Image is related by this property with only one IssueEntity.
has super-properties
depictsop
is inverse of
hasDepictionop

directCategoryOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#directCategoryOf

is defined by
http://purl.org/ipo/core
Indicates a IssueEntity directly classified in a skos:Concept.
has super-properties
categoryOfop
is inverse of
hasDirectCategoryop

directDependenceOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#directDependenceOf

is defined by
http://purl.org/ipo/core
Indicates that a Issue is direct dependence of another Issue.
has super-properties
dependenceOfop
is inverse of
directlyDependsOnop

directlyCausedByop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#directlyCausedBy

is defined by
http://purl.org/ipo/core
Indicates that an Issue is directly caused by another Issue.
has super-properties
causedByop
is inverse of
directlyCausesop

directlyCausesop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#directlyCauses

is defined by
http://purl.org/ipo/core
This property indicates that an Issue directly causes another Issue.
has super-properties
causesop
is inverse of
directlyCausedByop

directlyDependsOnop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#directlyDependsOn

is defined by
http://purl.org/ipo/core
This relation indicates that a issue directly depends on another Issue.
has super-properties
dependsOnop
is inverse of
directDependenceOfop

hasAssetop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasAsset

is defined by
http://purl.org/ipo/core
Indicates an Asset to IssueEntity, i.e., any "thing" which is related to IssueEntity.
has sub-properties
hasCausativeAssetop, hasHostAssetop
has domain
IssueEntityc
has range
Assetc
is inverse of
assetOfop

hasCategoryop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasCategory

is defined by
http://purl.org/ipo/core
Indicates a category (skos: Concept) directly or indirectly related to a IssueEntity. The Concept class of SKOS ontology has properties that allow you to create hierarchies of categories (Concepts), still allowing express transitivity between categories. This approach should be used as an alternative to classification by subclass of IssueEntity when it are not intrinsic classifications, just grouping. For example, in the field of medicine, disease can be grouped as viral diseases, bacterial diseases, etc.
has sub-properties
hasDirectCategoryop
has domain
IssueEntityc
has range
conceptc
is inverse of
categoryOfop
has sub-property chains
hasCategoryop o broader transitiveop

hasCausativeAssetop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasCausativeAsset

is defined by
http://purl.org/ipo/core
Indicates an Asset that is the causer of the Issue.
has super-properties
hasAssetop
has domain
Issuec
is inverse of
causativeAssetOfop

hasDepictionop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasDepiction

is defined by
http://purl.org/ipo/core
Indicates an image that illustrates the IssueEntity. Seeking a better description of IssueEntity, one can make use of this property to relate an illustrative image. For example, an image of a software screen containing an error occurred can help describe the problem.

has characteristics: inverse functional

has super-properties
depictionop
has domain
IssueEntityc
has range
Imagec
is inverse of
depictionOfop

hasDirectCategoryop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasDirectCategory

is defined by
http://purl.org/ipo/core
Indicates a category (skos: Concept) directly related to a IssueEntity.
has super-properties
hasCategoryop
is inverse of
directCategoryOfop

hasFirstStepop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasFirstStep

is defined by
http://purl.org/ipo/core
A CompoundAction has one or more steps, so this property indicates the first step should be executed.

has characteristics: functional, inverse functional

has super-properties
hasStepop

hasGuardConditionop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasGuardCondition

is defined by
http://purl.org/ipo/core
Indicates a BooleanExpression for that a Transition occurs. For example, a Transition can have as guardCondition that the Step of origin be executed 10 times. So while this Step does is not executes 10 times, will not be started the Step of destination. This example illustrates a repeating structure within the workflow.

has characteristics: functional, inverse functional

has domain
Transitionc
has range
BooleanExpressionc

hasHostAssetop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasHostAsset

is defined by
http://purl.org/ipo/core
Indicates an Asset that is the host (harbourer) of the Issue.
has super-properties
hasAssetop
has domain
Issuec
is inverse of
hostAssetOfop

hasIncomingop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasIncoming

is defined by
http://purl.org/ipo/core
Indicates the Transition that starts the execution of this Step.

has characteristics: inverse functional

has domain
Stepc
has range
Transitionc
is inverse of
hasTargetop

hasMakerop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasMaker

is defined by
http://purl.org/ipo/core
Indicates a Person or Organization (Party) who created or registered the IssueEntity. This property is also used by Asset class to relate to its manufacturer, developer, inventor, etc.
has super-properties
makerop
has domain
Assetc or IssueEntityc
has range
Partyc
is inverse of
makerOfop

hasMemberop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasMember

is defined by
http://purl.org/ipo/core
Indicates a Person who is a member of this Organization or another Organization that is member of this Organization, representing here a department or business unit.
has domain
Organizationc
has range
Partyc
is inverse of
memberOfop

hasOutcomingop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasOutcoming

is defined by
http://purl.org/ipo/core
Indicates the Transition that occurs after execution of this Step and that activates the next Step to be executed.

has characteristics: inverse functional

has domain
Stepc
has range
Transitionc
is inverse of
hasSourceop

hasPostConditionop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasPostCondition

is defined by
http://purl.org/ipo/core
Indicates a postcondition (effect) will be reached after executing the Action.

has characteristics: functional, inverse functional

has domain
Actionc
has range
BooleanExpressionc

hasPreConditionop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasPreCondition

is defined by
http://purl.org/ipo/core
Indicates a precondition for the Action be executed. A precondition may represent a prerequisite for execution of the Action, without which it is not guaranteed correct execution.

has characteristics: functional, inverse functional

has domain
Actionc
has range
BooleanExpressionc

hasSourceop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasSource

is defined by
http://purl.org/ipo/core
Indicates the Step of origin of this Transition.

has characteristics: functional

is inverse of
hasOutcomingop

hasStepop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasStep

is defined by
http://purl.org/ipo/core
Indicates a Step that composes the compoundAction.
has sub-properties
hasFirstStepop
has domain
CompoundActionc
has range
Stepc
has sub-property chains
hasStepop o hasOutcomingop o hasTargetop

hasTargetop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hasTarget

is defined by
http://purl.org/ipo/core
Indicates the Step of destination of this Transition.

has characteristics: functional

is inverse of
hasIncomingop

hostAssetOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#hostAssetOf

is defined by
http://purl.org/ipo/core
Relates an Asset with a Issue that occurs in it. This property can be used to relate a person with a disease whose the person is where the disease occurs.
has super-properties
assetOfop
is inverse of
hasHostAssetop

indicatedByop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#indicatedBy

is defined by
http://purl.org/ipo/core
Indicates a Symptom of this Issue.
is inverse of
indicatesop

indicatesop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#indicates

is defined by
http://purl.org/ipo/core
This property relates a Issue indicated by this Symptom. A Symptom may indicate many Issues, such as a Symptom of fever can indicate many diseases.
has domain
Symptomc
has range
Issuec
is inverse of
indicatedByop

makerOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#makerOf

is defined by
http://purl.org/ipo/core
This property can be used to indicates an Asset created/manufactured by Party or a IssueEntity created/registered by the Party.
has super-properties
madeop
is inverse of
hasMakerop

memberOfop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#memberOf

is defined by
http://purl.org/ipo/core
Indicates a organization that the Party is participant. This property can be used to indicates that an employee is a member of an organization. Another approach is to use this property to relate two organizations thus representing a department that is a member of his company.
is inverse of
hasMemberop

solvedByop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#solvedBy

is defined by
http://purl.org/ipo/core
Indicates a solution (Procedure) for this Issue.
is inverse of
solvesop

solvesop back to ToC or Object Property ToC

IRI: http://purl.org/ipo/core#solves

is defined by
http://purl.org/ipo/core
Indicates a Issue that this Procedure solves.
has domain
Procedurec
has range
Issuec
is inverse of
solvedByop

Data Properties

descriptiondp back to ToC or Data Property ToC

IRI: http://purl.org/ipo/core#description

is defined by
http://purl.org/ipo/core
Indicates text that describes something in detail.
has super-properties
descriptiondp
has range
string
is also defined as
annotation property

goaldp back to ToC or Data Property ToC

IRI: http://purl.org/ipo/core#goal

is defined by
http://purl.org/ipo/core
Indicates the description of the goal to be reached after the execution of Procedure.
has domain
Procedurec
has range
string

namedp back to ToC or Data Property ToC

IRI: http://purl.org/ipo/core#name

is defined by
http://purl.org/ipo/core
Indicates a name to identify something.
has range
string

titledp back to ToC or Data Property ToC

IRI: http://purl.org/ipo/core#title

is defined by
http://purl.org/ipo/core
Title (word or phrase) that briefly describes something.
has super-properties
titledp
has range
string
is also defined as
annotation property

Named Individuals

IPO - Issue Procedure Ontologyni back to ToC or Named Individual ToC

IRI: http://purl.org/ipo/core

belongs to
vocabularyc

Annotation Properties

commentap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#comment

has sub-properties
descriptionap

contributorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/contributor

creatorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/creator

dateap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/date

descriptionap back to ToC or Annotation Property ToC

IRI: http://purl.org/ipo/core#description

is defined by
http://purl.org/ipo/core
Indicates text that describes something in detail.
has super-properties
commentap
is also defined as
data property

labelap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#label

has sub-properties
titleap

languageap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/language

preferred namespace prefixap back to ToC or Annotation Property ToC

IRI: http://purl.org/vocab/vann/preferredNamespacePrefix

preferred namespace uriap back to ToC or Annotation Property ToC

IRI: http://purl.org/vocab/vann/preferredNamespaceUri

rightsap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/rights

titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/title

titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/ipo/core#title

is defined by
http://purl.org/ipo/core
Title (word or phrase) that briefly describes something.
has super-properties
labelap
is also defined as
data property

General Axioms

All Disjoint Classes back to ToC

Actionc, Issuec, Symptomc

All Disjoint Classes back to ToC

BooleanExpressionc, Imagec, IssueEntityc, Partyc, Stepc, Transitionc, conceptc

Namespace Declarations back to ToC

default namespace
http://purl.org/ipo/core#
0-1
http://xmlns.com/foaf/0.1/
1-2-0
http://ipocore.sourceforge.net/1.2.0/
core
http://purl.org/ipo/core#
dc
http://purl.org/dc/elements/1.1/
ipo
http://purl.org/ipo/
ns
http://creativecommons.org/ns#
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
voaf
http://purl.org/vocommons/voaf#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.