[jira] [Created] (RYA-291) Implement support for owl:hasValue inference

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

Jesse Hatfield created RYA-291:
----------------------------------

             Summary: Implement support for owl:hasValue inference
                 Key: RYA-291
                 URL: https://issues.apache.org/jira/browse/RYA-291
             Project: Rya
          Issue Type: Sub-task
            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)