This is the XML Schema module for higher-order logic in RuleML. File: holog_module.xsd Version: 0.91 Last Modification: 2006-08-18 See http://www.daml.org/services/swsl/report/swsl/#ruleml-hilog for more details. This module declares the following RuleML elements: * Hterm * Atom * slot * op * Con * @minCard * @maxCard See http://www.ruleml.org/modularization for details about this modularization approach.