Talk:Use Case Documenting Axiom Formulation

From XG Provenance Wiki
Jump to: navigation, search

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.