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] [Resolved] (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 resolved RYA-293.
--------------------------------
Resolution: Fixed
> 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)