[
https://issues.apache.org/jira/browse/RYA-293?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jesse Hatfield updated RYA-293:
-------------------------------
Summary: Implement owl:unionOf inference (was: Implement support for
owl:unionOf inference)
> Implement owl:unionOf inference
> -------------------------------
>
> Key: RYA-293
> URL: https://issues.apache.org/jira/browse/RYA-293
> Project: Rya
> Issue Type: Sub-task
> Components: sail
> Reporter: Jesse Hatfield
>
> An *{{owl:unionOf}}* expression defines one type to be equivalent to the
> union of another set of types. If the ontology states that {{:Parent}} is the
> union of {{:Mother}} and {{:Father}}, then the inference engine should
> rewrite statement patterns of the form {{?x rdf:type :Parent}} to check for
> resources that are stated to be any of the types {{:Mother}}, {{:Father}}, or
> {{:Parent}}.
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)
