W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

RE: declaredAs

From: Boris Motik <bmotik@cs.man.ac.uk>
Date: Mon, 5 Feb 2007 14:11:11 -0000
To: "'Matthew Pocock'" <matthew.pocock@ncl.ac.uk>, "'Pat Hayes'" <phayes@ihmc.us>
Cc: "'Michael Schneider'" <m_schnei@gmx.de>, <public-owl-dev@w3.org>, <evren@clarkparsia.com>, <matthew.horridge@cs.man.ac.uk>
Message-ID: <001401c7492f$7d1817d0$27c35882@wolf>


Since we had anticipated these types of comments, I'd just like to point out
an important point: declarations are OPTIONAL. This notion has been
introduced in order to satisfy the needs of some applications. We are fully
aware of the fact that there are other applications that do not need such
features. Hence, if you don't want to have declarations, well, don't include

The structural consistency is also an OPTIONAL feature. It is not a
prerequisite for reasoning or for any other kind of usage of an ontology.
Our idea is that you COULD check it if you wanted, but nothing requires you
to do so.

Sincerely yours,


> -----Original Message-----
> From: Matthew Pocock [mailto:matthew.pocock@ncl.ac.uk]
> Sent: 05 February 2007 13:07
> To: Pat Hayes
> Cc: Boris Motik; 'Michael Schneider'; public-owl-dev@w3.org;
> evren@clarkparsia.com; matthew.horridge@cs.man.ac.uk
> Subject: Re: declaredAs
> Just providing a data-point for this discussion.
> In our semantic web application, we need to be able to move fairly
> arbitrary
> bags of axioms through web services. The client and server side already
> know
> and share a base-level ontology, and they just send each other 'extra'
> axioms
> to clarify things. If we had to declare everything in every message, we
> would
> have to move the entire ontology every time we wanted to say anything.
> Having
> said that, in the shared ontology, we want everything declared so it is
> locked down tight. So, for our app we need both tight declarations and the
> ability to move arround axioms without them.
> Matthew
Received on Monday, 5 February 2007 14:11:37 UTC

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