Re: [sdw] Move hasProperty from SSN to SOSA namespace

To add my two cents: 

If this is what we want to express:

> If I can /observe/ a property of a FOI, it /has/ said property.

then this is how the inference may look like using SPARQL:

```
CONSTRUCT {
  ?foi ssn:hasProperty ?prop .
} WHERE {
  ?obs sosa:hasFeatureOfInterest ?foi .
  ?obs sosa:observedProperty ?prop .
}
```

In pseudo DL:

```
inverseOf( sosa:hasFeatureOfInterest ) o sosa:observedProperty ⊑ ssn:hasProperty
```

This can be expressed with a OWL subPropertyChainOf axiom:

```
ssn:hasProperty
  owl:propertyChainAxiom ( [ owl:inverseOf sosa:hasFeatureOfInterest ] sosa:observedProperty ) .
```

This axiom doesn't change the complexity of the SSN ontology.

-- 
GitHub Notification of comment by maximelefrancois86
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1006#issuecomment-377246777 using your GitHub account

Received on Thursday, 29 March 2018 14:07:54 UTC