DAML: MIT Program Review (2000-2004)
reification and proof
ontologies, processed by cwm
flatten n3's formula literals into RDF
trace cwm rules firing
verify transmitted proofs (rule-traces)
Contents
Change style
Previous
Next
19