W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

SEM/TEST: "a" owl:differentFrom "b", no?

From: Dan Connolly <connolly@w3.org>
Date: 11 Dec 2002 16:35:52 -0600
To: www-webont-wg@w3.org
Message-Id: <1039646152.2131.518.camel@dirk>

Pat, SEM/TEST folks...

In another thread, I saw...
  "i.e. the universe has cardinality 1"

there aren't any consistent OWL KBs where
that's the case, are there?

After all,

	"a" owl:differentFrom "b".

is true in every OWL KB, no?

Hmm... you can't write that in
the exchange syntax due to
"literals can't be subjects" syntax
limitations in RDF/XML...
but I can phrase it as a test:

	_:x owl:sameAs "a".
	=?=>
	_:x owl:differentFrom "b".

Hmm... maybe that's not in the OWL DL
subset... hmm... I can't think of a
way to fit the question in OWL DL off
the top of my head...

Is this a new isssue?

Perhaps it's part of the datatypes issue?

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 11 December 2002 17:35:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:55 GMT