You are viewing a plain text version of this content. The canonical link for it is here.

Posted to notifications@rya.apache.org by "Jesse Hatfield (JIRA)" <ji...@apache.org> on 2017/09/01 17:17:00 UTC

[jira] [Updated] (RYA-293) Implement owl:unionOf inference

     [ https://issues.apache.org/jira/browse/RYA-293?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Jesse Hatfield updated RYA-293:
-------------------------------
    Fix Version/s:     (was: 3.2.10)
                   3.2.11

> 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
>            Assignee: Jesse Hatfield
>             Fix For: 3.2.11
>
>
> 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)