[jira] [Comment Edited] (RYA-299) Implement rdfs:range inference

["Jesse Hatfield (JIRA)" <ji...@apache.org>]

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

Jesse Hatfield edited comment on RYA-299 at 7/25/17 10:17 PM:
--------------------------------------------------------------

Domain and range will likely use mirrored logic, just applied in different cases.


was (Author: jhatfiel):
Both will likely use identical logic

> Implement rdfs:range inference
> ------------------------------
>
>                 Key: RYA-299
>                 URL: https://issues.apache.org/jira/browse/RYA-299
>             Project: Rya
>          Issue Type: Sub-task
>          Components: sail
>            Reporter: Jesse Hatfield
>            Assignee: Jesse Hatfield
>
> If a predicate has an *{{rdfs:range}}* of some class, than the object of any triple including that predicate belongs to the class.
> If the ontology states that {{:advisor}} has the range of {{:Professor}}, then the inference engine should rewrite queries of the form {{?x rdf:type :Professor}} to check for resources which are anyone's {{:advisor}} (as well as any specifically stated to have type {{:Professor}} ).



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