An ASP approach for reasoning in a concept-aware multipreferential lightweight DL.
Laura GiordanoDaniele Theseider DupréPublished in: CoRR (2020)
Keyphrases
- lightweight
- description logics
- number restrictions
- knowledge base
- computational properties
- reasoning tasks
- expressive description logics
- expressive power
- reasoning problems
- wireless sensor networks
- vague concepts
- development environments
- formal logic
- communication infrastructure
- ontological reasoning
- dos attacks
- handheld devices
- web applications