RDF and Logic: Reasoning and Extension.
Jos de BruijnStijn HeymansPublished in: DEXA Workshops (2007)
Keyphrases
- proof theoretic
- automated reasoning
- proof theory
- deductive reasoning
- intuitionistic logic
- knowledge base
- logical inference
- computational properties
- human reasoning
- order of magnitude reasoning
- reasoning engine
- knowledge representation
- logical framework
- truth maintenance systems
- semantic web
- databases
- abductive reasoning
- commonsense reasoning
- metadata
- classical logic
- modal logic
- logic programming
- probabilistic logic
- reasoning process
- reasoning tasks
- linear time temporal logic
- derivation rules
- predicate logic
- causal reasoning
- knowledge representation and reasoning
- default reasoning
- nonmonotonic reasoning
- linked data
- relational data
- query language
- open world
- knowledge representation formalisms
- reasoning about actions
- natural deduction
- proof procedure
- linear logic
- reasoning systems
- model theoretic
- theorem proving
- horn logic
- formal semantics
- data sources
- temporal logic
- rdf data
- legal reasoning