This is the XML Schema module for RuleML elements related to higher order logic. File: holog_module.xsd Version: 0.9 Last Modification: 2005-11-14 See http://www.daml.org/services/swsl/report/swsl/#ruleml-hilog for more details. This module declares the following RuleML elements: * Hterm * Atom * op * Con The approach is modelled after that used in "Modularization of XHTML in XML Schema" WD [http://www.w3.org/TR/xhtml-m12n-schema/], which will soon be integrated with "Modularization of XHTML" (REC-xhtml-modularization-20010410) [http://www.w3.org/TR/xhtml-modularization/].