@prefix : <http://w3id.org/explainability/sense#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://w3id.org/explainability/sense#> .

<http://w3id.org/explainability/sense#> rdf:type owl:Ontology ;
                                         <http://purl.org/dc/elements/1.1/contributor> "Gernot Steindl" ,
                                                                                       "Ioan Toma" ,
                                                                                       "Marta Sabou" ,
                                                                                       "Mohammad Bilal" ,
                                                                                       "Simon Steyskal" ,
                                                                                       "Thomas Frühwirth" ;
                                         <http://purl.org/dc/elements/1.1/created> "2023-11-01" ;
                                         <http://purl.org/dc/elements/1.1/creator> "Fajar J. Ekaputra" ,
                                                                                   "Katrin Ehrenmueller" ;
                                         <http://purl.org/dc/elements/1.1/description> "An ontology to create an explainable Cyber Physical System (CPS)"@en ;
                                         <http://purl.org/dc/elements/1.1/license> <https://creativecommons.org/licenses/by/4.0> ;
                                         <http://purl.org/dc/elements/1.1/modified> "2024-10-16" ;
                                         <http://purl.org/dc/elements/1.1/title> "SENSE Ontology"@en ,
                                                                                 "SENSE Ontology" ;
                                         <http://purl.org/vocab/vann/preferredNamespacePrefix> "sense" ;
                                         <http://purl.org/vocab/vann/preferredNamespaceUri> "http://w3id.org/explainability/sense#" ;
                                         owl:versionInfo "3.0" ;
                                         <https://w3id.org/mod#createdWith> <https://chowlk.linkeddata.es/> .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/elements/1.1/contributor
<http://purl.org/dc/elements/1.1/contributor> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/created
<http://purl.org/dc/elements/1.1/created> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/creator
<http://purl.org/dc/elements/1.1/creator> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/description
<http://purl.org/dc/elements/1.1/description> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/license
<http://purl.org/dc/elements/1.1/license> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/modified
<http://purl.org/dc/elements/1.1/modified> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/title
<http://purl.org/dc/elements/1.1/title> rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
<http://purl.org/vocab/vann/preferredNamespacePrefix> rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
<http://purl.org/vocab/vann/preferredNamespaceUri> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2002/07/owl#versionInfo
owl:versionInfo rdf:type owl:AnnotationProperty .


###  https://w3id.org/mod#createdWith
<https://w3id.org/mod#createdWith> rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  http://qudt.org/schema/qudt/hasUnit
<http://qudt.org/schema/qudt/hasUnit> rdf:type owl:ObjectProperty ;
                                      rdfs:range <http://qudt.org/schema/qudt/Unit> ;
                                      rdfs:comment "The unit associated with a quantity value."@en ;
                                      rdfs:label "unit"@en .


###  http://w3id.org/explainability/sense#allowsControlAccessTo
:allowsControlAccessTo rdf:type owl:ObjectProperty ;
                       rdfs:domain :AccessRight ;
                       rdfs:range :Platform ;
                       rdfs:comment "each access right defines access to a certain platform of the system. Access to this plaform means access to all sensors hosted by this platform. ontrol access rights define which parts of the system can be manipulated by this user role." ;
                       rdfs:label "allows control access to" .


###  http://w3id.org/explainability/sense#allowsViewAccessTo
:allowsViewAccessTo rdf:type owl:ObjectProperty ;
                    rdfs:domain :AccessRight ;
                    rdfs:range :Platform ;
                    rdfs:comment "each access right defines access to a certain platform of the system. Access to this plaform means access to all sensors hosted by this platform. View access rights define, which parts of the system can be viewed/contained in an explanation for this user role." ;
                    rdfs:label "allows view access to" .


###  http://w3id.org/explainability/sense#associatedPlatformType
:associatedPlatformType rdf:type owl:ObjectProperty ;
                        rdfs:domain :EventType ;
                        rdfs:range :PlatformType ;
                        rdfs:comment "each result type can only be detected at a specified platform type, the associated platform type." ;
                        rdfs:label "associated platform type" .


