W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2008

Updates to owl.cs.manchester

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Fri, 19 Sep 2008 10:18:44 +0100
Message-Id: <1C5EA653-50E6-4472-99E3-6463D63A91C9@cs.man.ac.uk>
To: Owl Dev <public-owl-dev@w3.org>

Hi folks,

I thought I'd post a little update the University of Manchester OWL  
pages:
	http://owl.cs.manchester.ac.uk/

We've added a couple of new services:
	http://owl.cs.manchester.ac.uk/metrics/		
		An easy way to see the basic stats of an ontology without firing up  
Protege4.
	http://owl.cs.manchester.ac.uk/modularity/
		A bare bones module extractor (not really explained yet; come

Uli Sattler's list of DL (and OWL) reasoners is has moved here as well:
	http://owl.cs.manchester.ac.uk/reasoners.html

(Let Uli know of any new or changed reasoners!)

There is also a new (very experimental) model exploration plug-in for  
Protege 4 --- Supermodel:
	http://www.cs.man.ac.uk/~bauerj/supermodel/

This nifty little tool will extract a representation of the models  
for a selected class and let you explore them. It is the excellent  
work of Johannes Bauer who's been visiting us.

We'll be continuing to add services with a very bare bones form  
interface. I hope that sometime next year we'll be able to do some  
nifty web based interface innovation. If there's a service, esp.  
something you know is already in the OWL API, that you'd like to have  
casual, web based access too, please drop us a line.

Cheers,
Bijan.
Received on Friday, 19 September 2008 09:16:10 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT