[ https://issues.apache.org/jira/browse/RYA-294?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Jesse Hatfield reassigned RYA-294: ---------------------------------- Assignee: Jesse Hatfield > 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)