Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract).
Ludovic BrieulleChan Le DucPascal VaillantPublished in: Description Logics (2022)
Keyphrases
- extended abstract
- description logic alc
- description logics
- modal logic
- reasoning tasks
- knowledge base
- computational properties
- open world
- proof theory
- reasoning services
- reasoning problems
- knowledge representation
- reasoning systems
- temporal logic
- semantic web
- proof theoretic
- fuzzy description logics
- knowledge representation and reasoning
- model theoretic
- reasoning mechanism
- logical framework
- inference rules
- graphical representation
- default reasoning
- reasoning mechanisms
- normal form
- logic programming
- machine learning
- database
- situation calculus
- logical rules
- uml class diagrams
- default rules
- owl dl
- reasoning process
- highly expressive
- defeasible reasoning
- production rules
- abstract argumentation
- legal reasoning