Re: OWL Syntax

CorrectFrom: Jeremy Carroll <jjc@hpl.hp.com>
Subject: Re: OWL Syntax
Date: Tue, 25 Feb 2003 22:00:06 +0100

> Jeremy:

[...]

> Peter:
> > I don't believe that this is the case.  
> > 
> >  Ontology(
> >    EquivalentClasses(
> >       restriction( dp1 cardinality(1) )
> >       restriction( dp3 cardinality(1) )
> >    )
> >    EquivalentClasses(
> >       restriction( dp1 cardinality(1) )
> >       restriction( dp2 allValuesFrom( xsd:byte ) )
> >    )
> >  )
> > 
> > will generate a version with one owl:sameClassAs triple removed.
> > 
> 
> I think you will find that the second instance of 
>    restriction( dp1 cardinality(1) )
> will generate a different bnode to the first.
> Thus this does not map onto the required graph.
> In particular the owl:equivalentClass triples are
> 
>  _:a owl:equivalentClass _:b .
>  _:c owl:equivalentClass _:d .
> 
> (over four distinct bnodes, rather than three distinct
> bnodes in the original).
> 
> Jeremy

Argh.  You are correct.   The two versions entail each other, but are
different syntactically.

peter