[ 
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)

Reply via email to