The Rule Markup Initiative: KR Principles and DTD Modularization
Motivation (I)
Motivation (II)
Initial Example: Forward-Rule Notation
Initial Example: Backward-Rule Notation
RuleML Elements of Datalog DTD: Clocksin/Mellish Sample Prolog Clauses
RuleML Element of UR-Hornlog DTD: Proposed W3C-Page Authentication Rule
RuleML Elements of UR-Equalog DTD: Equations for URI Expansion
RuleML Element of URC-Bin-Data-Ground-Fact DTD: RDF Triple as Very Special Rule
Modularization of DTDs: XHTML and KR
Structure of the RuleML DTD Hierarchy
The Module Hierarchy of RuleML DTDs
DTDs: From Well-Formedness to Validity
A Relational Language: ruleml-datalog.dtd (I)
A Relational Language: ruleml-datalog.dtd (II)
A Relational Language: ruleml-datalog.dtd (III)
A Relational Language: ruleml-datalog.dtd (IV)
A URL/URI Language: ruleml-ur.dtd
The Join Language: ruleml-urdatalog.dtd
Conclusions
Präsentationsquelle herunterladen