W3C home > Mailing lists > Public > www-ws@w3.org > November 2003

Re: OWL Rule language

From: Monika Solanki <monika@dmu.ac.uk>
Date: Fri, 07 Nov 2003 19:48:14 +0000
Message-ID: <3FABF6FE.3020607@dmu.ac.uk>
To: Ian Horrocks <horrocks@cs.man.ac.uk>, public-sws-ig@w3.org
Cc: www-ws@w3.org
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:44 GMT