[
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}} (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}} )
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:
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}} )
> 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}} (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)
