# for example s4syst-ex:exchangesElectricityWith can be defined to specify that electric energy flows between the <electric_vehicle_service_equipment> and the electric vehicle <electric_vehicle>.
dcterms:description"SAREF4SYST is a generic extension of SAREF that defines ontology patterns which can then be instantiated for different domains. SAREF4SYST defines Systems, Connections between systems, and Connection Points at which systems may be connected. These core concepts can be used generically to define the topology of features of interest, and are specialized for multiple domains. This ontology patterns can be instantiated for different domains. For example to describe zones inside a building (systems), that share a frontier (connections). SAREF4SYST has two main aims: on the one hand, to extend SAREF with the capacility or representing general topology of systems and how they are connected or interact, and on the other hand, to exemplify how ontology patterns may help to ensure an homogeneous structure of the overall SAREF ontology and speed up the development of extensions. SAREF4SYST is specified and published by ETSI in the TS 103 548 associated to this ontology file."@en;
rdfs:comment"""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. Systems can also have subsystems. Properties of subsystems somehow contribute to the properties of the supersystem."""@en.
rdfs:comment"""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 s4syst:connectedTo. Property s4syst:connectedTo is symmetric. This property can be qualified using class s4syst:Connection, which connects the two systems. If there is a connection between several systems, then one may infer these systems are pairwise connected."""@en;
rdfs:comment"""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 s4syst:subSystemOf. Property s4syst:subSystemOf is transitive."""@en;
rdfs:comment"""Links a system to one of its sub systems."""@en;
rdfs:domains4syst:System;
rdfs:ranges4syst:System;
owl:inverseOfs4syst:subSystemOf.
# connections
s4syst:ConnectionModuleagopi:Module.
s4syst:Connectionaowl:Class;
gopi:inModules4syst:ConnectionModule;
rdfs:label"Connection"@en;
rdfs:comment"""The class of connections between systems. This class qualifies property s4syst:connectedTo. A connection describes potential interactions between systems. Any two connected systems are connected through a connection. A connection can connect more than two systems at the same time."""@en;
# this axiom is not true: it would imply that every connected system is connected to itself
# connection points
s4syst:ConnectionPointModuleagopi:Module.
s4syst:ConnectionPointaowl:Class;
gopi:inModules4syst:ConnectionPointModule;
rdfs:label"Connection Point"@en;
rdfs:comment"""The class of connection points of systems, at which they may be connected to other systems. This class qualifies properties s4syst:connectsSystem and s4syst:connectedThrough. A connection point belongs to exactly one system. Any system connected through a connection is connected at one of its connection points to the connection. The system of a connection point that is connected through a connection is itself connected through the connection."""@en;