###  http://w3id.org/explainability/sense#associatedProperty
:associatedProperty rdf:type owl:ObjectProperty ;
                    rdfs:domain :EventType ;
                    rdfs:range :ObservableProperty ;
                    rdfs:comment "Each result type is detected by measurement of an observable Property, its associated Property." ;
                    rdfs:label "associated property" .


###  http://w3id.org/explainability/sense#bindsToSensor
:bindsToSensor rdf:type owl:ObjectProperty ;
               rdfs:domain :ParameterBinding ;
               rdfs:range :Sensor ;
               rdfs:comment "Relation between a ParameterBinding and the sensor to which it should bind." ;
               rdfs:label "binds to sensor" .


###  http://w3id.org/explainability/sense#cause
:cause rdf:type owl:ObjectProperty ;
       rdfs:domain :StateCausality ;
       rdfs:range :State ;
       rdfs:comment "Relation between a state type causality and the state type that is the cause of the relation." ;
       rdfs:label "cause" .


###  http://w3id.org/explainability/sense#considersAccessRights
:considersAccessRights rdf:type owl:ObjectProperty ;
                       rdfs:domain :Explanation ;
                       rdfs:range :AccessRight ;
                       rdfs:comment "Which access rights are considered in the explanation." ;
                       rdfs:label "considers access rights" .


###  http://w3id.org/explainability/sense#considersUserType
:considersUserType rdf:type owl:ObjectProperty ;
                   rdfs:domain :Explanation ;
                   rdfs:range :UserType ;
                   rdfs:comment "The technicality level, which is considered by an explanation." ;
                   rdfs:label "considers user type" .


###  http://w3id.org/explainability/sense#containsAccessRights
:containsAccessRights rdf:type owl:ObjectProperty ;
                      rdfs:domain :UserRole ;
                      rdfs:range :AccessRight ;
                      rdfs:comment "Each user role is connected to a set of access rights." ;
                      rdfs:label "contains access rights" .


###  http://w3id.org/explainability/sense#containsMitigationOption
:containsMitigationOption rdf:type owl:ObjectProperty ;
                          rdfs:domain :MitigationPlan ;
                          rdfs:range :MitigationOption ;
                          rdfs:comment "a list of mitigation options, contained in the mitigation plan." ;
                          rdfs:label "contains mitigation option" .


###  http://w3id.org/explainability/sense#designedFor
:designedFor rdf:type owl:ObjectProperty ;
             rdfs:domain :Explanation ;
             rdfs:range :User ;
             rdfs:comment "The user, for whom the explanation is designed." ;
             rdfs:label "designed for" .


###  http://w3id.org/explainability/sense#detectedEvent
:detectedEvent rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf <http://www.w3.org/ns/sosa/hasResult> ;
               rdfs:domain :Observation ;
               rdfs:range :Event ;
               rdfs:comment "subproperty of sosa:hasResult - relation from an Observation to its result" ;
               rdfs:label "detected event" .


###  http://w3id.org/explainability/sense#detectsEventType
:detectsEventType rdf:type owl:ObjectProperty ;
                  rdfs:domain :EventDetection ;
                  rdfs:range :EventType ;
                  rdfs:comment "relation from an Event Detection Procedure to the type of event it is designed to detect." ;
                  rdfs:label "detects event type" .


###  http://w3id.org/explainability/sense#effect
:effect rdf:type owl:ObjectProperty ;
        rdfs:domain :StateCausality ;
        rdfs:range :State ;
        rdfs:comment "Relation between a state type causality and the state type that is the effect of the relation." ;
        rdfs:label "effect" .


###  http://w3id.org/explainability/sense#explains
:explains rdf:type owl:ObjectProperty ;
          rdfs:domain :Explanation ;
          rdfs:range :State ;
          rdfs:comment "The state, which is explained by an explanation." ;
          rdfs:label "explains" .


