Auxiliary XML Schema for a Horn-Logic RuleML sublanguage File: aux_hornlog.xsd Version: 0.85 (fixed) Last Modification: 2004-05-25