- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Wed, 23 Jul 2003 13:51:32 -0400
- 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 UTC