###  http://w3id.org/explainability/sense#hasCausalSource
:hasCausalSource rdf:type owl:ObjectProperty ;
                 rdfs:domain :StateCausality ;
                 rdfs:range :StateTypeCausality ;
                 rdfs:comment "An RDF-star relation from a causallyRelated-triple to the state type causality, which is responsible for the causal relation." ;
                 rdfs:label "has causal source" .


###  http://w3id.org/explainability/sense#hasEndEvent
:hasEndEvent rdf:type owl:ObjectProperty ;
             rdfs:domain :State ;
             rdfs:range :Event ;
             rdfs:comment "relation between a state and the event that is ending the state." ;
             rdfs:label "has end event" .


###  http://w3id.org/explainability/sense#hasFeatureOfInterest
:hasFeatureOfInterest rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf <http://www.w3.org/ns/sosa/hasFeatureOfInterest> ;
                      rdfs:domain :Observation ;
                      rdfs:range :Platform ;
                      rdfs:comment "subproperty of sosa:hasFeatureOfInterest -  relation from an Execution to its subject entity" ;
                      rdfs:label "has feature of interest" .


###  http://w3id.org/explainability/sense#hasMitigationPlan
:hasMitigationPlan rdf:type owl:ObjectProperty ;
                   rdfs:domain :StateType ;
                   rdfs:range :MitigationPlan ;
                   rdfs:comment "each state type has a mitigation plan, which contains a list of mitigation options of a certain state type." ;
                   rdfs:label "has mitigation plan" .


###  http://w3id.org/explainability/sense#hasParameterBinding
:hasParameterBinding rdf:type owl:ObjectProperty ;
                     rdfs:domain :EventDetection ;
                     rdfs:range :ParameterBinding ;
                     rdfs:comment "Relation between the EventDetection procedure and a ParameterBinding." ;
                     rdfs:label "has parameter binding" .


###  http://w3id.org/explainability/sense#hasProperty
:hasProperty rdf:type owl:ObjectProperty ;
             rdfs:domain :PlatformType ;
             rdfs:range :ObservableProperty ;
             rdfs:comment "Each Plaformtype has observable properties, which can be observed. These properties are defining the states of a feature of interest." ;
             rdfs:label "has property" .


###  http://w3id.org/explainability/sense#hasStartEvent
:hasStartEvent rdf:type owl:ObjectProperty ;
               rdfs:domain :State ;
               rdfs:range :Event ;
               rdfs:comment "relation between a state and the event that is starting the state." ;
               rdfs:label "has start event" .


###  http://w3id.org/explainability/sense#hasUnit
:hasUnit rdf:type owl:ObjectProperty ;
         rdfs:subPropertyOf <http://qudt.org/schema/qudt/hasUnit> ;
         rdfs:domain :Sensor ;
         rdfs:range <http://qudt.org/schema/qudt/Unit> ;
         rdfs:comment "subproperty of qudt:hasUnit - A reference to the unit of measure of a quantity (variable or constant) of interest." ;
         rdfs:label "has unit" .


###  http://w3id.org/explainability/sense#hasUserRole
:hasUserRole rdf:type owl:ObjectProperty ;
             rdfs:domain :User ;
             rdfs:range :UserRole ;
             rdfs:comment "relation from a user to their user role." ;
             rdfs:label "has user role" .


###  http://w3id.org/explainability/sense#hasUserType
:hasUserType rdf:type owl:ObjectProperty ;
             rdfs:domain :User ;
             rdfs:range :UserType ;
             rdfs:comment "relation from a user to their user." ;
             rdfs:label "has user type" .


