PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.
Laura GiordanoValentina GliozziAdam JalalNicola OlivettiGian Luca PozzatoPublished in: AI*IA (2013)
Keyphrases
- theorem prover
- description logics
- automated reasoning
- first order logic
- tableau calculus
- knowledge base
- theorem proving
- knowledge representation
- inference rules
- computational properties
- reasoning tasks
- natural deduction
- formal semantics
- number restrictions
- semantic web
- ontology languages
- dl lite
- concept descriptions
- knowledge representation formalisms
- computing least common subsumers
- reasoning problems
- knowledge representation and reasoning
- owl dl
- possibility theory
- probabilistic reasoning
- dl programs
- inductive learning
- expressive power