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

Re: An inconsistency or not?

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Wed, 30 Mar 2005 17:50:10 +0800
To: μ <minsu@etri.re.kr>, semantic-web@w3.org
Message-id: <001101c5350d$dd13da80$6502a8c0@miko947ymju833>

John and Johnny are inconsistent unless there exists a statement..

John owl:sameAs Johnny


I am not sure, either. Let me know your final answer, when you get it..



Jeremy

----- Original Message ----- 
From: "μ " <minsu@etri.re.kr>
To: <semantic-web@w3.org>
Sent: Wednesday, March 30, 2005 5:10 PM
Subject: An inconsistency or not?


>
> 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:32:36 UTC

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