[RYA-300] Implement owl:oneOf inference

• Type: Sub-task
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 3.2.11
• Component/s: sail
• Assignee: Eric White
• Reporter: Jesse Hatfield
• Created: 14/Jun/17 18:47
• Updated: 01/Sep/17 17:11
• Resolved: 25/Aug/17 22:08

Description

owl:oneOf defines an enumeration by associating a class with a list of resources which belong to that class.

If the ontology states that :PrimaryColor is the class representing the enumeration (:Red, :Green, :Blue) , then a query of the form ?x rdf:type :PrimaryColor should be rewritten to find bindings :Red , :Green , and :Blue for ?x.

Issue Links

• links to: GitHub Pull Request #215