Overview of RuleML, Continued
	• Fully Declarative KR (not simply Prolog!) – Well-established logic with model theory – Available algorithms and implementations – Close connection to relational DB’s; core SQL is Horn LP • Intent:  Abstract graph syntax – First encoded in XML, then RDF, then DAML+OIL • Expressive Extensions incrementally – Non-monotonicity:  Negation as failure; Courteous – Procedural Attachments:  actions/effecting, tests/sensing – Events cf. OPS5/Event-Condition-Action