The Module Hierarchy of RuleML DTDs

urc-bin-data-ground-fact

urc-bin-data-ground-log

urc-bin-datalog

bin-datalog

urc-datalog

ur-datalog

ur-hornlog

ur-equalog

hornlog

equalog

datalog

ur

Rooted DAG will be extended with

branches for further sublanguages

URL/URI-like

‘ur’-objects

ruleml

RDF-like triples

ur-datalog = join(ur,datalog)

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen