(Hyper)sequent Calculi for the ALC(S4) Description Logics.
Juan Pablo Munoz TorizEverardo BárcenasIván Martínez RuizJosé Ramón Enrique Arrazola-RamírezPublished in: Computación y Sistemas (2016)
Keyphrases
- description logics
- sequent calculi
- knowledge base
- conditional logic
- reasoning tasks
- knowledge representation
- knowledge representation and reasoning
- modal logic
- fuzzy description logics
- cut elimination
- dl lite
- description logic alc
- expressive description logics
- computational properties
- semantic web
- concept descriptions
- exptime complete
- reasoning systems
- reasoning problems
- model theoretic
- sequent calculus
- linear logic
- default reasoning
- computational complexity