Re: An inconsistency or not?

Good point! You cannot say that my argument is invalid. I cannot say that 
your argument is invalid. In reference to section 5.2 of OWL Reference, OWL 
tools should assume in principle that 2 URI references (John and Johnny) 
either the same or different individuals is possible.


Jeremy

----- Original Message ----- 
From: "Chris Purcell" <cjp39@cam.ac.uk>
To: "Jeremy Wong 黃泓量" <50263336@student.cityu..edu.hk>
Cc: <semantic-web@w3.org>; "장민수" <minsu@etri.re.kr>
Sent: Thursday, March 31, 2005 7:28 AM
Subject: Re: An inconsistency or not?


> You assert:
>
>     card({...}) = 2
>
> This is only true if John != Johnny, which we do not know. Your argument 
> is invalid.
>
>> It is my second reply. Consider the interpretation of the cardinality 
>> restriction..
>>
>> {x ∈ O | card({y ∈ O∪LV : <x,y> ∈ ER(p)}) = n}
>>
>> Substitute n = 1, x = Harry, p = hasFather into the interpretation..
>>
>> {Harry ∈ O | card({y ∈ O∪LV : <Harry,y> ∈ ER(hasFather)}) = 1}
>>
>> Then..
>>
>> {y ∈ {S(John),S(Johnny)} | card({John ∈ O∪LV : <Harry,y> ∈ 
>> ER(hasFather)}) = 2 <> 1}
>>
>> Therefore the restriction (class axiom?), restriction(hasFather 
>> cardinality(1)), is not satisified. Hence the collection of axioms is not 
>> consistent.
>
> 

Received on Thursday, 31 March 2005 02:06:08 UTC