Re: minor typos in Test doc

On Wed, 13 Aug 2003, Jos De_Roo wrote:

>
> [Sean's explanation of
> http://www.w3.org/2002/03owlt/description-logic/inconsistent107.rdf]
>
> > The role hierarchy is a bit of a red herring here, as is the definition
> > of a.
>
> I never clearly understood what "red herring" meant; now I got it ;-)

A wonderful language!

> > The definition of Unsatisfiable says that anything that's an instance of
> > Unsatisfiable has to have at least 1 r, has to be related to a c via r
> and
> > has to be related to a d via r. It must also be related to no more than
> > one thing via r (the complement of [minCard 2 r] is [maxCard 1 r]). But
> > this leads to a contradiction as c and d are disjoint.
>
> OK - my understanding of owl:someValuesFrom was wrong
> I thought that the intersectionOf
>   restriction(a:r someValuesFrom a:d)
>   restriction(a:r someValuesFrom a:c)
> wasn't that strongly constrained ie that it has
> some members related to a c via r and some other
> members related to a d via r but I guess that's
> what you call a unionOf isn't it?

Well, in general, the intersection of

   restriction(a:r someValuesFrom a:d)
   restriction(a:r someValuesFrom a:c)

means that there must be a d related via r and a c related via r, but they
don't *have* to be the same individual -- there could be two of them.

In this case of this test, however, the extra constraint on the
cardinality of r (due to the negation of the minCardinality) means
that there can *only* be one, hence the contradiction.

The various different ways of combining restrictions using intersection
and union are related as follows:

1. some R.(C and D)
2. (some R.C) and (some R.D)
3. some R.(C or D)
4. (some R.C) or (some R.D)

Given no other contraints, we know that it's always the case that:

1. => 2.
2. => 3.
2. => 4.
3. == 4.

Apologies if this is teaching grandma to suck eggs (another marvellous
phrase :-).

	Sean

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

Received on Wednesday, 13 August 2003 06:00:20 UTC