I find that OWL 2 RL/RDF rules can only reason over hasKey (using prp-key) when there are multiple keys defined for a class (in a list). Then it seems to me they cannot handle the case when there is only one key. For example, according to my understanding they can not deduce from the premises the conclusion given below:
Did I miss any details on OWL 2 RL/RDF rules or they indeed deliberately skipped this type of reasoning?
The rule indicates the following:
The case you describe in your question is for n = 1, that is:
So the conclusion indeed holds.
answered 28 Jan, 14:00
Antoine Zimm... ♦