[jira] [Closed] (RYA-292) Implement owl:intersectionOf inference

["Caleb Meier (JIRA)" <ji...@apache.org>]

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

Caleb Meier closed RYA-292.
---------------------------
       Resolution: Fixed
    Fix Version/s: 3.2.11

> Implement owl:intersectionOf inference
> --------------------------------------
>
>                 Key: RYA-292
>                 URL: https://issues.apache.org/jira/browse/RYA-292
>             Project: Rya
>          Issue Type: Sub-task
>          Components: sail
>            Reporter: Jesse Hatfield
>            Assignee: Eric White
>             Fix For: 3.2.11
>
>
> An *{{owl:intersectionOf}}* expression defines the set of resources who belong to all of a particular set of classes.
> A basic implementation, if the ontology states that {{:Mother}} is the intersection of {{:Parent}} and {{:Woman}}, should cause the inference engine to:
> 1. Rewrite query patterns {{?x rdf:type :Mother}} (the intersection type) to check for resources that have both types {{:Parent}} and {{:Woman}} (as well as check for resources that are explicitly stated to be {{:Mother}} s)
> 2. Rewrite query patterns {{?y rdf:type :Parent}} (one of the intersecting sets) to check for resources that are stated to be either {{:Mother}} or {{:Parent}} , since belonging to the intersection type implies membership in the component types. (Equivalent logic applies to {{Woman}} )



--
This message was sent by Atlassian JIRA
(v6.4.14#64029)