[ https://issues.apache.org/jira/browse/RYA-291?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16085134#comment-16085134 ]
ASF GitHub Bot commented on RYA-291: ------------------------------------ Github user meiercaleb commented on a diff in the pull request: https://github.com/apache/incubator-rya/pull/174#discussion_r127121881 --- Diff: sail/src/main/java/org/apache/rya/rdftriplestore/inference/InferenceEngine.java --- @@ -583,4 +625,69 @@ public boolean isSchedule() { public void setSchedule(boolean schedule) { this.schedule = schedule; } + + /** + * For a given type, return any properties and values such that owl:hasValue restrictions on + * those properties could imply this type. No matter how many restrictions are returned, each + * one is considered individually sufficient: if a resource has the property and the value, then + * it belongs to the provided type. Takes type hierarchy into account, so the value may imply a --- End diff -- Okay. Thanks for clarifying. > Implement owl:hasValue inference > -------------------------------- > > Key: RYA-291 > URL: https://issues.apache.org/jira/browse/RYA-291 > Project: Rya > Issue Type: Sub-task > Components: sail > Reporter: Jesse Hatfield > Assignee: Jesse Hatfield > > *{{owl:hasValue}}* is used to define a property restriction representing the > set of resources with a specific value for a specific predicate. > If the ontology states that the class {{:ChildOfJohn}} represents all > resources with {{:parent}} equal to {{:John}}, then the inference engine > should be able to: > 1. Rewrite a query pattern {{?X rdf:type :ChildOfJohn}} to check for > resources whose {{:parent}} is {{:John}} (in addition to those explicitly > stated to have type {{:ChildOfJohn}}) > 2. Rewrite a query pattern {{:Jane :parent :?Y}} to check whether :Jane has > the type {{:ChildOfJohn}} (in addition to querying for any specifically > stated {{:parent}} s) -- This message was sent by Atlassian JIRA (v6.4.14#64029)