W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2005

OWL Ontology Debugging..soliciting examples

From: Aditya Kalyanpur <swap_adityak@yahoo.com>
Date: Sat, 9 Apr 2005 10:01:24 -0700 (PDT)
Message-ID: <20050409170124.14598.qmail@web52710.mail.yahoo.com>
To: public-owl-dev@w3.org


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
- 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

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.

Swoop Team

[1] http://www.mindswap.org/2004/SWOOP
[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!
Received on Saturday, 9 April 2005 17:01:26 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:13 UTC