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 UTC