Re: An inconsistency or not?

It depends on the application context.

1. If these axioms come from two sources, then this issue is also related to the Trust issue.

2. Generally speaking, some soft computing techniques can be used to figure out if  John and Johnny are actually the same individual. 


Yuzhong Qu

----- 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 09:39:14 UTC