DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoLuca ViolantiPublished in: Description Logics (2015)
Keyphrases
- description logics
- theorem prover
- automated reasoning
- reasoning tasks
- knowledge base
- theorem proving
- knowledge representation
- first order logic
- inference rules
- dl lite
- computational properties
- knowledge representation and reasoning
- natural deduction
- knowledge representation formalisms
- formal semantics
- ontology languages
- computing least common subsumers
- semantic web
- concept descriptions
- model theoretic
- incomplete information
- expressive power
- reasoning problems
- search algorithm
- reasoning services
- fuzzy description logics
- knowledge representation languages
- ontology based data access
- query language
- owl dl
- expert systems
- bayesian networks