A Logic Programming Approach to Scientific Workflow Provenance Querying.
Yong ZhaoShiyong LuPublished in: IPAW (2008)
Keyphrases
- logic programming
- scientific workflows
- provenance information
- logic programs
- scientific data
- logic programming language
- nonmonotonic reasoning
- answer set programming
- semantic annotation
- knowledge representation
- deductive databases
- databases
- knowledge base
- service oriented
- data provenance
- programming language
- workflow systems
- web services
- answer sets
- default logic
- file system
- database
- query language
- semantic web
- stable models
- query processing
- database querying
- general purpose
- knowledge acquisition
- artificial intelligence
- computational logic