[
https://issues.apache.org/jira/browse/RYA-291?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jesse Hatfield updated RYA-291:
-------------------------------
Summary: Implement owl:hasValue inference (was: Implement support for
owl:hasValue inference)
> 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
>
> *{{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)
