[jira] [Updated] (RYA-294) Implement owl:someValuesFrom inference

["Jesse Hatfield (JIRA)" <ji...@apache.org>]

     [ 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)