Definition of s4envi:hasComponent
Defined in https://saref.etsi.org/saref4envi/v1.1.2/ as:
A relation between a system and the system in which it might be decomposed.
Description as an Object Property
- has characteristics
- transitive
- is inverse of
- s4envi:isComponentOf
Turtle
@prefix dct: <http://purl.org/dc/terms/> .
@prefix ns1: <http://www.w3.org/2004/02/skos/core#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix s4envi: <https://saref.etsi.org/saref4envi/> .
s4envi:System rdfs:subClassOf [ a owl:Restriction ;
owl:allValuesFrom s4envi:System ;
owl:onProperty s4envi:hasComponent ] .
s4envi:hasComponent a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "has component"@en ;
dct:isReferencedBy <https://saref.etsi.org/saref4envi/v1.1.2/> ;
rdfs:comment "A relation between a system and the system in which it might be decomposed."@en ;
rdfs:isDefinedBy <https://saref.etsi.org/saref4envi/v1.1.2/> ;
rdfs:seeAlso <https://saref.etsi.org/saref4envi/v1.1.2/> ;
owl:inverseOf s4envi:isComponentOf ;
ns1:hiddenLabel "hasComponent" .
<https://saref.etsi.org/saref4envi/v1.1.2/> dct:references s4envi:hasComponent ;
dct:subject s4envi:hasComponent .