PAV 2.3 isn't OWL 2 DL compliant: issue with hasEarlierVersion

[GoogleCodeExporter]

1. Open PAV 2.3.1 in Protégé
2. Start the reasoner to classify the ontology
3. Open the warnings dialog (click the red triangle)

The following error is reported.

IllegalArgumentException: Non-simple property 
'<http://purl.org/pav/hasEarlierVersion>' or its inverse appears in asymmetric 
object property axiom.

hasEarlierVersion is defined in PAV as transitive and asymmetric, but this 
isn't permitted in OWL DL. The obvious solution is to drop the "asymmetric" 
part.


Explanation: a transitive OWL 2 object property may not also be asymmetric. If 
it's transitive, then it's not simple, see 
http://www.w3.org/TR/owl2-syntax/#Property_Hierarchy_and_Simple_Object_Property_
Expressions, and if not simple then it can't be declared asymmetric, see 
http://www.w3.org/TR/owl2-syntax/#The_Restrictions_on_the_Axiom_Closure 
"Restriction on Simple Roles".

Original issue reported on code.google.com by johan.w....@gmail.com on 4 Dec 2014 at 1:34