You are viewing a plain text version of this content. The canonical link for it is here.

Posted to notifications@rya.apache.org by "Jesse Hatfield (JIRA)" <ji...@apache.org> on 2017/06/14 18:22:00 UTC

[jira] [Created] (RYA-296) Implement owl:hasSelf inference

Jesse Hatfield created RYA-296:
----------------------------------

             Summary: Implement owl:hasSelf inference
                 Key: RYA-296
                 URL: https://issues.apache.org/jira/browse/RYA-296
             Project: Rya
          Issue Type: Sub-task
            Reporter: Jesse Hatfield


An *{{owl:hasSelf}}* restriction defines the set of resources that are connected to themselves by a specific property.

If the ontology states that a {{:Narcissist}} is a resource that {{:loves}} itself, then the inference engine should:

1. Rewrite queries of the form {{?x rdf:type :Narcissist}} to find all resources matching {{?x :loves ?x}} (as well as anything explicitly stated to be a :Narcissist) .

2. Rewrite queries of either form {{:A :loves ?y}} or {{?z :loves :A}} to match {{:A}} if {{:A}} is known to have the type {{:Narcissist}} .



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