Logical Ontology Validation Using an Automatic Theorem Prover.
Tim vor der BrückHolger StenzhornPublished in: ECAI (2010)
Keyphrases
- theorem prover
- logical reasoning
- formal semantics
- term rewriting
- automated reasoning
- first order logic
- theorem proving
- predicate calculus
- inference rules
- automated theorem proving
- formal proof
- domain knowledge
- semantic web
- knowledge representation
- natural deduction
- higher order logic
- semi automatically
- computer algebra
- timed automata
- semantic annotation
- domain ontology
- domain specific
- proof search
- semi automatic
- programming language
- mathematical knowledge