Semantic Provenance: Modeling, Querying, And Application In Scientific Discovery