[jira] [Updated] (RYA-291) Implement owl:hasValue inference

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

     [ https://issues.apache.org/jira/browse/RYA-291?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Jesse Hatfield updated RYA-291:
-------------------------------
    Fix Version/s:     (was: 3.2.10)
                   3.2.11

> Implement owl:hasValue inference
> --------------------------------
>
>                 Key: RYA-291
>                 URL: https://issues.apache.org/jira/browse/RYA-291
>             Project: Rya
>          Issue Type: Sub-task
>          Components: sail
>    Affects Versions: 3.2.10
>            Reporter: Jesse Hatfield
>            Assignee: Jesse Hatfield
>             Fix For: 3.2.11
>
>
> *{{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)