W3C home > Mailing lists > Public > semantic-web@w3.org > March 2005

(unknown charset) Re: An inconsistency or not?

From: (unknown charset) Chris Purcell <cjp39@cam.ac.uk>
Date: Wed, 30 Mar 2005 11:13:15 +0100
Message-Id: <3ae6f23f0f34fbb3f66992766b929145@cam.ac.uk>
Cc: (unknown charset) <semantic-web@w3.org>
To: (unknown charset) 장민수 <minsu@etri.re.kr>

They are the same individual. You'd need further information (like John 
and Johnny being members of mutually exclusive classes) to deduce an 
inconsistency.

Chris

> Hi all,
>
> I have a question regarding OWL semantics.
> Please consider the following OWL sentences in N3:
>
> Person rdf:type owl:Class.
> r1 rdf:type Restriction.
> r1 owl:onProperty hasFather.
> r1 owl:cardinality "1"^^xsd:nonNegativeInteger.
> Person rdfs:subClassOf r1.
> Harry rdf:type Person.
> Harry hasFather John.
> Harry hasFather Johnny.
>
> As you can see from the above sentences, Harry is a Person.
> And, by r1, Harry can have exactly one value for hasFather property.
> But, it is asserted that Harry has two different
> values, John & Johnny, for hasFather property.
>
> I can't decide which of the following is true.
>
> A. John and Johnny are actually the same individual.
> B. The above sequence of sentences are inconsistent.
>
> Please help.
>
> Sincerely Yours,
> Minsu Jang
Received on Wednesday, 30 March 2005 10:13:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:45 UTC