- From: Jeremy Wong üÜûòÕá <50263336@student.cityu.edu.hk>
- Date: Thu, 31 Mar 2005 03:31:20 +0800
- To: Àå¹Î¼ö <minsu@etri.re.kr>, semantic-web@w3.org
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. Jeremy ----- Original Message ----- From: "Jeremy Wong" <50263336@student.cityu.edu.hk> To: "Àå¹Î¼ö " <minsu@etri.re.kr>; <semantic-web@w3.org> Sent: Wednesday, March 30, 2005 5:50 PM Subject: Re: An inconsistency or not? > > 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 19:31:48 UTC