W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

TEST: 4 of 7: was: Need a test -- inverse and oneOf

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 23 Jul 2003 19:20:02 +0300
To: www-webont-wg@w3.org
Message-Id: <200307231920.02156.jjc@hpl.hp.com>

Charles, Jim

I have included the test Charles proposed from

http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0106.html

see
http://www.w3.org/2002/03owlt/editors-draft/draft/proposedByIssue#I4.5-001
http://www.w3.org/2002/03owlt/editors-draft/draft/proposedByIssue#I4.5-002

I changed the note about querying into teh conconclusions of the first test as 
a positive entailment, 

first:Kinnock rdf:type first:EuroMP .
first:EuroMP rdf:type owl:Class .

and negated the note and added to the first test to make an inconsistency 
test:

_:o rdf:type owl:Class .
_:o owl:complementOf first:EuroMP .
first:Kinnock rdf:type _:o .

Jeremy
:
Received on Wednesday, 23 July 2003 13:20:20 GMT

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