###  http://w3id.org/explainability/sense#hosts
:hosts rdf:type owl:ObjectProperty ;
       rdfs:subPropertyOf <http://www.w3.org/ns/sosa/hosts> ;
       owl:inverseOf :isHostedBy ;
       rdfs:domain :Platform ;
       rdfs:range :Platform ,
                  :Sensor ;
       rdfs:comment "subproperty of sosa:hosts -  relation from a Platform to an asset (System or Platform) hosted or mounted on it" ;
       rdfs:label "hosts" .


###  http://w3id.org/explainability/sense#interestedIn
:interestedIn rdf:type owl:ObjectProperty ;
              rdfs:domain :User ;
              rdfs:range :StateType ;
              rdfs:comment "A relation from a user to the state types a user is interested in." ;
              rdfs:label "interested in" .


###  http://w3id.org/explainability/sense#isHostedBy
:isHostedBy rdf:type owl:ObjectProperty ;
            rdfs:domain :Platform ,
                        :Sensor ;
            rdfs:range :Platform ;
            rdfs:comment "inverse relation of sense:hosts." ;
            rdfs:label "is hosted by" .


###  http://w3id.org/explainability/sense#isOfEventType
:isOfEventType rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf :isOfType ;
               rdfs:domain :Event ;
               rdfs:range :EventType ;
               rdfs:comment "Links an Event to its corresponding EventType." ;
               rdfs:label "is of event type" .


###  http://w3id.org/explainability/sense#isOfPlatformType
:isOfPlatformType rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf :isOfType ;
                  rdfs:domain :Platform ;
                  rdfs:range :PlatformType ;
                  rdfs:comment "Links a Platform to its platform type." ;
                  rdfs:label "is of platform type" .


###  http://w3id.org/explainability/sense#isOfStateType
:isOfStateType rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf :isOfType ;
               rdfs:domain :State ;
               rdfs:range :StateType ;
               rdfs:comment "Links a State to its state type." ;
               rdfs:label "is of state type" .


###  http://w3id.org/explainability/sense#isOfType
:isOfType rdf:type owl:ObjectProperty ;
          rdfs:comment "relation from an instance of a class to its class type via explicit typing." ;
          rdfs:label "is of type" .


###  http://w3id.org/explainability/sense#linkedToSensor
:linkedToSensor rdf:type owl:ObjectProperty ;
                rdfs:domain :VirtualSensor ;
                rdfs:range :Sensor ;
                rdfs:comment "It defines, which sensor measurements are needed to calculate the data of a virtual sensor." ;
                rdfs:label "linked to sensor" .


###  http://w3id.org/explainability/sense#madeObservation
:madeObservation rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf <http://www.w3.org/ns/sosa/madeObservation> ;
                 rdfs:domain :Sensor ;
                 rdfs:range :Observation ;
                 rdfs:comment "subproperty of sosa:madeObservation -  relation from a Sensor to an Observation or ObservationCollection it has made." ;
                 rdfs:label "made observation" .


###  http://w3id.org/explainability/sense#observedProperty
:observedProperty rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf <http://www.w3.org/ns/sosa/observedProperty> ;
                  rdfs:domain :Observation ;
                  rdfs:range :ObservableProperty ;
                  rdfs:comment "subproperty of sosa:observedProperty - relation from an Observation or ObservationCollection to the property that was observed" ;
                  rdfs:label "observed property" .


###  http://w3id.org/explainability/sense#observes
:observes rdf:type owl:ObjectProperty ;
          rdfs:subPropertyOf <http://www.w3.org/ns/sosa/observes> ;
          rdfs:domain :Sensor ;
          rdfs:range :ObservableProperty ;
          rdfs:comment "subproperty of sosa:observes -  relation from a Sensor to a Property that it is capable of sensing" ;
          rdfs:label "observes" .


###  http://w3id.org/explainability/sense#suggests
:suggests rdf:type owl:ObjectProperty ;
          rdfs:domain :Explanation ;
          rdfs:range :MitigationOption ;
          rdfs:comment "Mitigation options, which are suggested by an explanation based on a user control access rights." ;
          rdfs:label "suggests" .


