[RYA-291] Implement owl:hasValue inference

• Type: Sub-task
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.2.10
• Fix Version/s: 3.2.11
• Component/s: sail
• Assignee: Jesse Hatfield
• Reporter: Jesse Hatfield
• Created: 14/Jun/17 16:04
• Updated: 01/Sep/17 17:10
• Resolved: 20/Jul/17 22:45

Description

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)

Issue Links

• links to: GitHub Pull Request #174