[Pellet-users] species validator bug

[Alan Ruttenberg]

Shouldn't this ontology be considered OWL-Full (and be inconsistent?)
In both pellet 1.3 and 1.4 it is said to be OWL-Lite.
Pellet 1.4 prints a console warning:
WARN [main] (OWLLoader.java:330) - Ignoring transitivity axiom due to  
an existing cardinality restriction for property http://example.com/#foo
Both say it is consistent.

I think the species validator should at least say it is OWL-Full.
Then we won't be surprised that the reasoner is not sound (no  
guarantees for OWL-Full)

Namespace(ex = <http://example.com/#>)
Ontology(<http://example.com/#>
ObjectProperty(ex:foo Transitive )
ObjectProperty(ex:foo Functional )
ObjectProperty(ex:foo Symmetric )
ObjectProperty(ex:foo inverseOf(ex:foo ))
DifferentIndividuals(ex:a ex:b )
Individual(ex:a value(ex:foo ex:b ))
)

-Alan