- From: Monika Solanki <monika@dmu.ac.uk>
- Date: Fri, 07 Nov 2003 19:48:14 +0000
- To: Ian Horrocks <horrocks@cs.man.ac.uk>, public-sws-ig@w3.org
- Cc: www-ws@w3.org
- Message-ID: <3FABF6FE.3020607@dmu.ac.uk>
Hi Ian, Thanks for the reply!!!! I have a confusion regarding "sameIndividualAtom". Although I have dome some kind of refinement over my earlier version, that did not use "sameIndividualAtom", but somehow I still feel that "sameIndividualAtom" is the way to go. I want to restate the problem. I define a variable <owl:Variable rdf:ID="acctID"/> and I have an individual of class Input defined as <process:Input rdf:ID="AccID"> .... .... </process:Input> Now, what I want to say is that the variable is actually an individual and is the same as the individual, AcctID, and this is the one which should be used for defining further property predicates. I feel, I can use "sameIndividualAtom" to express this and the semantics would not be affected, so will this be valid? <owl: sameIndividualAtom > <owl:Variable rdf:about ="#acctID"/> <owl::Individual rdf:about="AcctID"/> </owl:sameIndividualAtom> I have changed owl:name to rdf:about Thanks, Monika Ian Horrocks wrote: >On November 1, Monika Solanki writes: > > >>Hello Ian and Peter, >> >>I have been studying the OWL Rule language. I am a bit confused over >>the interpretation atoms in general and Class atom in particular. >> >>As mentioned in the doc, >>Informally, an atom C(x) holds if x is an instance of the class >>description C >> >>So, what is the interpretation of this: >> >><owlx:classAtom> >> <owlx:Class owlx:name="Person" /> >> <owlx:Variable owlx:name="x1" /> >></owlx:classAtom> >> >> >>Does it mean that x1 is an instance of Class C ? >> >> > >Informally, if it is in an antecedent then it is a condition that is >satisfied whenever x1 binds to an object that is an instance of C; if >it is in a consequent, then it is an assertion that the object x1 is >bound to is an instance of C. > >Ian > > > >>Thanks, >> >>Monika >> >>-- >>**>><<**>><<**>><<**>><<**>><<**>><<**>><<** >>Monika Solanki >>Software Technology Research Laboratory(STRL) >>De Montfort University >>Hawthorn building, H00.18 >>The Gateway >>Leicester LE1 9BH, UK >> >>phone: +44 (0)116 250 6170 intern: 6170 >>email: monika@dmu.ac.uk >>web: http://www.cse.dmu.ac.uk/~monika >>**>><<**>><<**>><<**>><<**>><<**>><<**>><<** >> >> > > > -- **>><<**>><<**>><<**>><<**>><<**>><<**>><<** Monika Solanki Software Technology Research Laboratory(STRL) De Montfort University Hawthorn building, H00.18 The Gateway Leicester LE1 9BH, UK phone: +44 (0)116 250 6170 intern: 6170 email: monika@dmu.ac.uk web: http://www.cse.dmu.ac.uk/~monika **>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Received on Friday, 7 November 2003 14:42:34 UTC