[RYA-296] Implement owl:hasSelf inference

• Type: Sub-task
• Status: Resolved
• Priority: Major
• Resolution: Done
• Fix Version/s: 3.2.11
• Component/s: sail
• Assignee: Andrew Smith
• Reporter: Jesse Hatfield
• Created: 14/Jun/17 18:21
• Updated: 01/Sep/17 17:17
• Resolved: 01/Sep/17 17:17

Description

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 .

Issue Links

• links to: GitHub Pull Request #209