Graph Transformation for the Semantic Web: Queries and Inference Rules.
HongQing YuYi HongPublished in: ICGT (2008)
Keyphrases
- inference rules
- graph transformation
- modal logic
- query language
- query processing
- first order logic
- binary relations
- theorem proving
- semantic web
- theorem prover
- logical framework
- rdf data
- database
- query evaluation
- conditional probabilities
- database systems
- probabilistic knowledge
- user defined
- truth values
- natural deduction
- learning algorithm