Reasoning in the Description Logic ALC under Category Semantics.
Ludovic BrieulleChan Le DucPascal VaillantPublished in: CoRR (2022)
Keyphrases
- description logic alc
- description logics
- modal logic
- reasoning tasks
- open world
- reasoning services
- knowledge base
- computational properties
- reasoning problems
- reasoning systems
- proof theory
- knowledge representation
- knowledge representation and reasoning
- reasoning mechanism
- fuzzy description logics
- logic programming
- proof theoretic
- logical framework
- temporal logic
- reasoning mechanisms
- default reasoning
- model theoretic
- normal form
- default rules
- graphical representation
- vague concepts
- highly expressive
- defeasible reasoning
- owl dl
- automated reasoning
- uml class diagrams
- inference rules
- abstract argumentation
- reasoning process
- probabilistic reasoning
- logical rules
- logic programs
- legal reasoning
- relational databases