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

["Jesse Hatfield (JIRA)" <ji...@apache.org>]

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

Jesse Hatfield updated RYA-292:
-------------------------------
    Summary: Implement owl:intersectionOf inference  (was: Implement support for owl:intersectionOf inference)

> 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
>
> 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 rewrite query patterns {{?x rdf:type :Mother}} to check for resources that are both types in the intersection (as well as check for resources that are explicitly stated to be {{:Mother}}s).



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