(unknown charset) Re: An inconsistency or not?

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