The SEAS System ontology

IRI:
https://ci.mines-stetienne.fr/pep/
Version IRI:
https://ci.mines-stetienne.fr/seas/SystemOntology-1.1
Authors:
http://www.maxime-lefrancois.info/me#
Imported Ontologies:
https://ci.mines-stetienne.fr/pep/ (visualise it with LODE)
https://ci.mines-stetienne.fr/seas/EvaluationOntology (visualise it with LODE)
https://ci.mines-stetienne.fr/seas/FeatureOfInterestOntology (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Classes
  2. Object Properties
  3. Named Individuals
  4. Annotation Properties
  5. Namespace Declarations

Classes

Balance Evaluationc back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/BalanceEvaluation

is defined by
https://ci.mines-stetienne.fr/seas/ZoneOntology
Evaluation of the difference between the incoming evaluation and the outgoing evaluation.
has super-classes
evaluation
is disjoint with
Incoming evaluationc

Connectionc back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/Connection

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
The class of connections between systems. This class qualifies property `seas:connectedTo`. A connection describes potential interactions between systems. For example, a power connection between power systems describes the fact that these systems may exchange electricity. ``` <connection> seas:connectsSystem <electric_vehicle> , <electric_vehicle_service_equipment> . <electric_vehicle> seas:connectedThrough <connection> . <electric_vehicle_service_equipment> seas:connectedThrough <connection> . ``` Any two connected systems are connected through a connection. If: ``` <system1> a seas:System . <system2> a seas:System . <system1> seas:connectedTo <system2> . ``` then there exists `_:connection` such that: ``` _:connection seas:connectsSystem <system1> , <system2> . ``` A connection can connect more than two systems at the same time. Figure below illustrates connections of systems: [![Connections of systems](https://w3id.org/seas/system2.png)](https://w3id.org/seas/system2.png)
has super-classes
feature of interest
connects system atop some Connection Pointc
connects systemop some Systemc
is in domain of
connects systemop, connects system atop
is in range of
connected throughop, connects system throughop
is disjoint with
Connection Pointc, Systemc

Connection Pointc back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/ConnectionPoint

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
The class of connection points of systems, at which they may be connected to other systems. This class qualifies properties `seas:connectsSystem` and `seas:connectedThrough`. A connection point belongs to exactly one system. For example, an electric vehicle service equipment may have three power connection points: two different kinds of plugs that enable to charge electric vehicles, and a three phase power bus connection point to the grid: ``` <electric_vehicle> seas:connectsAt <plug_high_voltage> , <normal_plug> , <three_phase_connection_point> . ``` Any system connected through a connection is connected at one of its connection points to the connection: if: ``` <system> a seas:System . <system> seas:connectedThrough <connection> . <connection> a seas:Connection . ``` then there exists `_:connectionPoint` such that: ``` <system> seas:connectsAt _:connectionPoint . _:connectionPoint seas:connectsSystemAt <connection> . ``` The system of a connection point that is connected through a connection is itself connected through the connection:. If: ``` <connection> a seas:Connection . <system> a seas:System . <connectionPoint> a seas:ConnectionPoint ; <connectionPoint> seas:connectsSystemThrough <connection> . ``` then it is true that: ``` <connectionPoint> seas:connectionPointOf <system> . ``` Figure below illustrates connection points of systems: [![Connection points of systems](https://w3id.org/seas/system3.png)](https://w3id.org/seas/system3.png)
has super-classes
feature of interest
connection point toop exactly 1
is in domain of
connection point toop, connects system throughop
is in range of
connects atop, connects system atop
is disjoint with
Connectionc, Systemc

Incoming evaluationc back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/IncomingEvaluation

is defined by
https://ci.mines-stetienne.fr/seas/ZoneOntology
Evaluation of how the exterior contributes to the property.
has super-classes
evaluation
is disjoint with
Balance Evaluationc, Outgoing Evaluationc

Outgoing Evaluationc back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/OutgoingEvaluation

is defined by
https://ci.mines-stetienne.fr/seas/ZoneOntology
Evaluation of how the property contributes to the exterior.
has super-classes
evaluation
is disjoint with
Incoming evaluationc

Systemc back to ToC or Class ToC

IRI: https://ci.mines-stetienne.fr/seas/System

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
The class of systems, i.e., systems virtually isolated from the environment, whose behaviour and interactions with the environment are modeled. Systems can be connected to other systems. Connected systems interact in some ways. For example: ``` <electric_vehicle> seas:connectedTo <electric_vehicle_service_equipment> . ``` Systems can also have subsystems. Properties of subsystems somehow contribute to the properties of the supersystem. For example: ``` <battery> seas:subSystemOf <electric_vehicle> . ``` Figure below illustrates systems and their connections: [![Systems and their connections](https://w3id.org/seas/system1.png)](https://w3id.org/seas/system1.png)
has super-classes
feature of interest
is in domain of
connected throughop, connected toop, connects atop, has sub systemop, sub system ofop
is in range of
connected toop, connection point toop, connects systemop, has sub systemop, sub system ofop
is disjoint with
Connectionc, Connection Pointc

Object Properties

connected throughop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectedThrough

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a system to one of its connections to other systems.
has domain
Systemc
has range
Connectionc
is inverse of
connects systemop
has sub-property chains
connects atop o connects system throughop

connected toop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectedTo

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a system to a system it is connected to. Connected systems interact in some way. The exact meaning of _interact_ is defined by sub properties of `seas:connectedTo`. For example, for the electricity to directly flow between an electric vehicle service equipment and an electric vehicle, then they must be linked by property `seas:exchangesElectricityWith`: ``` seas:exchangesElectricityWith rdfs:subPropertyOf seas:connectedTo . <electric_vehicle> seas:exchangesElectricityWith <electric_vehicle_service_equipment> . ``` Property `seas:connectedTo` is symmetric: ``` if x seas:connectedTo y, then it is true that y seas:connectedTo x. ``` This property can be qualified using class `seas:Connection`, which connects the two systems. If there is a connection between several systems, then one may infer these systems are pairwise connected.

has characteristics: symmetric

has domain
Systemc
has range
Systemc

connection point toop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectionPointOf

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a connection point to the one and only one system it belongs to.

has characteristics: functional

has domain
Connection Pointc
has range
Systemc
is inverse of
connects atop

connects atop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectsAt

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a system to one of the connection points at which it connects.

has characteristics: inverse functional

has domain
Systemc
has range
Connection Pointc
is inverse of
connection point toop

connects systemop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectsSystem

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a connection to one of the systems it connects.
has domain
Connectionc
has range
Systemc
is inverse of
connected throughop
has sub-property chains
connects system atop o connection point toop

connects system atop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectsSystemAt

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a connection to one of the connection points at which it connects a system.
has domain
Connectionc
has range
Connection Pointc
is inverse of
connects system throughop

connects system throughop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/connectsSystemThrough

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a connection point to one of the connections through which it connects its system.
has domain
Connection Pointc
has range
Connectionc
is inverse of
connects system atop

has sub systemop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/hasSubSystem

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a system to one of its sub systems.

has characteristics: inverse functional

has domain
Systemc
has range
Systemc
is inverse of
sub system ofop

sub system ofop back to ToC or Object Property ToC

IRI: https://ci.mines-stetienne.fr/seas/subSystemOf

is defined by
https://ci.mines-stetienne.fr/seas/SystemOntology
Links a system to its super system. Properties of subsystems somehow contribute to the properties of the super system. The exact meaning of _contribute_ is defined by sub properties of `seas:subSystemOf`. For example, if a fridge is a subsystem of a kitchen, then its consumption power contributes to the consumption power of the kitchen. Property `seas:subSystemOf` is functional, and should be asymmetric: ``` if x seas:subSystemOf y1 and x seas:subSystemOf y2, then y1 and y2 refer to the same resource. if x seas:subSystemOf y, then it can't be the case that y seas:subSystemOf x. ``` The asymmetric aspect of property `seas:subSystemOf` would prevents a system from being its own sub-system. Unfortunately, OWL 2 DL disallow a non-simple property (e.g., a functional property) from being asymmetric, see OWL 2 Syntax section 11. If it was possible that both the fridge and the kitchen be sub systems of a common super system, say, the house, then the consumption power of the fridge would contribute twice to the consumption power of the house. The functional aspect of property `seas:subSystemOf` prevents this undesired effect. Due to the open world assumption of RDF, it is not possible to model the closed set of sub systems of a system using property `seas:subSystemOf`.

has characteristics: functional

has domain
Systemc
has range
Systemc
is inverse of
has sub systemop

Named Individuals

system ontologyni back to ToC or Named Individual ToC

IRI: https://ci.mines-stetienne.fr/seas/SystemOntology

Current version:
v1.1
Previous version:
https://ci.mines-stetienne.fr/seas/SystemOntology-1.0 (visualise it with LODE)
belongs to
vocabularyc

Annotation Properties

contributorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/contributor

creatorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/creator

descriptionap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/description

issuedap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/issued

licenseap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/license

modifiedap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/modified

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

term statusap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2003/06/sw-vocab-status/ns#term_status

titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/title

Namespace Declarations back to ToC

default namespace
https://ci.mines-stetienne.fr/pep/
0-1
http://xmlns.com/foaf/0.1/
licenses
https://www.apache.org/licenses/
ns
http://www.w3.org/2003/06/sw-vocab-status/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#
seas
https://ci.mines-stetienne.fr/seas/
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.