Re: Partial? regrets May 1st

On Wed, 30 Apr 2003, Ian Horrocks wrote:

> On April 30, Jeremy Carroll writes:
> >
> >
> > Weather dependent I am in the mountains tomorrow.
> > I might call in when we get back - maybe half way through the telecon.
> >
> > Also on May 8th it is my son's birthday and I suspect party duties will call -
> > at least for the beginning of the telecon.
> >
> > I expect to be able to spend significant time next week on the test cases
> > document, and modulo the unapproval of cardinality-005, have a last call
> > candidate before May 8th.
> >
> > Suggested agenda item for this week:
> >
> > - unapproval cardinality-005, action jjc to convert to proposed non-entailment
> > - unapproval http://www.w3.org/2002/03owlt/I5.24/Manifest004
>
> My parser is still imperfect and fails for this test. Unfortunately
> the parser wont get fixed until next week (Sean on holiday). After
> translating the test manually into abstract syntax I can verify the
> entailment using FaCT.

This is a bit of a funny one. As I understand it, this particular file
*isn't* OWL Lite, so my parser is correct to reject it. The problem is
that owl:Thing appears (I think) in the "wrong" place. The RDF looks like:

   <owl:Thing>
      <rdfs:subClassOf>
          <owl:Restriction>
             <owl:onProperty rdf:resource="conclusions004#prop"/>
             <owl:allValuesFrom>
               <owl:Class rdf:about="conclusions004#A"/>
              </owl:allValuesFrom>
          </owl:Restriction>
       </rdfs:subClassOf>
   </owl:Thing>

What this then gives you in terms of the RDF graph is a bnode which has
rdf:type owl:Thing and which is an rdfs:subClassOf the given restriction.
This is then Full as it's an example of class as instance (of Thing).
What I think you *really* want is:

   <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
      <rdfs:subClassOf>
          <owl:Restriction>
             <owl:onProperty rdf:resource="conclusions004#prop"/>
             <owl:allValuesFrom>
               <owl:Class rdf:about="conclusions004#A"/>
              </owl:allValuesFrom>
          </owl:Restriction>
       </rdfs:subClassOf>
   </owl:Class>

RDFers, please shout if I've got this wrong -- this is one that I've
struggled with (and got wrong) in the past....

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb

Received on Tuesday, 6 May 2003 07:59:56 UTC