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

Andrew Smith reassigned RYA-296:
--------------------------------

    Assignee: Andrew Smith

> Implement owl:hasSelf inference
> -------------------------------
>
>                 Key: RYA-296
>                 URL: https://issues.apache.org/jira/browse/RYA-296
>             Project: Rya
>          Issue Type: Sub-task
>          Components: sail
>            Reporter: Jesse Hatfield
>            Assignee: Andrew Smith
>
> 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)

Reply via email to