- 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
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