Refinement :ORL for Congo from Monika Solanki on 2003-11-05 (www-ws@w3.org from November 2003)

From: Monika Solanki <monika@dmu.ac.uk>
Date: Wed, 05 Nov 2003 11:32:17 +0000
To: www-ws <www-ws@w3c.org>, pfps@research.bell-labs.com
Cc: horrocks@cs.man.ac.uk
Message-ID: <3FA8DFC1.5060306@dmu.ac.uk>

This is a refinement ( I think) where I have removed the 
sameIndividualAtom construct and defined classAtom for each variable

Input Classes,

<process:Input rdf:ID="AcctID"/>
<process:Input rdf:ID="Password"/>
<process:Input rdf:ID="CreditCardNumber"/>
<process:Input rdf:ID="ISBNNumber"/>

In ORL, we have to define "Variable" to be used in Rules.

<owl:Variable rdf:ID="AcctID"/>
<owl:Variable rdf:ID="Password"/>
<owl:Variable rdf:ID="CreditCardNumber"/>
<owl:Variable rdf:ID="ISBNNumber"/>
Now, we can define the rule as,

<!-- here the namespace congoUserProfile, holds the definition of 
classes and properties pertaining to a user of Congo -->
<owl:Rule>
    <owl:antecedent rdf:parseType="Collection">
        <owl:classAtom>
            <owk:classPredicate rdf:about="&congoProcess;AccID">
            <owl:argument1 rdf:about="#AcctID" />
        </owl:classAtom>
        <owl:classAtom>
            <owk:classPredicate rdf:about="&congoProcess;Password">
            <owl:argument1 rdf:about="#Password" />
        </owl:classAtom>
        <owl:classAtom>
            <owk:classPredicate rdf:about="&congoProcess;CreditCardNumber">
            <owl:argument1 rdf:about="#CreditCardNumber" />
        </owl:classAtom>
        <owl:classAtom>
            <owk:classPredicate rdf:about="&congoProcess;ISBNNumber">
            <owl:argument1 rdf:about="#ISBNNumber" />
        </owl:classAtom>
        <owl:individualPropertyAtom>
            <owl:propertyPredicate 
rdf:resource="&congoUserProfile;accountExists/>
                <owl:argument1 rdf:about="#AcctID" />
                <owl:argument2 rdf:about="#Password" />
        </owl:individualPropertyAtom>   
        <owl:individualPropertyAtom>
            <owl:propertyPredicate 
rdf:resource="&congoUserProfile;creditExists/>
                <owl:argument1 rdf:about="#AcctID" />
                <owl:argument2 rdf:about="#CreditCardNumber" />
        </owl:individualPropertyAtom>   
    </owl:antecedent>
    <owl:consequent rdf:parseType="Collection">
    <owl:individualPropertyAtom>
        <owl:propertyPredicate 
rdf:resource="&congoUserProfile;allowedToBuy/>
                <owl:argument1 rdf:about="#AcctID" />
                <owl:argument2 rdf:about="#ISBNNumber" />
        </owl:individualPropertyAtom>   
    <owl:Rule>

Feedback Appreeciated.

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
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**

Received on Wednesday, 5 November 2003 06:53:49 UTC