DL Reasoner vs. First-Order Prover.
Dmitry TsarkovIan HorrocksPublished in: Description Logics (2003)
Keyphrases
- first order logic
- theorem proving
- theorem prover
- knowledge base
- query answering
- expressive power
- description logics
- rule engine
- higher order
- consistency checking
- unions of conjunctive queries
- dl lite
- data exchange
- knowledge representation
- digital libraries
- stochastic dominance
- rule base
- predicate calculus
- database
- databases
- oai pmh
- model theoretic
- relational learning
- inference rules
- conjunctive queries
- query language
- information systems
- neural network