[
https://issues.apache.org/jira/browse/RYA-294?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16141953#comment-16141953
]
ASF GitHub Bot commented on RYA-294:
------------------------------------
Github user asfgit closed the pull request at:
https://github.com/apache/incubator-rya/pull/217
> 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
>
> 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)
