[
https://issues.apache.org/jira/browse/RYA-294?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jesse Hatfield updated RYA-294:
-------------------------------
Fix Version/s: 3.2.11
> Implement owl:someValuesFrom inference
> --------------------------------------
>
> Key: RYA-294
> URL: https://issues.apache.org/jira/browse/RYA-294
> Project: Rya
> Issue Type: Sub-task
> Components: sail
> Reporter: Jesse Hatfield
> Assignee: Jesse Hatfield
> Fix For: 3.2.11
>
>
> An *{{owl:someValuesFrom}}* restriction defines the set of resources which,
> for a given predicate and other type, have at least one value of that other
> type for that predicate.
> If the ontology states that {{:Chair}} is the set of resources who are
> {{:headOf}} at least one resource which must itself be a {{:Department}},
> then:
> {{?x rdf:type :Chair}}
> should be expanded to:
> {noformat}
> { ?x :headOf ?dept .
> ?dept rdf:type :Department }
> UNION
> {?x rdf:type :Chair }
> {noformat}
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)
