The enclosed ontology isn't where the problem is, but the one it imports is
online, and will show the problem when you load this one into SWOOP.

There are some complicated uses of subproperty/transitive property going on,
that results in a bug somewhere in this ontology.  

When you turn Pellet on in SWOOP, it of course detects the inconsistency, but
the error message says, 

Inconsistent ontology Reason: No inconsistency was found! There is no
explanation generated. 


Someone is getting his signals crossed here. 

I am pretty sure that the ontology really is inconsistent, but it would be nice
for SWOOP and Pellet to agree about it.