Cheers,
Danny.
----------------------------------------------
<?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>
-------------------------------------------
<?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">