Keyphrases
- inference rules
- modal logic
- semantic web
- logical framework
- truth values
- proof procedures
- sequent calculus
- epistemic logic
- natural deduction
- rdf knowledge bases
- horn clauses
- probability theory
- proof search
- cut elimination
- theorem proving
- ontology languages
- rdf graphs
- first order logic
- knowledge base
- rdf schema
- semantic web standards
- owl ontologies
- classical logic
- knowledge representation
- theorem prover
- temporal logic
- owl dl
- logic programming language
- rdf data
- semantic web technologies
- logic programming
- formal semantics
- linear logic
- linked data
- web ontology language
- databases
- proof procedure
- set of inference rules
- machine learning
- learning algorithm
- ontology mappings
- database systems
- xml documents
- query processing
- rdf triples
- description logics
- situation calculus
- markup language