An inconsistency or not? from 장민수 on 2005-03-30 (semantic-web@w3.org from March 2005)

From: 장민수 <minsu@etri.re.kr>
Date: Wed, 30 Mar 2005 18:10:01 +0900
To: <semantic-web@w3.org>
Message-ID: <BE709BF9.9C73%minsu@etri.re.kr>

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 09:10:07 UTC