Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents.
Tim S. LyonJonas KargePublished in: CoRR (2024)
Keyphrases
- description logics
- linear logic
- fixed point
- sequent calculus
- reasoning tasks
- knowledge base
- knowledge representation
- dl lite
- computing least common subsumers
- propositional logic
- semantic web
- logical framework
- computational properties
- knowledge representation and reasoning
- reasoning problems
- concept descriptions
- knowledge representation formalisms
- modal logic
- owl ontologies
- ontology languages
- belief propagation
- natural deduction
- fuzzy description logics
- dl programs
- artificial intelligence