language en

Ontology for Maintenance Procedure Documentation (OMPD) Static Procedure Ontology

This version:
http://spec.equonto.org/ontology/202312/maintenance-procedure/static-procedure-ontology
Authors:
The University of Western Australia & Equonto Pty. Ltd.
Contributors:
Caitlin Woods: The University of Western Australia and Equonto
Melinda Hodkiewicz: The University of Western Australia
Tim French: The University of Western Australia
Publisher:
Equonto Pty. Ltd.
Imported Ontologies:
LIS14_Core
IOF_AnnotationVocabulary
Download serialization:
JSON-LD RDF/XML N-Triples TTL
License:
http://opensource.org/licenses/MIT
Evaluation:
Evaluate with OOPS!
Cite as:
Woods, C., French, T., Hodkiewicz, M., & Bikaun, T. (2023). An ontology for maintenance procedure documentation. Applied Ontology, (Preprint), 1-38.
Provenance of this page
Ontology Specification

Maintenance Procedures - Static Procedure Ontology: Overview back to ToC

This ontology has the following classes and properties.

Classes

Object Properties

Data Properties

Annotation Properties

Cross-reference for Maintenance Procedures - Static Procedure Ontology classes, object properties and data properties back to ToC

This section provides details for each class and property defined by Maintenance Procedures - Static Procedure Ontology.

Classes

3D Modelc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#3DModel

A LIS:MediaObject of type "3D Model"
has super-classes
MediaObject c

Animationc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Animation

A LIS:MediaObject of type "Animation"
has super-classes
MediaObject c

AuxilliaryMaintenanceTaskDescriptionc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#AuxilliaryMaintenanceTaskDescription

A LIS:MaintenanceTaskDescription that provides additional information for some agent to assist in the execution of a maintenance task.
is equivalent to
MaintenanceTaskDescription c and (isInstructional dp value false)
has super-classes
MaintenanceTaskDescription c

Componentc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Component

A LIS:PhysicalObject that may have some OMPD:ResourceRole
has super-classes
physical object

ExecutableScriptc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#ExecutableScript

A LIS:MediaObject of type "ExecutableScript"
has super-classes
MediaObject c

Hazardc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Hazard

An LIS: Realizeable Entity that is realizrd in some OMPD: Hazard Realization Process
is equivalent to
realizable entity c and (realized in op some HazardRealizationProcess c)
has super-classes
disposition

HazardInMaintenanceProcessc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#HazardInMaintenanceProcess

An OMPD: Hazard that is realized in some OMPD: Hazard Realization Process that occurs relative to some OMPD: Maintenance Process
is equivalent to
Hazard c and (realized in op some HazardRealizationProcess c and (occurs relative to op some MaintenanceProcess c))
has super-classes
disposition

HazardRealizationProcessc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#HazardRealizationProcess

An LIS: Activity that has the potential to cause harm
has super-classes
activity c

Imagec back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Image

A LIS:MediaObject of type "Image"
has super-classes
MediaObject c

InstructionalMaintenanceTaskDescriptionc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#InstructionalMaintenanceTaskDescription

A LIS:MaintenanceTaskDescription that describes the actions necessary to execute a maintenance task
is equivalent to
MaintenanceTaskDescription c and (isInstructional dp value true)
has super-classes
MaintenanceTaskDescription c

ItemInMaintenanceProcessc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#ItemInMaintenanceProcess

A LIS:PhysicalObject that partiticipates in some OMPD:MaintenanceProcess
has super-classes
physical object

MaintainableItemc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintainableItem

An LIS:PhysicalObject hat has a role OMPD:MaintainableItemRole
is equivalent to
physical object and (has role op some MaintainableItemRole c)
has super-classes
physical object

MaintainableItemRolec back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintainableItemRole

An LIS:Role that is the role of the item that work is performed on in a OMPD:MaintenanceProcess
has super-classes
role

MaintenanceActionc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintenanceAction

An LIS:Activity that is a maintenance activity or a supporting activity involved in execution of a maintenance task
has super-classes
activity c

MaintenanceProcedureDocumentc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintenanceProcedureDocument

An LIS:InformationObject that is about some OMPD:MaineanceProcedureProcess
is equivalent to
information object and (is about op some MaintenanceProcedureProcess c)
has super-classes
information object

MaintenanceProcedureProcessc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintenanceProcedureProcess

An OMPD:MaintenanceProcess that is represented in some OMPD:MaintenanceProcedureDocument and has activity part some OMPD:MaintenanceTask
is equivalent to
MaintenanceProcess c and (has activity part op some MaintenanceTask c) and (represented by op some MaintenanceProcedureDocument c)
has super-classes
MaintenanceProcess c

MaintenanceProcessc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintenanceProcess

An LIS: Activity, intended to repair or restore an item to a state in which it can perform its required function
has super-classes
activity c
has sub-classes
MaintenanceProcedureProcess c, MaintenanceTask c

MaintenanceTaskc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintenanceTask

An OMPD:MaintenanceProcess that is: - a direct activity part of zero or one OMPD:MaintenanceProcedureProcess - an activity part of zero or more OMPD:MaintenanceProcedureProcess - a direct activity part of zero or one OMPD:MaintenanceTask - an activity part of zero or more OMPD:MaintenanceTask - occurs directly before zero or one Maintenance task - occurs before zero or more MaintenanceTask - occurs directly after zero or one MaintenanceTask - occurs after zero or more OMPD:MaintenanceTask
is equivalent to
MaintenanceProcess c and (represented by op some MaintenanceTaskDescription c) and (locally equivalent to op only MaintenanceTask c) and (direct activity part of op max 1 MaintenanceProcedureProcess c) and (direct activity part of op max 1 MaintenanceTask c) and (directly before op max 1 MaintenanceTask c)
has super-classes
MaintenanceProcess c
is in domain of
locally equivalent to op
is in range of
locally equivalent to op