###  http://w3id.org/explainability/sense#usedProcedure
:usedProcedure rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf <http://www.w3.org/ns/sosa/usedProcedure> ;
               rdfs:domain :Observation ;
               rdfs:range :EventDetection ;
               rdfs:comment "subproperty of sosa:usedProcedure - relation from an Execution to a Procedure used to make it" ;
               rdfs:label "used procedure" .


###  http://www.w3.org/ns/sosa/hasFeatureOfInterest
<http://www.w3.org/ns/sosa/hasFeatureOfInterest> rdf:type owl:ObjectProperty ;
                                                 rdfs:domain <http://www.w3.org/ns/sosa/Observation> ;
                                                 rdfs:range <http://www.w3.org/ns/sosa/FeatureOfInterest> ;
                                                 rdfs:comment "Links an observation to the feature of interest."@en ;
                                                 rdfs:label "has feature of interest"@en .


###  http://www.w3.org/ns/sosa/hasResult
<http://www.w3.org/ns/sosa/hasResult> rdf:type owl:ObjectProperty ;
                                      rdfs:domain <http://www.w3.org/ns/sosa/Observation> ;
                                      rdfs:range <http://www.w3.org/ns/sosa/Result> ;
                                      rdfs:comment "Relates an observation to its result."@en ;
                                      rdfs:label "has result"@en .


###  http://www.w3.org/ns/sosa/hosts
<http://www.w3.org/ns/sosa/hosts> rdf:type owl:ObjectProperty ;
                                  rdfs:domain <http://www.w3.org/ns/sosa/Platform> ;
                                  rdfs:range <http://www.w3.org/ns/sosa/Platform> ,
                                             <http://www.w3.org/ns/sosa/Sensor> ;
                                  rdfs:comment "Relates a platform to the platforms, and sensors it hosts."@en ;
                                  rdfs:label "hosts"@en .


###  http://www.w3.org/ns/sosa/madeObservation
<http://www.w3.org/ns/sosa/madeObservation> rdf:type owl:ObjectProperty ;
                                            rdfs:domain <http://www.w3.org/ns/sosa/Sensor> ;
                                            rdfs:range <http://www.w3.org/ns/sosa/Observation> ;
                                            rdfs:comment "Relates a sensor to an observation it made."@en ;
                                            rdfs:label "made observation"@en .


###  http://www.w3.org/ns/sosa/observedProperty
<http://www.w3.org/ns/sosa/observedProperty> rdf:type owl:ObjectProperty ;
                                             rdfs:domain <http://www.w3.org/ns/sosa/Observation> ;
                                             rdfs:range <http://www.w3.org/ns/sosa/ObservedProperty> ;
                                             rdfs:comment "The property being observed by a sensor."@en ;
                                             rdfs:label "observed property"@en .


###  http://www.w3.org/ns/sosa/observes
<http://www.w3.org/ns/sosa/observes> rdf:type owl:ObjectProperty ;
                                     rdfs:domain <http://www.w3.org/ns/sosa/Sensor> ;
                                     rdfs:range <http://www.w3.org/ns/sosa/ObservableProperty> ;
                                     rdfs:comment "Relates a sensor to the property it observes."@en ;
                                     rdfs:label "observes"@en .


###  http://www.w3.org/ns/sosa/usedProcedure
<http://www.w3.org/ns/sosa/usedProcedure> rdf:type owl:ObjectProperty ;
                                          rdfs:domain <http://www.w3.org/ns/sosa/Observation> ;
                                          rdfs:range <http://www.w3.org/ns/sosa/Procedure> ;
                                          rdfs:comment "Links an observation to the procedure used."@en ;
                                          rdfs:label "used procedure"@en .


#################################################################
#    Data properties
#################################################################

