diff --git a/ssn/chapters/Actuation.html b/ssn/chapters/Actuation.html index e5bf6da9..a4238472 100644 --- a/ssn/chapters/Actuation.html +++ b/ssn/chapters/Actuation.html @@ -62,12 +62,14 @@
sosa:ActuatingProcedure
sosa:Procedure
-
Restriction
-
- sosa:implementedBy - ONLY - sosa:Actuator -
+
+
Restrictions in SSN
+
+ sosa:implementedBy + ONLY + sosa:Actuator +
+
is Defined By
http://www.w3.org/ns/sosa/oms/ @@ -137,24 +139,26 @@
sosa:Actuation
sosa:Execution
-
Restrictions in SSN
-
- sosa:madeByActuator - ONLY - sosa:Actuator -
- sosa:usedProcedure - ONLY - sosa:ActuatingProcedure -
- sosa:hasFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
- sosa:actsOnProperty - ONLY - sosa:Property -
+
+
Restrictions in SSN
+
+ sosa:madeByActuator + ONLY + sosa:Actuator +
+ sosa:usedProcedure + ONLY + sosa:ActuatingProcedure +
+ sosa:hasFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
+ sosa:actsOnProperty + ONLY + sosa:Property +
+
is Defined By
http://www.w3.org/ns/sosa/actuation/ @@ -208,7 +212,8 @@
sosa:ActuationCollection
  • Where an individual ActuationCollection has a - single value for a property, each member Actuation (direct or transitive) MUST have that same value for that property; i.e., the collection is + single value for a property, each member Actuation (direct or + transitive) MUST have that same value for that property; i.e., the collection is homogeneous in that property. That property MAY then be omitted in any member Actuation or @@ -222,13 +227,13 @@
    sosa:ActuationCollection
  • Where an individual ActuationCollection has a - value for a property that is a range or interval, each member + value for a property that is a range or interval, each member Actuation (direct or transitive) MUST have a value for that property that matches or falls within that range or interval.
  • Where an individual ActuationCollection has - more than one value for a property that is a range or interval, each member + more than one value for a property that is a range or interval, each member Actuation (direct or transitive) MUST have a value for that property that matches or falls within one of those ranges or intervals.
  • @@ -247,35 +252,37 @@
    sosa:ActuationCollection
    sosa:ExecutionCollection
    -
    Disjoint with
    -
    - sosa:ObservationCollection, - sosa:SampleCollection, - sosa:SamplingCollection -
    -
    Restrictions in SSN
    -
    - sosa:madeByActuator - ONLY - sosa:Actuator -
    - sosa:usedProcedure - ONLY - sosa:ActuatingProcedure -
    - sosa:hasFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
    - sosa:actsOnProperty - ONLY - sosa:Property -
    - sosa:hasMember - ONLY - (sosa:Actuation or - sosa:ActuationCollection) -
    +
    +
    Disjoint with
    +
    + sosa:ObservationCollection, + sosa:SampleCollection, + sosa:SamplingCollection +
    +
    Restrictions in SSN
    +
    + sosa:madeByActuator + ONLY + sosa:Actuator +
    + sosa:usedProcedure + ONLY + sosa:ActuatingProcedure +
    + sosa:hasFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
    + sosa:actsOnProperty + ONLY + sosa:Property +
    + sosa:hasMember + ONLY + (sosa:Actuation or + sosa:ActuationCollection) +
    +
    is Defined By
    http://www.w3.org/ns/sosa/actuation/ @@ -310,7 +317,8 @@
    sosa:Actuator

    Specific actuator types may be implemented as sub-classes of this class or its sub-classes. - Their descriptions may capture the properties and characteristics of a whole class of actuators, corresponding with the information typically found in a spec-sheet or + Their descriptions may capture the properties and characteristics of a whole class of actuators, + corresponding with the information typically found in a spec-sheet or data-sheet.
    Individual actuator instances are members of this class or its sub-classes. @@ -327,21 +335,23 @@

    sosa:Actuator
    sosa:System
    -
    Restrictions in SSN
    -
    - sosa:madeActuation - ONLY - (sosa:Actuation or - sosa:ActuationCollection) -
    - sosa:actsOn - ONLY - sosa:Property -
    - sosa:implements - ONLY - sosa:ActuatingProcedure -
    +
    +
    Restrictions in SSN
    +
    + sosa:madeActuation + ONLY + (sosa:Actuation or + sosa:ActuationCollection) +
    + sosa:actsOn + ONLY + sosa:Property +
    + sosa:implements + ONLY + sosa:ActuatingProcedure +
    +
    is Defined By
    http://www.w3.org/ns/sosa/actuation/ diff --git a/ssn/chapters/Common.html b/ssn/chapters/Common.html index 27a3aff9..dc2c9b6d 100644 --- a/ssn/chapters/Common.html +++ b/ssn/chapters/Common.html @@ -114,21 +114,23 @@
    sosa:FeatureOfInterest
    sosa:FeatureOfInterest for an automatic window control sosa:Actuation.
    -
    Restrictions in SSN
    -
    - sosa:isFeatureOfInterestOf - SOME - (sosa:Execution OR sosa:Deployment) -
    - sosa:hasProperty - ONLY - sosa:Property -
    - sosa:hasSample - ONLY - sosa:Sample -
    -
    +
    +
    Restrictions in SSN
    +
    + sosa:isFeatureOfInterestOf + SOME + (sosa:Execution OR sosa:Deployment) +
    + sosa:hasProperty + ONLY + sosa:Property +
    + sosa:hasSample + ONLY + sosa:Sample +
    +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -177,34 +179,36 @@
    sosa:Property

    Windows have a property "open state".
    -
    Restrictions in SSN
    -
    - sosa:hasProcedure - ONLY - sosa:Procedure -
    - sosa:isPropertyOf - ONLY - sosa:FeatureOfInterest -
    - sosa:isActedOnBy - ONLY - sosa:Actuator -
    - sosa:wasActedOnBy - ONLY - (sosa:Actuation OR - sosa:ActuationCollection) -
    - sosa:isObservedBy - ONLY - sosa:Sensor -
    - sosa:wasObservedBy - ONLY - (sosa:Observation OR - sosa:ObservationCollection) -
    +
    +
    Restrictions in SSN
    +
    + sosa:hasProcedure + ONLY + sosa:Procedure +
    + sosa:isPropertyOf + ONLY + sosa:FeatureOfInterest +
    + sosa:isActedOnBy + ONLY + sosa:Actuator +
    + sosa:wasActedOnBy + ONLY + (sosa:Actuation OR + sosa:ActuationCollection) +
    + sosa:isObservedBy + ONLY + sosa:Sensor +
    + sosa:wasObservedBy + ONLY + (sosa:Observation OR + sosa:ObservationCollection) +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -552,16 +556,18 @@
    sosa:Procedure
    It is included in the ontology to support the definition of a common pattern for executions and their properties.
    -
    Restrictions in SSN
    -
    - sosa:implementedBy - ONLY - sosa:System -
    - sosa:forProperty - ONLY - sosa:Property -
    +
    +
    Restrictions in SSN
    +
    + sosa:implementedBy + ONLY + sosa:System +
    + sosa:forProperty + ONLY + sosa:Property +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -967,31 +973,33 @@
    sosa:Execution
    executions and their properties.

    - Execution is considered to be abstract. + Execution is considered to be abstract. Individual Executions SHOULD be typed with one of the (concrete) sub-classes of Execution.
    -
    Restrictions in SSN
    -
    - sosa:madeBySystem - ONLY - sosa:System -
    - sosa:usedProcedure - ONLY - sosa:Procedure -
    - sosa:hasFeatureOfInterest - SOME - sosa:FeatureOfInterest -
    - sosa:hasFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
    - sosa:hasUltimateFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
    +
    +
    Restrictions in SSN
    +
    + sosa:madeBySystem + ONLY + sosa:System +
    + sosa:usedProcedure + ONLY + sosa:Procedure +
    + sosa:hasFeatureOfInterest + SOME + sosa:FeatureOfInterest +
    + sosa:hasFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
    + sosa:hasUltimateFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -1087,32 +1095,35 @@
    sosa:ExecutionCollection
    executions and their properties.

    - ExecutionCollection is considered to be abstract. - Individual execution collections SHOULD be typed with one of the (concrete) sub-classes of ExecutionCollection. -
    -
    Restrictions in SSN
    -
    - sosa:madeBySystem - ONLY - sosa:System -
    - sosa:usedProcedure - ONLY - sosa:Procedure -
    - sosa:hasFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
    - sosa:hasUltimateFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
    - sosa:hasMember - ONLY - (sosa:Execution OR - sosa:ExecutionCollection) -
    + ExecutionCollection is considered to be abstract. + Individual execution collections SHOULD be typed with one of the (concrete) sub-classes of + ExecutionCollection. + +
    +
    Restrictions in SSN
    +
    + sosa:madeBySystem + ONLY + sosa:System +
    + sosa:usedProcedure + ONLY + sosa:Procedure +
    + sosa:hasFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
    + sosa:hasUltimateFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
    + sosa:hasMember + ONLY + (sosa:Execution OR + sosa:ExecutionCollection) +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -1607,7 +1618,7 @@
    sosa:madeBySystem
    and their properties.

    - madeBySystem is considered to be abstract. + madeBySystem is considered to be abstract. Applications SHOULD use concrete sub-properties of madeBySystem.
    Domain Includes
    @@ -1919,7 +1930,8 @@
    Overview

    - A sosa:Deployment is an arrangement of Assets (typically Systems and Platforms) with the intention of + A sosa:Deployment is an arrangement of Assets (typically Systems and Platforms) with the + intention of executing actuation, observation, or sampling procedures with respect to designated features of interest for a specified time interval.

    @@ -1980,19 +1992,21 @@
    sosa:Asset
    It is included in the ontology to support the definition of a common pattern for deployments.

    - Asset is considered to be abstract. + Asset is considered to be abstract. Individual assets SHOULD be typed with one of the (concrete) sub-classes of Asset. -
    Restrictions in SSN
    -
    - sosa:hasDeployment - ONLY - sosa:Deployment -
    - sosa:isHostedBy - ONLY - sosa:Platform -
    +
    +
    Restrictions in SSN
    +
    + sosa:hasDeployment + ONLY + sosa:Deployment +
    + sosa:isHostedBy + ONLY + sosa:Platform +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -2032,24 +2046,26 @@
    sosa:Deployment
    A sosa:Deployment can be used quite flexibly to describe the use of systems, and platforms that host systems, with respect to a feature of interest.
    -
    Restrictions in SSN
    -
    - sosa:deployedAsset - ONLY - sosa:Asset -
    - sosa:deployedOnPlatform - ONLY - sosa:Platform -
    - sosa:deployedSystem - ONLY - sosa:System -
    - sosa:hasFeatureOfInterest - ONLY - sosa:FeatureOfInterest -
    +
    +
    Restrictions in SSN
    +
    + sosa:deployedAsset + ONLY + sosa:Asset +
    + sosa:deployedOnPlatform + ONLY + sosa:Platform +
    + sosa:deployedSystem + ONLY + sosa:System +
    + sosa:hasFeatureOfInterest + ONLY + sosa:FeatureOfInterest +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -2097,16 +2113,18 @@
    sosa:Platform

    A team performing a survey, where each team member would be modeled as an Observer.
    -
    Restrictions in SSN
    -
    - sosa:hosts - ONLY - sosa:Asset -
    - sosa:inDeployment - ONLY - sosa:Deployment -
    +
    +
    Restrictions in SSN
    +
    + sosa:hosts + ONLY + sosa:Asset +
    + sosa:inDeployment + ONLY + sosa:Deployment +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -2160,7 +2178,7 @@
    sosa:System
    pattern for executions and their properties.

    - System is considered to be abstract. + System is considered to be abstract. Individual systems SHOULD be typed with one of the (concrete) sub-classes of System.
    Scope note
    @@ -2185,37 +2203,39 @@
    sosa:System
    A sosa:System can be deployed for a specified time interval as part of a sosa:Deployment. -
    Restrictions in SSN
    -
    - sosa:isHostedBy - ONLY - sosa:Platform -
    - sosa:implements - ONLY - sosa:Procedure -
    - sosa:forProperty - ONLY - sosa:Property -
    - sosa:hasSubSystem - ONLY - sosa:System -
    - sosa:isSubSystemOf - ONLY - sosa:System -
    - sosa:hasDeployment - ONLY - sosa:Deployment -
    - sosa:madeExecution - ONLY - (sosa:Execution OR - sosa:ExecutionCollection) -
    +
    +
    Restrictions in SSN
    +
    + sosa:isHostedBy + ONLY + sosa:Platform +
    + sosa:implements + ONLY + sosa:Procedure +
    + sosa:forProperty + ONLY + sosa:Property +
    + sosa:hasSubSystem + ONLY + sosa:System +
    + sosa:isSubSystemOf + ONLY + sosa:System +
    + sosa:hasDeployment + ONLY + sosa:Deployment +
    + sosa:madeExecution + ONLY + (sosa:Execution OR + sosa:ExecutionCollection) +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -2435,11 +2455,13 @@
    sosa:hosts
    sosa:isHostedBy
    -
    Super property of chain
    -
    - sosa:inDeployment o - sosa:deployedSystem -
    +
    +
    Super property of chain
    +
    + sosa:inDeployment o + sosa:deployedSystem +
    +
    is Defined By
    http://www.w3.org/ns/sosa/common/ @@ -2823,12 +2845,12 @@
    sosa:hasMember
    -
    +
    sosa:isMemberOf
    -

    IRI: http://www.w3.org/ns/sosa/memberOf

    +

    IRI: http://www.w3.org/ns/sosa/isMemberOf

    an OWL Object Property

    -

    memberOf added in 2023 Edition. +

    isMemberOf added in 2023 Edition. This term is non-normative, pending further implementation experience

    is member of collection — diff --git a/ssn/chapters/Conformance.html b/ssn/chapters/Conformance.html index b330129d..2a6d0611 100644 --- a/ssn/chapters/Conformance.html +++ b/ssn/chapters/Conformance.html @@ -1,3 +1,5 @@ +

    General conformance requirements

    +

    Data conforms to SSN if:

    @@ -129,15 +131,15 @@

    -
    +
    -
    +
    -
    +
    -
    +

    Specification

    This section introduces the specifications for the Semantic Sensor Network Ontology and its RDF implementation. @@ -183,8 +185,8 @@

    Alignments

    - -
    + +
    @@ -263,20 +265,20 @@

    Change History

    Changes since W3C Recommendation 19 October 2017 (https://www.w3.org/TR/2017/REC-vocab-ssn-20171019/)

      -
    1. Added IDO alignment.
    2. -
    3. Updated Abstract to reflect the revised graph and axiomatization design
    4. +
    5. Updated Abstract to reflect the revised graph and axiomatization design
    6. Updated and streamlined Introduction; moved Origins section to an Annex.
    7. -
    8. Updated Chapter 2 'Modularization' to simplify and to reflect the revised graph arrangement
    9. Add conformance clause Chapter 3
    10. Updated Chapter 4 and Chapter 5.1 to explain modularization and RDF implementation
    11. +
    12. OGC ModSpec explanation in Chapter 3. Conformance, and tabulations in Chapter 4 - Modularization
    13. Refactored SOSA and SSN into modules - sosa-common sosa-actuation sosa-observation sosa-sampling sosa (all), and matching ssn-* files (also ssn-deprecated). Refactored HTML sources to match.
    14. +
    15. Moved basic rdfs:sub*Of axioms to the SOSA modules, reference RDFS-Plus
    16. re-drafted all figures as SVG; added a clause on notation
    17. Mark `ssn:Input`, `ssn:Output`, `sosa:Result` deprecated
    18. -
    19. Add 'abstract' superclasses `Execution`, `Asset`
    20. +
    21. Add 'abstract' superclasses `Execution` (superclass of Actuation, Observation and Sampling), `Asset` (superclass of Platform and System)
    22. Add `ExecutionCollection`, `ActuationCollection`, `ObservationCollection`, `SamplingCollection`, - `SampleCollection`, `hasMember`, `isMemberOf`
    23. + `SampleCollection`, `hasMember`, `isMemberOf`
    24. remove `rdfs:range` on `resultTime`
    25. Clarify meaning of `hasResult`, `resultTime`, `phenomenonTime` in the context of `Actuations`
    26. Add `startTime` property
    27. @@ -286,10 +288,10 @@

      Changes since W3C Recommendation 19 October 2017 Update OBOE alignment - using `ObservationCollection`, `SampleCollection`, `hasMember`
    28. Retire O&Mv2 alignment - superseded by OMS extension
    29. Retire SSNX alignment - incubator version is now two generations back
    30. +
    31. Added IDO alignment.
    32. Fully revise Common Modeling patterns, also with diagrams
    33. Make patterns for Location, UoM more prescriptive
    34. Move extended examples out of the document into an online repository
    35. Relaxed and simplified SOSA-DUL alignment
    36. -
    37. Moved basic rdfs:sub*Of axioms to the SOSA modules, reference RDFS-Plus
    diff --git a/ssn/rdf/ontology/core/ssn-actuation.ttl b/ssn/rdf/ontology/core/ssn-actuation.ttl index 9c015883..e0b75fe3 100644 --- a/ssn/rdf/ontology/core/ssn-actuation.ttl +++ b/ssn/rdf/ontology/core/ssn-actuation.ttl @@ -83,155 +83,3 @@ sosa:Actuator ] ] ; rdfs:isDefinedBy sosa-act: . - -sosa:actsOn - rdfs:isDefinedBy sosa-act: . - -sosa:actsOnProperty - rdfs:isDefinedBy sosa-act: . - -sosa:isActedOnBy - rdfs:isDefinedBy sosa-act: . - -sosa:madeActuation - rdfs:isDefinedBy sosa-act: . - -sosa:madeByActuator - rdfs:isDefinedBy sosa-act: . - -sosa:wasActedOnBy - rdfs:isDefinedBy sosa-act: . - -## Actuation Collection - -## End of actuation schema -## -------------------------------------------------------- ## -## additional axioms for sosa-common: terms in actuation context - -## Utility terms - -sosa:hasMember - rdfs:isDefinedBy sosa-common: . - - -## Features of interest and Property - -sosa:FeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:hasFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:hasUltimateFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:isFeatureOfInterestOf - rdfs:isDefinedBy sosa-common: . - -sosa:Property - rdfs:isDefinedBy sosa-common: . - -sosa:hasProperty - rdfs:isDefinedBy sosa-common: . - -sosa:isPropertyOf - rdfs:isDefinedBy sosa-common: . - -sosa:forProperty - rdfs:isDefinedBy sosa-common: . - - -## Procedures - -sosa:Procedure - rdfs:isDefinedBy sosa-common: . - -sosa:hasInput - rdfs:isDefinedBy sosa-common: . - -sosa:hasOutput - rdfs:isDefinedBy sosa-common: . - -sosa:usedProcedure - rdfs:isDefinedBy sosa-common: . - -## Executions - -sosa:Execution - rdfs:isDefinedBy sosa-common: . - -sosa:hasInputValue - rdfs:isDefinedBy sosa-common: . - -sosa:startTime - rdfs:isDefinedBy sosa-common: . - -sosa:resultTime - rdfs:isDefinedBy sosa-common: . - -sosa:phenomenonTime - rdfs:isDefinedBy sosa-common: . - - -## Result - -sosa:hasResult - rdfs:isDefinedBy sosa-common: . - -sosa:isResultOf - rdfs:isDefinedBy sosa-common: . - -sosa:hasSimpleResult - rdfs:isDefinedBy sosa-common: . - - -## Assets - -sosa:Asset - rdfs:isDefinedBy sosa-common: . - -## Systems - -sosa:System - rdfs:isDefinedBy sosa-common: . - -sosa:hasSubSystem - rdfs:isDefinedBy sosa-common: . - -sosa:implements - rdfs:isDefinedBy sosa-common: . - -sosa:implementedBy - rdfs:isDefinedBy sosa-common: . - - -## Deployment - -sosa:Deployment - rdfs:isDefinedBy sosa-common: . - -sosa:deployedAsset - rdfs:isDefinedBy sosa-common: . - -sosa:deployedSystem - rdfs:isDefinedBy sosa-common: . - -sosa:hasDeployment - rdfs:isDefinedBy sosa-common: . - -sosa:deployedOnPlatform - rdfs:isDefinedBy sosa-common: . - -sosa:inDeployment - rdfs:isDefinedBy sosa-common: . - -## Platform - -sosa:Platform - rdfs:isDefinedBy sosa-common: . - -sosa:hosts - rdfs:isDefinedBy sosa-common: . - -sosa:isHostedBy - rdfs:isDefinedBy sosa-common: . diff --git a/ssn/rdf/ontology/core/ssn-common.ttl b/ssn/rdf/ontology/core/ssn-common.ttl index 5e388e44..059d9479 100644 --- a/ssn/rdf/ontology/core/ssn-common.ttl +++ b/ssn/rdf/ontology/core/ssn-common.ttl @@ -26,12 +26,6 @@ ssn-common: owl:imports sosa-common: ; . -## Utility terms - -sosa:hasMember - rdfs:isDefinedBy sosa-common: . - - ## Features of interest and Property sosa:FeatureOfInterest @@ -55,28 +49,6 @@ sosa:Property rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasProcedure ; owl:allValuesFrom sosa:Procedure ] ; rdfs:isDefinedBy sosa-common: . -sosa:forProperty - rdfs:isDefinedBy sosa-common: . - -sosa:hasProperty - rdfs:isDefinedBy sosa-common: . - -sosa:hasFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:isFeatureOfInterestOf - rdfs:isDefinedBy sosa-common: . - -sosa:isPropertyOf - rdfs:isDefinedBy sosa-common: . - -sosa:hasUltimateFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:propertyFor - rdfs:isDefinedBy sosa-common: . - - ## Procedures sosa:Procedure @@ -84,27 +56,9 @@ sosa:Procedure rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:forProperty ; owl:allValuesFrom sosa:Property ] ; rdfs:isDefinedBy sosa-common: . -sosa:hasInput - rdfs:isDefinedBy sosa-common: . - -sosa:hasOutput - rdfs:isDefinedBy sosa-common: . - sosa:hasProcedure rdfs:isDefinedBy sosa-common: . -sosa:implementedBy - rdfs:isDefinedBy sosa-common: . - -sosa:inputFor - rdfs:isDefinedBy sosa-common: . - -sosa:outputFor - rdfs:isDefinedBy sosa-common: . - -sosa:usedForExecution - rdfs:isDefinedBy sosa-common: . - ## Executions sosa:Execution @@ -137,48 +91,6 @@ sosa:Result rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isResultOf ; owl:someValuesFrom sosa:Execution ] ; rdfs:isDefinedBy sosa-common: . -sosa:endTime - rdfs:isDefinedBy sosa-common: . - -sosa:hasFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:hasInputValue - rdfs:isDefinedBy sosa-common: . - -sosa:hasResult - rdfs:isDefinedBy sosa-common: . - -sosa:hasSimpleResult - rdfs:isDefinedBy sosa-common: . - -sosa:hasUltimateFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:inputValueForExecution - rdfs:isDefinedBy sosa-common: . - -sosa:isResultOf - rdfs:isDefinedBy sosa-common: . - -sosa:madeBySystem - rdfs:isDefinedBy sosa-common: . - -sosa:phenomenonOccurred - rdfs:isDefinedBy sosa-common: . - -sosa:phenomenonTime - rdfs:isDefinedBy sosa-common: . - -sosa:resultTime - rdfs:isDefinedBy sosa-common: . - -sosa:startTime - rdfs:isDefinedBy sosa-common: . - -sosa:usedProcedure - rdfs:isDefinedBy sosa-common: . - ## Systems sosa:Asset @@ -218,36 +130,13 @@ sosa:System ] ; rdfs:isDefinedBy sosa-common: . -sosa:deployedAsset - rdfs:isDefinedBy sosa-common: . - -sosa:deployedOnPlatform - rdfs:isDefinedBy sosa-common: . - sosa:deployedSystem rdfs:isDefinedBy sosa-common: . -sosa:hasDeployment - rdfs:isDefinedBy sosa-common: . - -sosa:hasSubSystem - rdfs:isDefinedBy sosa-common: . - sosa:hosts owl:propertyChainAxiom ( sosa:inDeployment sosa:deployedSystem ) ; rdfs:isDefinedBy sosa-common: . -sosa:implements - rdfs:isDefinedBy sosa-common: . - -sosa:inDeployment - rdfs:isDefinedBy sosa-common: . - -sosa:isHostedBy - rdfs:isDefinedBy sosa-common: . - -sosa:isSubSystemOf - rdfs:isDefinedBy sosa-common: . sosa:systemDeployment rdfs:isDefinedBy sosa-common: . diff --git a/ssn/rdf/ontology/core/ssn-observation.ttl b/ssn/rdf/ontology/core/ssn-observation.ttl index 53137ebf..a5d1e599 100644 --- a/ssn/rdf/ontology/core/ssn-observation.ttl +++ b/ssn/rdf/ontology/core/ssn-observation.ttl @@ -97,185 +97,3 @@ sosa:Stimulus rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isDetectedBy ; owl:allValuesFrom sosa:Sensor ] ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isProxyFor ; owl:allValuesFrom sosa:Property ] ; rdfs:isDefinedBy sosa-obs: . - -sosa:detects - rdfs:isDefinedBy sosa-obs: . - -sosa:hasProxy - rdfs:isDefinedBy sosa-obs: . - -sosa:isDetectedBy - rdfs:isDefinedBy sosa-obs: . - -sosa:isObservedBy - rdfs:isDefinedBy sosa-obs: . - -sosa:isProxyFor - rdfs:isDefinedBy sosa-obs: . - -sosa:madeBySensor - rdfs:isDefinedBy sosa-obs: . - -sosa:madeObservation - rdfs:isDefinedBy sosa-obs: . - -sosa:observationRelatedTo - rdfs:isDefinedBy sosa-obs: . - -sosa:observedProperty - rdfs:isDefinedBy sosa-obs: . - -sosa:observes - rdfs:isDefinedBy sosa-obs: . - -sosa:originated - rdfs:isDefinedBy sosa-obs: . - -sosa:qualityOf - rdfs:isDefinedBy sosa-obs: . - -sosa:relatedObservation - rdfs:isDefinedBy sosa-obs: . - -sosa:resultQuality - rdfs:isDefinedBy sosa-obs: . - -sosa:wasOriginatedBy - rdfs:isDefinedBy sosa-obs: . - -sosa:wasObservedBy - rdfs:isDefinedBy sosa-obs: . - -## Observation Collection - -## End of observation schema -## -------------------------------------------------------- ## -## additional axioms for sosa-common: terms in observation context - -## Utility terms - -sosa:hasMember - rdfs:isDefinedBy sosa-common: . - - -## Features of interest and Property - -sosa:FeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:hasFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:hasUltimateFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:isFeatureOfInterestOf - rdfs:isDefinedBy sosa-common: . - -sosa:Property - rdfs:isDefinedBy sosa-common: . - -sosa:hasProperty - rdfs:isDefinedBy sosa-common: . - -sosa:isPropertyOf - rdfs:isDefinedBy sosa-common: . - -sosa:forProperty - rdfs:isDefinedBy sosa-common: . - - -## Procedures - -sosa:Procedure - rdfs:isDefinedBy sosa-common: . - -sosa:hasInput - rdfs:isDefinedBy sosa-common: . - -sosa:hasOutput - rdfs:isDefinedBy sosa-common: . - -sosa:usedProcedure - rdfs:isDefinedBy sosa-common: . - -## Executions - -sosa:Execution - rdfs:isDefinedBy sosa-common: . - -sosa:hasInputValue - rdfs:isDefinedBy sosa-common: . - -sosa:startTime - rdfs:isDefinedBy sosa-common: . - -sosa:resultTime - rdfs:isDefinedBy sosa-common: . - -sosa:phenomenonTime - rdfs:isDefinedBy sosa-common: . - - -## Result - -sosa:hasResult - rdfs:isDefinedBy sosa-common: . - -sosa:isResultOf - rdfs:isDefinedBy sosa-common: . - -sosa:hasSimpleResult - rdfs:isDefinedBy sosa-common: . - - -## Assets - -sosa:Asset - rdfs:isDefinedBy sosa-common: . - -## Systems - -sosa:System - rdfs:isDefinedBy sosa-common: . - -sosa:hasSubSystem - rdfs:isDefinedBy sosa-common: . - -sosa:implements - rdfs:isDefinedBy sosa-common: . - -sosa:implementedBy - rdfs:isDefinedBy sosa-common: . - - -## Deployment - -sosa:Deployment - rdfs:isDefinedBy sosa-common: . - -sosa:deployedAsset - rdfs:isDefinedBy sosa-common: . - -sosa:deployedSystem - rdfs:isDefinedBy sosa-common: . - -sosa:hasDeployment - rdfs:isDefinedBy sosa-common: . - -sosa:deployedOnPlatform - rdfs:isDefinedBy sosa-common: . - -sosa:inDeployment - rdfs:isDefinedBy sosa-common: . - -## Platform - -sosa:Platform - rdfs:isDefinedBy sosa-common: . - -sosa:hosts - rdfs:isDefinedBy sosa-common: . - -sosa:isHostedBy - rdfs:isDefinedBy sosa-common: . diff --git a/ssn/rdf/ontology/core/ssn-sampling.ttl b/ssn/rdf/ontology/core/ssn-sampling.ttl index eb08d356..45ea660a 100644 --- a/ssn/rdf/ontology/core/ssn-sampling.ttl +++ b/ssn/rdf/ontology/core/ssn-sampling.ttl @@ -28,9 +28,6 @@ ssn-sam: owl:imports sosa-sam: , ssn-common: ; . -sosa:MaterialSample - rdfs:isDefinedBy sosa-sam: . - sosa:Sample rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:isResultOf ; owl:allValuesFrom [ a owl:Class ; @@ -115,27 +112,6 @@ sosa:SamplingProcedure rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:implementedBy ; owl:allValuesFrom sosa:Sampler ] ; rdfs:isDefinedBy sosa-sam: . -sosa:SpatialSample - rdfs:isDefinedBy sosa-sam: . - -sosa:StatisticalSample - rdfs:isDefinedBy sosa-sam: . - -sosa:featureHasUltimateSample - rdfs:isDefinedBy sosa-sam: . - -sosa:hasOriginalSample - rdfs:isDefinedBy sosa-sam: . - -sosa:hasSample - rdfs:isDefinedBy sosa-sam: . - -sosa:isSampleOfUltimateFOI - rdfs:isDefinedBy sosa-sam: . - -sosa:isOriginalSampleOf - rdfs:isDefinedBy sosa-sam: . - sosa:isResultOfMadeBySampler owl:propertyChainAxiom ( sosa:isResultOf sosa:madeBySampler ) ; rdfs:isDefinedBy sosa-sam: . @@ -144,15 +120,6 @@ sosa:isResultOfUsedProcedure owl:propertyChainAxiom ( sosa:isResultOf sosa:usedProcedure ) ; rdfs:isDefinedBy sosa-sam: . -sosa:isSampleOf - rdfs:isDefinedBy sosa-sam: . - -sosa:madeBySampler - rdfs:isDefinedBy sosa-sam: . - -sosa:madeSampling - rdfs:isDefinedBy sosa-sam: . - sosa:madeSamplingHasResult owl:propertyChainAxiom ( sosa:madeSampling sosa:hasResult ) ; rdfs:isDefinedBy sosa-sam: . @@ -161,26 +128,6 @@ sosa:usedForExecutionHasResult owl:propertyChainAxiom ( sosa:usedForExecution sosa:hasResult ) ; rdfs:isDefinedBy sosa-sam: . -# sosa:hasResultingSample -# a owl:ObjectProperty ; -# rdfs:label "has resulting sample"@en ; -# skos:definition "Relation linking an act of Sampling and the new Sample created as a result."@en ; -# rdfs:comment "Relation linking an act of Sampling and the new Sample created as a result."@en ; -# schema:domainIncludes sosa:Sampling ; -# schema:rangeIncludes sosa:Sample ; -# owl:inverseOf sosa:isSamplingResultOf ; -# rdfs:isDefinedBy sosa-sam: . - -# sosa:isSamplingResultOf -# a owl:ObjectProperty ; -# rdfs:label "is sampling result of"@en ; -# skos:definition "Relation linking a Sample to the act of Sampling that created or caused it."@en ; -# rdfs:comment "Relation linking a Sample to the act of Sampling that created or caused it."@en ; -# schema:domainIncludes sosa:Sample ; -# schema:rangeIncludes sosa:Sampling ; -# owl:inverseOf sosa:hasResultingSample ; -# rdfs:isDefinedBy sosa-sam: . - sosa:SampleCollection rdfs:subClassOf [ a owl:Restriction ; @@ -207,136 +154,7 @@ sosa:SamplingCollection ] ; rdfs:isDefinedBy sosa-sam: . - -## End of sampling schema -## -------------------------------------------------------- ## -## additional axioms for sosa-common: terms in sampling context - -## Utility terms - -sosa:hasMember - rdfs:isDefinedBy sosa-common: . - - -## Features of interest and Property - sosa:FeatureOfInterest rdfs:subClassOf [ a owl:Restriction ; owl:onProperty sosa:hasSample ; owl:allValuesFrom sosa:Sample ] ; rdfs:isDefinedBy sosa-common: . -sosa:hasFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:hasUltimateFeatureOfInterest - rdfs:isDefinedBy sosa-common: . - -sosa:isFeatureOfInterestOf - rdfs:isDefinedBy sosa-common: . - -sosa:Property - rdfs:isDefinedBy sosa-common: . - -sosa:hasProperty - rdfs:isDefinedBy sosa-common: . - -sosa:isPropertyOf - rdfs:isDefinedBy sosa-common: . - -sosa:forProperty - rdfs:isDefinedBy sosa-common: . - - -## Procedures - -sosa:Procedure - rdfs:isDefinedBy sosa-common: . - -sosa:hasInput - rdfs:isDefinedBy sosa-common: . - -sosa:hasOutput - rdfs:isDefinedBy sosa-common: . - -sosa:usedProcedure - rdfs:isDefinedBy sosa-common: . - -## Executions - -sosa:Execution - rdfs:isDefinedBy sosa-common: . - -sosa:hasInputValue - rdfs:isDefinedBy sosa-common: . - -sosa:startTime - rdfs:isDefinedBy sosa-common: . - -sosa:resultTime - rdfs:isDefinedBy sosa-common: . - -sosa:phenomenonTime - rdfs:isDefinedBy sosa-common: . - - -## Result - -sosa:hasResult - rdfs:isDefinedBy sosa-common: . - -sosa:isResultOf - rdfs:isDefinedBy sosa-common: . - -sosa:hasSimpleResult - rdfs:isDefinedBy sosa-common: . - - -## Assets - -sosa:Asset - rdfs:isDefinedBy sosa-common: . - -## Systems - -sosa:System - rdfs:isDefinedBy sosa-common: . - -sosa:hasSubSystem - rdfs:isDefinedBy sosa-common: . - -sosa:implements - rdfs:isDefinedBy sosa-common: . - -sosa:implementedBy - rdfs:isDefinedBy sosa-common: . - - -## Deployment - -sosa:Deployment - rdfs:isDefinedBy sosa-common: . - -sosa:deployedAsset - rdfs:isDefinedBy sosa-common: . - -sosa:deployedSystem - rdfs:isDefinedBy sosa-common: . - -sosa:hasDeployment - rdfs:isDefinedBy sosa-common: . - -sosa:deployedOnPlatform - rdfs:isDefinedBy sosa-common: . - -sosa:inDeployment - rdfs:isDefinedBy sosa-common: . - -## Platform - -sosa:Platform - rdfs:isDefinedBy sosa-common: . - -sosa:hosts - rdfs:isDefinedBy sosa-common: . - -sosa:isHostedBy - rdfs:isDefinedBy sosa-common: . diff --git a/ssn/style.css b/ssn/style.css index e7355d50..2dcbc2df 100644 --- a/ssn/style.css +++ b/ssn/style.css @@ -3,8 +3,8 @@ pre { } span.logic { - font-weight:bold; - color:purple; + font-weight: bold; + color: purple; } /* Styles to replicate key SpecGen styles */ @@ -16,14 +16,15 @@ span.logic { } .specterm { - margin-top: 1em; + margin-top: 1em; } .specterm h4 { - margin-top: 1em; + margin-top: 1em; } -.specterm h5 , .specterm h6 { +.specterm h5, +.specterm h6 { font-weight: bold; font-style: normal; font-variant: normal; @@ -32,31 +33,31 @@ span.logic { } section.specterm { - padding-left: 1.5em; - padding-right: 1.5em; - padding-top: 0.1ex; - padding-bottom: 0.1ex; - background-color: #eefafc; - border: 1px solid; - border-left: 0.5em solid; - border-color: #52c8e0; + padding-left: 1.5em; + padding-right: 1.5em; + padding-top: 0.1ex; + padding-bottom: 0.1ex; + background-color: #eefafc; + border: 1px solid; + border-left: 0.5em solid; + border-color: #52c8e0; } .ssn { - background-color: #beeaf3; + background-color: #beeaf3; } .buttonpanel { - display: flex; - justify-content: flex-end ; - margin-top: 1ex; - margin-bottom: 1ex; - padding-left: 1ex; - padding-right: 1ex; - padding-top: 1ex; - padding-bottom: 0.6ex; - border: 0px dotted black; - font-size: small; + display: flex; + justify-content: flex-end; + margin-top: 1ex; + margin-bottom: 1ex; + padding-left: 1ex; + padding-right: 1ex; + padding-top: 1ex; + padding-bottom: 0.6ex; + border: 0px dotted black; + font-size: small; } ul.align-on-symbol { @@ -70,16 +71,19 @@ ul.align-on-symbol li { padding-left: 0; display: flex; /*gap: 0.5em;*/ - font-family: monospace; /* optional for better alignment */ + font-family: monospace; + /* optional for better alignment */ } ul.align-on-symbol li .lhs { - min-width: 30ch; /* fixed width for alignment */ + min-width: 30ch; + /* fixed width for alignment */ text-align: right; } ul.align-on-symbol.align-on-symbol-long li .lhs { - min-width: 50ch; /* fixed width for alignment */ + min-width: 50ch; + /* fixed width for alignment */ text-align: right; } @@ -95,11 +99,12 @@ ul.align-on-symbol li .rhs { /* Responsive behavior for small screens */ @media (max-width: 600px) { ul.align-on-symbol li { - display: block; /* stack vertically */ + display: block; + /* stack vertically */ margin-bottom: 1em; } - + ul.align-on-symbol li .lhs { min-width: 0; text-align: left; @@ -120,7 +125,7 @@ ul.align-on-symbol li .rhs { } /* Wrap symbol+rhs in a flex container */ - ul.align-on-symbol li .symbol + .rhs { + ul.align-on-symbol li .symbol+.rhs { display: inline; } @@ -130,3 +135,30 @@ ul.align-on-symbol li .rhs { padding-right: 0.5ch; } } + +/* --- TABLE --- */ + +table { + border-spacing: 0; + border-collapse: collapse; + border-bottom: 3px solid #005a9c; + border-top: 3px solid #005a9c; +} +th { + background-color: #4d6068; + color: #ffffff; + padding: 3px 5px; + text-align: left; +} +th[scope="row"] { + background: inherit; + color: inherit; + border-top: 1px solid #ddd; +} +td { + padding: 3px 10px; + border-top: 1px solid #ddd; +} +tr:nth-child(odd) { + background: #d6e2f0; +} \ No newline at end of file