Warning:
This wiki has been archived and is now read-only.
Implicit Implementations entailed by Axioms
This page lists the axioms provided in SOSA and SSN that will guide the RDFS/OWL reasoners to infer the implicit class or property assertions without having to explicitly generate the corresponding RDF triples. The means it there is an implementation evidence of a class or a property is given, the implementation evidence of inferred classes or properties are provided via entailment regimes given by the RDFS/OWL reasoners supported.
SubClassOf, SubPropertyOf and InverseOf Axioms
The SubClassOf, SubPropertyOf and InverseOf axioms are simplest form that can be easily inferred by RDFS/RDFS++. Following are the Classes and properties can be inferred from such axioms.
| Entailed Classes | Classes to be instantiated | Note |
|---|---|---|
| sosa:FeatureOfInterest | sosa:Sample | |
| ssn:Property | sosa:ActuableProperty or sosa:ObservableProperty | |
| ssn:Result | sosa:Sample | |
| ssn:System | sosa:Actuator or sosa:Sampler or sosa:Sensor |
| Entailed Properties | Properties to be asserted | Note |
|---|---|---|
| ssn:forProperty | sosa:observes | subPropertyOf |
| sosa:actsonProperty | sosa:isActedOnBy | inverseOf |
| ssn:inDeployment | ssn:deployedOnPlatform | inverseOf |
| ssn:hasDeployment | ssn:deployedSystem | inverseOf |
| sosa:observes | sosa:isObservedBy | inverseOf |
| ssn:hasFeatureofInterest | sosa:isFeatureOfInterestOf | inverseOf |
| ssn:hasProperty | ssn:isPropertyOf | inverseOf |
| sosa:hasResult | sosa:isResultOf | inverseOf |
| sosa:hasSample | sosa:isSampleOf | inverseOf |
| sosa:hosts | sosa:isHostedBy | inverseOf |
| ssn:implements | ssn:isImplementedBy | inverseOf |
| sosa:madeActuation | sosa:madeByActuator | inverseOf |
| sosa:madeSampling | sosa:madeBySampler | inverseOf |
| sosa:madeObservation | sosa:madeBySensor | inverseOf |
More Complicated axiom sets
In some other cases, a class or property can be inferred from a set of axioms. For instance, following property can be inferred by property chains
| Entailed Properties | Properties to be asserted | Note |
|---|---|---|
| sosa:hosts | owl:propertyChainAxiom ( ssn:inDeployment ssn:deployedSystem ) | |
| sosa:usedProcedure | owl:propertyChainAxiom ( sosa:madeBySensor ssn:implements )
or owl:propertyChainAxiom ( sosa:madeByActuator ssn:implements ) or owl:propertyChainAxiom ( sosa:madeBySampler ssn:implements ) || } ... |
