- From: Monika Solanki <monika@dmu.ac.uk>
- Date: Mon, 10 Nov 2003 10:38:48 +0000
- To: Ian Horrocks <horrocks@cs.man.ac.uk>, public-sws-ig@w3.org
Received on Monday, 10 November 2003 05:54:41 UTC
> > >><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 UTC