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

Re: OWL 2.0 ...

From: Thorsten Liebig <liebig@informatik.uni-ulm.de>
Date: Tue, 17 May 2005 17:12:12 +0200
Message-ID: <428A09CC.1050805@informatik.uni-ulm.de>
To: Jim Hendler <hendler@cs.umd.edu>
CC: public-owl-dev@w3.org

Jim,
we are working on extended reasoning services like explaining 
subsumption or unsatisfiability in order to
support ontology  authoring (i.e. see our OWL Lite editor OntoTrack 
[1]). However, even building an explainer
covering all of OWL Lite is difficult because of GCIs, disjunction and 
full negation (which are syntactically
forbidden but can be simulated in OWL Lite). We therefore propose to 
review or extend the OWL language
fragments in a next version. In addition, we suggest to specify a 
reasoner interface supporting incremental
reasoning and retraction of definitions (i.e. by extending the DIG 
specification). In order to better support
distributed ontologies we propose to introduce an OWL ontology grounding 
which allows to specify/find
the syntactical location of a class/property axiom.

[1] http://www.informatik.uni-ulm.de/ki/ontotrack/

Jim Hendler wrote:

> ...
>   I'd like to hear what people are working on, or what people need - 
> this way we'll have these ideas on record for the eventual next 
> generation of OWL technology.
Received on Tuesday, 17 May 2005 20:56:24 GMT

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