[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Predicate Logic in XML (was Re: [ANN]: SIX)

• From: Danny Ayers <danny@p...>
• To: "Henry S. Thompson" <ht@c...>, Peter Jones <peterj@w...>
• Date: Mon, 08 Jan 2001 22:05:50 +0600

Hi,
On the subject of logic in XML, below is what I used for an Expert System on
the Palm. "domain" refers to the knowledge domain, BTW.
Note the decidedly non-conformant title line at the top of the example
document - having any number of Memos with the name "<?xml version='1.0'
en..." didn't seem like a good idea, whatever the spec says. I was intending
to generalise it (as a Schema), but never got around to it...

<?xml encoding="UTF-8"?>
<!-- DTD for KVM Expert System Knowledge Base Domains -->

<!ELEMENT domain (fact+,rule+)>
<!ATTLIST domain name CDATA #REQUIRED>
<!ELEMENT fact (#PCDATA)>
<!ATTLIST fact goal (true | false) "false">
<!ATTLIST fact question (true | false) "false">
<!ATTLIST fact negated (true | false) "false">
<!ELEMENT rule (fact,condition+)>
<!ELEMENT condition (#PCDATA)>
<!ATTLIST condition negated (true | false) "false">

Kex "Example"
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE domain SYSTEM "kex.dtd">
    <domain name="Test Data">

    <!--  *** facts ***  -->
        <fact goal="true">Stone</fact>
        <fact goal="true">Helicopter</fact>
        <fact goal="true">Bird</fact>
        <fact goal="true">Mouse</fact>
        <fact question="true">Is it alive</fact>
        <fact question="true">Can it fly</fact>
        <fact>alive</fact>

    <!--  *** rules ***  -->

        <rule>
            <fact>Helicopter</fact>

            <condition negated="true">alive</condition>
           <condition>Can it fly</condition>
        </rule>

        <rule>
            <fact>Stone</fact>
	<condition negated="true">alive</condition>
            <condition negated="true">Can it fly</condition>
        </rule>

        <rule>
            <fact>Mouse</fact>
            <condition negated="true">Can it fly</condition>
            <condition>alive</condition>
        </rule>

        <rule>
            <fact>alive</fact>
            <condition>Is it alive</condition>
        </rule>

    </domain>

> -----Original Message-----
> From: Henry S. Thompson [mailto:ht@c...]
> Sent: 08 January 2001 20:13
> To: Peter Jones
> Cc: 'xml-dev@l...'
> Subject: Predicate Logic in XML (was Re: [ANN]: SIX)
>
>
> You might like to have a look at this work by Drew McDermott [1] which
> has some similarities to your SIX proposal.
>
> ht
>
> [1] http://www.cs.yale.edu/homes/dvm/daml/proposal.html
> --
>   Henry S. Thompson, HCRC Language Technology Group, University
> of Edinburgh
>           W3C Fellow 1999--2001, part-time member of W3C Team
>      2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
> 	    Fax: (44) 131 650-4587, e-mail: ht@c...
> 		     URL: http://www.ltg.ed.ac.uk/~ht/
>

• References:
  • Predicate Logic in XML (was Re: [ANN]: SIX)
    • From: ht@c... (Henry S. Thompson)

• Prev by Date: RE: And the DTD says, "I'm NOT dead yet!!"
• Next by Date: RE: And the DTD says, "I'm NOT dead yet!!"
• Previous by thread: Predicate Logic in XML (was Re: [ANN]: SIX)
• Next by thread: RE: [ANN]: SIX
• Index(es):
  • Date
  • Thread