Taxonomic RuleML (TX RuleML)  introduces a set of experimental RuleML tags that are used to represent subsumption (type of) relationships. Some of the important tags are the role tags _shead for the superclass and _sbody for the subclass. Class disjunctions (like ‘class a OR class b’) are represented by <sor> tag and class conjunctions (like ‘class a AND class b’) are represented by <sand> tag.

     For example:      the relationship: “a mammal may be a cat or a dog” can be represented as:
       
         _{<_shead><rel>mammal</rel></_shead>
             <_sbody>
                      <sor>
                            <rel>cat</rel>
                            <rel>dog</rel>
                     </sor>
             </_sbody>}


For a industrial example see OntoTherm: The ELOTHERM Ontology for Heating Design.
For the translation from subsumptions to implications see Taxonomies in RuleML.  

 Screenshots

 Documentation

 License