XML Schema for a First-Order Logic RuleML sublanguage with equational logic File: fologeq.xsd Version: 0.9 Last Modification: 2005-11-09