W3C home > Mailing lists > Public > public-sws-ig@w3.org > November 2003

Re: OWL Rule language

From: Monika Solanki <monika@dmu.ac.uk>
Date: Mon, 10 Nov 2003 10:38:48 +0000
Message-ID: <3FAF6AB8.4090706@dmu.ac.uk>
To: Ian Horrocks <horrocks@cs.man.ac.uk>, public-sws-ig@w3.org
>
>
>><process:Input rdf:ID="AccID">
>>....
>>....
>></process:Input>
>>
>><owl:Variable rdf:about="#AcctID"/>
>>
>>Will this be correct?, if so, it will be very convenient to use.
>>    
>>
>
>No, this wont be correct.
>
>Now I am confused as to what you mean by "defining further property
>predicates". As it makes clear in the proposal, either variables or
>OWL individuals can be used in property atoms. I.e., a property atom
>is of the form P(x,y), where x,y can be any mixture of variables and
>OWL individuals.
>
>My point about using variables is that I can't see why you would want
>to make the variable acctID have the same interpretation as the
>individual AcctID, because you can write P(AcctID,y) just as easily as
>P(acctID,y).
>
>Ian
>
yes, it is quite clear now. Thanks for the explanation.

Monika
Received on Monday, 10 November 2003 05:54:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 16 March 2008 00:10:53 GMT