[ https://issues.apache.org/jira/browse/RYA-292?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Jesse Hatfield updated RYA-292: ------------------------------- Description: 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}} 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}} ) was: 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). > 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: > 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}} 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)