Keyphrases
- semantic web
- linked data
- logic programming
- automated reasoning
- knowledge base
- predicate logic
- multi valued
- markup language
- modal logic
- provenance information
- proof theory
- asynchronous circuits
- sound and complete axiomatization
- inference control
- data model
- semantic data
- database
- stored in relational databases
- deontic logic
- dublin core
- formal semantics
- theorem prover
- topic maps