[ 
https://issues.apache.org/jira/browse/RYA-293?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16120059#comment-16120059
 ] 

ASF GitHub Bot commented on RYA-293:
------------------------------------

Github user meiercaleb commented on a diff in the pull request:

    https://github.com/apache/incubator-rya/pull/180#discussion_r132207923
  
    --- Diff: 
sail/src/main/java/org/apache/rya/rdftriplestore/inference/InferenceEngine.java 
---
    @@ -142,6 +143,53 @@ public void refreshGraph() throws 
InferenceEngineException {
                     }
                 }
     
    +            // Add unions to the subclass graph: if c owl:unionOf LIST(c1, 
c2, ... cn), then any
    --- End diff --
    
    I thought that you were going to start breaking out any new logic that you 
added to the refreshGraph() method into methods that were specific to the given 
rule.


> Implement owl:unionOf inference
> -------------------------------
>
>                 Key: RYA-293
>                 URL: https://issues.apache.org/jira/browse/RYA-293
>             Project: Rya
>          Issue Type: Sub-task
>          Components: sail
>            Reporter: Jesse Hatfield
>            Assignee: Jesse Hatfield
>
> An *{{owl:unionOf}}* expression defines one type to be equivalent to the 
> union of another set of types. If the ontology states that {{:Parent}} is the 
> union of {{:Mother}} and {{:Father}}, then the inference engine should 
> rewrite statement patterns of the form {{?x rdf:type :Parent}} to check for 
> resources that are stated to be any of the types {{:Mother}}, {{:Father}}, or 
> {{:Parent}}.



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

Reply via email to