I started a lil ontology to document some of the standard equivalences:
<http://owl.cs.manchester.ac.uk/repository/download?ontology=http://
owl.cs.manchester.ac.uk/repository/download?ontology%
3Dinteresting_equivalences.owl&version=0&format=RDF/XML?
You can browse it in owlsight:
<http://pellet.owldl.com/owlsight/?ontology=http://
owl.cs.manchester.ac.uk/repository/download?ontology%3Dhttp://
owl.cs.manchester.ac.uk/repository/download?ontology%
253Dinteresting_equivalences.owl%26version%3D0%26format%3DRDF/XML>
(Though the OWL2 namespace bug will bite the min 1 thing.)
I just did the normal De Morgan and negation based quantifer duality,
plus min1 and some. Are there others people'd like to see?
(I've not documented each class yet, but it should be pretty obvious.
Cheers,
Bijan.