- From: Aditya Kalyanpur <swap_adityak@yahoo.com>
- Date: Sat, 9 Apr 2005 10:01:24 -0700 (PDT)
- To: public-owl-dev@w3.org
Hi, As some of you may be aware, we are working on an OWL Ontology browser/editor called Swoop [1]. One of the research areas we are very interested in is (OWL) Ontology Debugging. In particular, we are focusing on explaining the cause of unsatisfiability of concepts in OWL Ontologies. In the most recent release of Swoop (v2.2 onwards), we already have some preliminary debugging support (Advanced->Enable Debugging on the Menu), e.g: - a simple readable explanation is given for the cause of the clash/contradiction which makes the concept unsatisfiable - all unsatisfiable concepts and even class expressions are marked in red (makes it easy to see dependencies between unsatisfiable classes, if any) - class expressions can be browsed and studied just like regular classes (i.e. in the Concise Format view) - in the latest nightly build [2], we also separate the root from derived unsatisfiable concepts allowing the user to focus on the problematic part of the ontology alone (we are now working on axiom pinpointing) Details of our approach are given in this paper [3]. In order to continuously improve and evaluate our work, we need as many examples of buggy OWL ontologies as possible. So we would greatly appreciate it if you could send any such ontology (containing unsatisfiable concepts) to the Swoop-devel list [4]. Alternately, in the next release of Swoop, we plan to have an easy form submit option to recieve such examples from our users directly. Any feedback is welcome. Thanks, Swoop Team MINDSWAP [1] http://www.mindswap.org/2004/SWOOP [2] http://www.mindswap.org/2004/SWOOP/downloads/swoop-nightly.zip [3] http://www.mindswap.org/papers/debuggingOWL.pdf [4] swoop-devel@lists.mindswap.org __________________________________ Do you Yahoo!? Yahoo! Small Business - Try our new resources site! http://smallbusiness.yahoo.com/resources/
Received on Saturday, 9 April 2005 17:01:26 UTC