###  http://w3id.org/explainability/sense#bindsToLiteral
:bindsToLiteral rdf:type owl:DatatypeProperty ;
                rdfs:domain :ParameterBinding ;
                rdfs:range xsd:string ;
                rdfs:comment "Relation between a ParameterBinding and the literal to which it should bind to. Example: '5' could bind a value in a formula to the literal 5." ;
                rdfs:label "binds to literal" .


###  http://w3id.org/explainability/sense#causalRelation
:causalRelation rdf:type owl:DatatypeProperty ;
                rdfs:domain :StateTypeCausality ;
                rdfs:range xsd:string ;
                rdfs:comment "A type of causal relation, which can be one of three options: causes, prevents, enables" ;
                rdfs:label "causal relation" .


###  http://w3id.org/explainability/sense#dataSource
:dataSource rdf:type owl:DatatypeProperty ;
            rdfs:domain :Sensor ;
            rdfs:range xsd:string ;
            rdfs:comment "reference to the time series data that is collected by a Sensor." ;
            rdfs:label "data source" .


###  http://w3id.org/explainability/sense#definition
:definition rdf:type owl:DatatypeProperty ;
            rdfs:domain :EventDetection ;
            rdfs:range xsd:string ;
            rdfs:comment "Relation between an EventDetection procedure and the definition of what causes an event. The syntax and semantics of the definition depend on the employed method." ;
            rdfs:label "definition" .


###  http://w3id.org/explainability/sense#eventTime
:eventTime rdf:type owl:DatatypeProperty ;
           rdfs:domain :Event ;
           rdfs:range xsd:dateTime ;
           rdfs:comment "Timestamp of when the event is happening." ;
           rdfs:label "event time" .


###  http://w3id.org/explainability/sense#isTriggerStateType
:isTriggerStateType rdf:type owl:DatatypeProperty ;
                    rdfs:domain :StateType ;
                    rdfs:range xsd:boolean ;
                    rdfs:comment "A boolean value, whether a StateType is interesting to trigger and explanation." ;
                    rdfs:label "is trigger state type" .


###  http://w3id.org/explainability/sense#method
:method rdf:type owl:DatatypeProperty ;
        rdfs:domain :EventDetection ;
        rdfs:range xsd:string ;
        rdfs:comment "Relation between the EventDetection procedure and the employed event specification method. This specification method affects the syntax and semantics of the associated definition." ;
        rdfs:label "method" .


###  http://w3id.org/explainability/sense#origin
:origin rdf:type owl:DatatypeProperty ;
        rdfs:domain :VirtualSensor ;
        rdfs:range xsd:string ;
        rdfs:comment "The formula needed to calculated the measurements of a virtual sensor." ;
        rdfs:label "origin" .


###  http://w3id.org/explainability/sense#parameterName
:parameterName rdf:type owl:DatatypeProperty ;
               rdfs:domain :ParameterBinding ;
               rdfs:range xsd:string ;
               rdfs:comment "Relation between a ParameterBinding and its name." ;
               rdfs:label "parameter name" .


###  http://w3id.org/explainability/sense#temporalRelation
:temporalRelation rdf:type owl:DatatypeProperty ;
                  rdfs:domain :StateTypeCausality ;
                  rdfs:range xsd:string ;
                  rdfs:comment "A type of temporal relation, which can be one of four options: before, overlaps, contains, identity" ;
                  rdfs:label "temporal relation" .


###  http://w3id.org/explainability/sense#topologicalRelation
:topologicalRelation rdf:type owl:DatatypeProperty ;
                     rdfs:domain :StateTypeCausality ;
                     rdfs:range xsd:string ;
                     rdfs:comment "A type of topological relation, which can be one of three options: samePlatform, siblingPlatform, parentPlatform" ;
                     rdfs:label "topological relation" .


#################################################################
#    Classes
#################################################################

###  http://qudt.org/schema/qudt/Unit
<http://qudt.org/schema/qudt/Unit> rdf:type owl:Class ;
                                   rdfs:comment "A unit of measurement, e.g., meter, second, kilogram."@en ;
                                   rdfs:label "Unit"@en .


