- From: Chris Purcell <cjp39@cam.ac.uk>
- Date: Wed, 30 Mar 2005 11:13:15 +0100
- To: Àå¹Î¼ö <minsu@etri.re.kr>
- Cc: <semantic-web@w3.org>
They are the same individual. You'd need further information (like John and Johnny being members of mutually exclusive classes) to deduce an inconsistency. Chris > 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:13:20 UTC