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