###  http://w3id.org/explainability/sense#AccessRight
:AccessRight rdf:type owl:Class ;
             rdfs:comment "Access Rights, defining access to platforms of the system." ;
             rdfs:label "Access Right" .


###  http://w3id.org/explainability/sense#Event
:Event rdf:type owl:Class ;
       owl:disjointWith :State ;
       rdfs:comment "something happening in the system, which is of interest. An event is always considered to be happening at a single time point." ;
       rdfs:label "Event" .


###  http://w3id.org/explainability/sense#EventDetection
:EventDetection rdf:type owl:Class ;
                rdfs:comment "A procedure to detect an event in the system. The method of this procedure defines which event specification method is used. The definition of a procedure defines the exact conditions for detecting an event and is formulated according to the method employed." ;
                rdfs:label "Event Detection" .


###  http://w3id.org/explainability/sense#EventType
:EventType rdf:type owl:Class ;
           owl:disjointWith :StateType ;
           rdfs:comment "A type of event. Each event has an event type." ;
           rdfs:label "Event Type" .


###  http://w3id.org/explainability/sense#Explanation
:Explanation rdf:type owl:Class ;
             rdfs:comment "A user-centered, actionable explanation, designed for a specific user, explaining the root cause of a specific state." ;
             rdfs:label "Explanation" .


###  http://w3id.org/explainability/sense#MitigationOption
:MitigationOption rdf:type owl:Class ;
                  rdfs:comment "A mitigation option for a state type." ;
                  rdfs:label "Mitigation Option" .


###  http://w3id.org/explainability/sense#MitigationPlan
:MitigationPlan rdf:type owl:Class ;
                rdfs:comment "A mitigation plan for a type of state." ;
                rdfs:label "Mitigation Plan" .


###  http://w3id.org/explainability/sense#ObservableProperty
:ObservableProperty rdf:type owl:Class ;
                    rdfs:comment "subclass of sosa:ObservableProperty - identifiable quality of a FeatureOfInterest that can be observed " ;
                    rdfs:label "Observable Property" .


###  http://w3id.org/explainability/sense#Observation
:Observation rdf:type owl:Class ;
             rdfs:comment "subclass of sosa:Observation - act of carrying out an ObservingProcedure using a Sensor to estimate or calculate a value of an observable Property of a FeatureOfInterest" ;
             rdfs:label "Observation" .


###  http://w3id.org/explainability/sense#ParameterBinding
:ParameterBinding rdf:type owl:Class ;
                  rdfs:comment "A parameter binding connects parameters from the EventDetection's definition to a literal or a sensor. Examples of parameters are the variables in a formula." ;
                  rdfs:label "Parameter Binding" .


###  http://w3id.org/explainability/sense#Platform
:Platform rdf:type owl:Class ;
          rdfs:comment "subclass of sosa:Plaform - entity that hosts other entities, particularly Systems, and other Platforms." ;
          rdfs:label "Platform" .


###  http://w3id.org/explainability/sense#PlatformType
:PlatformType rdf:type owl:Class ;
              rdfs:comment "A type of Platform. Each Platform has a Platform Type." ;
              rdfs:label "Platform Type" .


###  http://w3id.org/explainability/sense#Sensor
:Sensor rdf:type owl:Class ;
        rdfs:comment "subclass of sosa:Sensor - System that implements an ObservingProcedure to determine the value of an observable Property" ;
        rdfs:label "Sensor" .


###  http://w3id.org/explainability/sense#State
:State rdf:type owl:Class ;
       rdfs:comment "A state of a sensor. A state is a condition of a sensor over a period of time. A state is started and ended by an event." ;
       rdfs:label "State" .


###  http://w3id.org/explainability/sense#StateCausality
:StateCausality rdf:type owl:Class ;
                rdfs:comment "A causal relation between two state instances." ;
                rdfs:label "State Causality" .


