Ontology of change with manifestations

IRI:
http://ontologies.makolab.com/oc/
Current version:
version 1.0
Other visualisation:
Ontology source

Abstract

Following "K. Fine (1999). Things and their parts" this ontology of change (OC) divides all entities into:

Among non-variable entities are manifestations of variable entities. Each such manifestation has its time stamp (being its beginning of existence). The following assumptions introduced by Kit Fine and generalized by "F. Moltmann (2016). Variable Objects and Truth-Making" have been adopted in CO:

Table of Content

  1. Classes
  2. Object Properties
  3. Annotation Properties
  4. Namespace Declarations

Classes

manifestation of variable entityc back to ToC or Class ToC

IRI: http://ontologies.makolab.com/oc/VariableEntityManifestation

It is a manifestation of variable entity in particular time and space with a particular collection of qualities.

By itself manifestations are entities that do not have different manifestations as different objects at different times and in different worlds or situations.

has super-classes
non-variable entityc
is manifestation ofop exactly 1 variable entityc
is in domain of
has predecessor entity manifestationop, is manifestation ofop, is predecessor entity manifestation ofop
is in range of
has manifestationop, has predecessor entity manifestationop, is predecessor entity manifestation ofop

non-variable entityc back to ToC or Class ToC

IRI: http://ontologies.makolab.com/oc/NonVariableEntity

Non-variable entities are entities that do not have different manifestations as different objects at different times and in different worlds or situations.

has sub-classes
manifestation of variable entityc
is disjoint with
variable entityc

variable entityc back to ToC or Class ToC

IRI: http://ontologies.makolab.com/oc/VariableEntity

If a variable entity e is manifested at time t by some variable entity manifestation m, then e exists at t, takes a geographical location of m and has all qualities possessed by m in t.

A variable entity possesses a quality q (without temporal reference) if all of its manifestations have this quality q.

Variable entities are independent continuants that have different manifestations as different objects at different times and in different worlds or situations.

has super-classes
has manifestationop some manifestation of variable entityc
is in domain of
has manifestationop
is in range of
is manifestation ofop
is disjoint with
non-variable entityc

Object Properties

has last manifestationop back to ToC or Object Property ToC

IRI: http://ontologies.makolab.com/oc/hasLastManifestation

The property assigns the last manifestation to a variable entity.
has super-properties
has manifestationop
is inverse of
is last manifestation ofop

has manifestationop back to ToC or Object Property ToC

IRI: http://ontologies.makolab.com/oc/hasManifestation

The property assigns a manifestation to a variable entity.
has sub-properties
has last manifestationop
has domain
variable entityc
has range
manifestation of variable entityc
is inverse of
is manifestation ofop

has predecessor entity manifestationop back to ToC or Object Property ToC

IRI: http://ontologies.makolab.com/oc/hasPredecessorEntityManifestation

The property establishes the temporal linear order of the manifestations of an entity.

has characteristics: transitive

has domain
manifestation of variable entityc
has range
manifestation of variable entityc
is inverse of
is predecessor entity manifestation ofop

is last manifestation ofop back to ToC or Object Property ToC

IRI: http://ontologies.makolab.com/oc/isLastManifestationOf

The property indicates which manifestations of a variable entities are last.
has super-properties
is manifestation ofop
is inverse of
has last manifestationop

is manifestation ofop back to ToC or Object Property ToC

IRI: http://ontologies.makolab.com/oc/isManifestationOf

The property indicates to each manifestation the variable entity it is a manifestation of.
has sub-properties
is last manifestation ofop
has domain
manifestation of variable entityc
has range
variable entityc
is inverse of
has manifestationop

is predecessor entity manifestation ofop back to ToC or Object Property ToC

IRI: http://ontologies.makolab.com/oc/isPredecessorEntityManifestationOf

The property establishes the temporal linear order of the manifestations of an entity.

has characteristics: transitive

has domain
manifestation of variable entityc
has range
manifestation of variable entityc
is inverse of
has predecessor entity manifestationop

Annotation Properties

definitionap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#definition

scope noteap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#scopeNote

Namespace Declarations back to ToC

default namespace
http://ontologies.makolab.com/oc/
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#
skos
http://www.w3.org/2004/02/skos/core#
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.