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

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

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 23 Jul 2003 13:51:32 -0400
Message-Id: <p05200f28bb447b9a3932@[10.0.1.3]>
To: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org

At 7:20 PM +0300 7/23/03, Jeremy Carroll wrote:
>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
>:

looks good to me - thanks!

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***
Received on Wednesday, 23 July 2003 13:51:41 GMT

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