Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning.
Xiuqin ZhongHongguang FuYan JiangPublished in: FGIT-DTA/BSBT (2010)
Keyphrases
- theorem proving
- knowledge representation and reasoning
- automated reasoning
- knowledge representation
- first order logic
- reasoning systems
- semantic modeling
- expert systems
- logical inference
- knowledge base
- decision procedures
- theorem prover
- predicate logic
- logic programming
- inference rules
- artificial intelligence
- parallel search
- description logics
- automated deduction
- term rewriting
- proof procedure
- propositional logic
- probabilistic reasoning
- rule base
- incomplete information
- domain ontology
- domain specific
- proof planning
- automated theorem proving
- relational databases
- geometry theorem proving
- programming language
- general purpose
- object oriented