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

Re: A solution to integrate CWA into OWA.

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 3 Mar 2011 21:50:35 +0000
Cc: public-owl-dev@w3.org
Message-Id: <18F3BAC8-9D96-4DC3-9354-C987501CBE3B@cs.man.ac.uk>
To: Juan Sequeda <juanfederico@gmail.com>
On 3 Mar 2011, at 20:58, Juan Sequeda wrote:

> So, does OWL 2 have the epistemic operator?

No. OWL 2 has no nonmonotonic features. It's a fragment of first order logic. If you need this, SPARQL can help and so can various extensions.

> I'm just now digging into OWL2 but I can't find it anywhere. I would like to represent a foreign key constraint in OWL and it seems that it can't be done without the epistemic operator.

There's a kind of first order key in OWL2 which covers a lot of cases.

Incorporating non-monotonic operators into OWL is a challenging thing -- lots of proposals have been floated around and none have gotten large scale support. Aside from classic non-mon DLs, SPARQL, and various rule proposals, there's some integrity checking stuff in Pellet: http://clarkparsia.com/pellet/icv/

Received on Thursday, 3 March 2011 21:51:05 UTC

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