###  http://w3id.org/explainability/sense#StateType
:StateType rdf:type owl:Class ;
           rdfs:comment "A type of a state. Each state has a state type." ;
           rdfs:label "State Type" .


###  http://w3id.org/explainability/sense#StateTypeCausality
:StateTypeCausality rdf:type owl:Class ;
                    rdfs:comment "A type causality relation between two state types." ;
                    rdfs:label "State Type Causality" .


###  http://w3id.org/explainability/sense#User
:User rdf:type owl:Class ;
      rdfs:comment "A system user, who requires explanations." ;
      rdfs:label "User" .


###  http://w3id.org/explainability/sense#UserRole
:UserRole rdf:type owl:Class ;
          rdfs:comment "User role in terms of access rights. each user has a user role, which allows them access to a part of the system." ;
          rdfs:label "User Role" .


###  http://w3id.org/explainability/sense#UserType
:UserType rdf:type owl:Class ;
          rdfs:comment "Type of user, in terms of technicality level. Each user has a preferred means of explanation and technicality level, which is defined by this class." ;
          rdfs:label "User Type" .


###  http://w3id.org/explainability/sense#VirtualSensor
:VirtualSensor rdf:type owl:Class ;
               rdfs:subClassOf :Sensor ;
               rdfs:comment "A sensor, which implicitly collects data about the system. This sensor data is not collected directly, but it can be calculated through a combination of other sensors." ;
               rdfs:label "Virtual Sensor" .


###  http://www.w3.org/ns/sosa/FeatureOfInterest
<http://www.w3.org/ns/sosa/FeatureOfInterest> rdf:type owl:Class ;
                                              rdfs:comment "The real-world feature that is being observed."@en ;
                                              rdfs:label "Feature of Interest"@en .


###  http://www.w3.org/ns/sosa/ObservableProperty
<http://www.w3.org/ns/sosa/ObservableProperty> rdf:type owl:Class ;
                                               rdfs:comment "A property that can be observed using a sensor."@en ;
                                               rdfs:label "Observable Property"@en .


###  http://www.w3.org/ns/sosa/Observation
<http://www.w3.org/ns/sosa/Observation> rdf:type owl:Class ;
                                        rdfs:comment "An act of observing a property of a feature of interest."@en ;
                                        rdfs:label "Observation"@en .


###  http://www.w3.org/ns/sosa/ObservedProperty
<http://www.w3.org/ns/sosa/ObservedProperty> rdf:type owl:Class ;
                                             rdfs:comment "A property that can be observed by a sensor."@en ;
                                             rdfs:label "Observed Property"@en .


###  http://www.w3.org/ns/sosa/Platform
<http://www.w3.org/ns/sosa/Platform> rdf:type owl:Class ;
                                     rdfs:comment "A physical or virtual entity that hosts sensors."@en ;
                                     rdfs:label "Platform"@en .


###  http://www.w3.org/ns/sosa/Procedure
<http://www.w3.org/ns/sosa/Procedure> rdf:type owl:Class ;
                                      rdfs:comment "The method or protocol used to make an observation."@en ;
                                      rdfs:label "Procedure"@en .


###  http://www.w3.org/ns/sosa/Result
<http://www.w3.org/ns/sosa/Result> rdf:type owl:Class ;
                                   rdfs:comment "The outcome of an observation."@en ;
                                   rdfs:label "Result"@en .


###  http://www.w3.org/ns/sosa/Sensor
<http://www.w3.org/ns/sosa/Sensor> rdf:type owl:Class ;
                                   rdfs:comment "A device or agent that performs observations."@en ;
                                   rdfs:label "Sensor"@en .


#################################################################
#    Annotations
#################################################################

:detectedBy rdfs:comment "each event type is detected by an event detection method." .


:hasPlatformType rdfs:comment "A relation between a Plaform and its Platformtype." .


###  Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/
