A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.
Bernardo AlkmimEdward Hermann HaeuslerCláudia NalonPublished in: Description Logics (2022)
Keyphrases
- description logics
- natural deduction
- expressive description logics
- theorem prover
- cut elimination
- inference rules
- knowledge base
- theorem proving
- linear logic
- number restrictions
- sequent calculus
- reasoning tasks
- inverse roles
- computational properties
- knowledge representation
- reasoning systems
- dl lite
- exptime complete
- semantic web
- ontology languages
- first order logic
- reasoning problems
- model theoretic
- reasoning services
- snomed ct