Warning:
This wiki has been archived and is now read-only.
Talk:Use Case Documenting Axiom Formulation
From XG Provenance Wiki
Potentially add to exisiting work:
McGuinness and Pinheiro da Silva -ISWC 03 describes how Inference Web can be used to encode source information concerning how axioms have been derived along with what raw source information is depended upon.