MaintenanceTaskDescriptionc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MaintenanceTaskDescription

An LIS:InformationObject that is about some OMPD:MaintenanceTask and is concretized in some OMPD:MediaObject
is equivalent to
information object and (concretized by op some MediaObject c) and (is about op some MaintenanceTask c)
has super-classes
information object
has sub-classes
AuxilliaryMaintenanceTaskDescription c, InstructionalMaintenanceTaskDescription c
is in domain of
isInstructional dp

Materialc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Material

A LIS:PhysicalObject that may have some OMPD:ResourceRole
has super-classes
physical object

MediaObjectc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#MediaObject

A LIS:PhysicalObject that provides communication to some agent
has super-classes
physical object
has sub-classes
3D Model c, Animation c, ExecutableScript c, Image c, Text c, Video c

Permitc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Permit

A LIS:InformationObject that may have some OMPD:ResourceRole
has super-classes
information object

Qualificationc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Qualification

A LIS:Quality that is beared by zero or more OMPD:QualitifiedPerson
has super-classes
quality

QualifiedPersonc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#QualifiedPerson

A LIS:Person that may have some OMPD:ResourceRole and has a OMPD:Qualification
is equivalent to
person and (has quality op some Qualification c) and (requirement of op some activity c)
has super-classes
person

Resourcec back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Resource

An LIS: Object that has some OMPD: Resource Role
is equivalent to
object and (has role op some ResourceRole c)
has super-classes
object

ResourceRolec back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#ResourceRole

An LIS:Role that is the role of an LIS:Object that is required to execute some LIS:Activity
is equivalent to
role and (role of op only object and (requirement of op some activity c))
has super-classes
role

Textc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Text

A LIS:MediaObject of type "Text"
is equivalent to
MediaObject c and (hasTextValue dp some string)
has super-classes
MediaObject c

Toolc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Tool

A LIS:PhysicalObject that may have some OMPD:ResourceRole
has super-classes
physical object

Videoc back to ToC or Class ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#Video

A LIS:MediaObject of type "Video"
has super-classes
MediaObject c

Object Properties

agent ofop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#agentOf

has super-properties
participant in
is inverse of
has agent op

direct activity part ofop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#directActivityPartOf

has characteristics: irreflexive

has super-properties
indirect activity part of op
is inverse of
has direct activity part op

directly afterop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#directlyAfter

has super-properties
indirectly after op
is inverse of
directly before op

directly beforeop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#directlyBefore

has characteristics: functional, irreflexive

has super-properties
indirectly before op
is inverse of
directly after op

has agentop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasAgent

has super-properties
has participant
is inverse of
agent of op

has direct activity partop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasDirectActivityPart

has super-properties
has indirect activity part op
is inverse of
direct activity part of op

has indirect activity partop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasIndirectActivityPart

has characteristics: transitive

has super-properties
has activity part op
has sub-properties
has direct activity part op
is inverse of
indirect activity part of op

has patientop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasPatient

has super-properties
has participant
is inverse of
patient of op

has requirementop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasRequirement

has super-properties
has participant
is inverse of
requirement of op

indirect activity part ofop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#indirectActivityPartOf

has characteristics: transitive

has super-properties
activity part of
has sub-properties
direct activity part of op
is inverse of
has indirect activity part op

indirectly afterop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#indirectlyAfter

has super-properties
after
has sub-properties
directly after op
is inverse of
indirectly before op

indirectly beforeop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#indirectlyBefore

has characteristics: transitive

has super-properties
before
has sub-properties
directly before op
is inverse of
indirectly after op

locally equivalent toop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#locallyEquivalentTo

has characteristics: symmetric

has super-properties
reasoning support op
has domain
MaintenanceTask c
has range
MaintenanceTask c

patient ofop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#patientOf

has super-properties
participant in
is inverse of
has patient op

requirement ofop back to ToC or Object Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#requirementOf

has super-properties
participant in
is inverse of
has requirement op

Data Properties

documentIdentifierdp back to ToC or Data Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#documentIdentifier

has super-properties
top data property

hasMediaLocationdp back to ToC or Data Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasMediaLocation

has super-properties
top data property
has domain
physical object

hasTextValuedp back to ToC or Data Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasTextValue

has characteristics: functional

has super-properties
top data property

hasVersiondp back to ToC or Data Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#hasVersion

has characteristics: functional

has super-properties
top data property

isInstructionaldp back to ToC or Data Property ToC

IRI: http://spec.equonto.org/ontology/maintenance-procedure/static-procedure-ontology#isInstructional

has characteristics: functional

has super-properties
top data property
has domain
MaintenanceTaskDescription c
has range
boolean

Annotation Properties

exampleap back to ToC or Annotation Property ToC

IRI: https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/example

is rule enabledap back to ToC or Annotation Property ToC

IRI: http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled

semi formal natural language axiomsap back to ToC or Annotation Property ToC

IRI: https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/semiFormalNaturalLanguageAxioms

Legend back to ToC

c: Classes
op: Object Properties
dp: Data Properties

Acknowledgments back to ToC

The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.