A Multi-engine Theorem Prover for a Description Logic of Typicality.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoLuca ViolantiPublished in: AI*IA (2015)
Keyphrases
- description logics
- theorem prover
- automated reasoning
- first order logic
- reasoning tasks
- knowledge representation
- logical implication
- theorem proving
- inference rules
- knowledge base
- dl lite
- semantic web
- knowledge representation and reasoning
- reasoning problems
- computational properties
- ontology languages
- formal semantics
- natural deduction
- concept descriptions
- model theoretic
- reasoning mechanism
- snomed ct
- computing least common subsumers
- deductive databases
- expert systems
- search space
- probabilistic model
- probability distribution
- refinement operators
- machine learning
- reasoning services