An ASP approach for reasoning in a concept-aware multipreferential lightweight DL.
Laura GiordanoDaniele Theseider DupréPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- lightweight
- description logics
- number restrictions
- knowledge base
- expressive description logics
- expressive power
- answer set programming
- reasoning tasks
- reasoning problems
- wireless sensor networks
- formal logic
- reasoning systems
- computational properties
- development environments
- communication infrastructure
- low cost
- knowledge representation
- ontological reasoning
- dos attacks
- owl dl