Structure of the RuleML DTD Hierarchy
Our system of DTDs (current version: 0.7) uses a modularization approach similar to XHTML in order to accomodate the various rule subcommunities
The evolving hierarchy of RuleML DTDs forms a partial order with ruleml as the greatest element (a ruleml-rooted DAG) -- many ‘smallest’ elements
Each DTD node in the hierarchy (conformance “lattice”) corresponds to a specific RuleML sublanguage:
- ‘Union’ (join) of sublanguages reached via outgoing links: to smaller or equal nodes below
- ‘Intersection’ (meet) of sublanguages via incoming links: from greater or equal nodes above