W3C home > Mailing lists > Public > public-owl-wg@w3.org > June 2008

Documenting "interesting" equivalences

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 4 Jun 2008 16:53:16 +0100
Message-Id: <ECF54CC7-9466-41E7-8F7F-AD520FA32CFD@cs.man.ac.uk>
To: OWL Working Group WG <public-owl-wg@w3.org>

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.
Received on Wednesday, 4 June 2008 15:51:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 4 June 2008 15:51:12 GMT