Keyphrases
- description logics
- knowledge base
- knowledge representation
- dl lite
- semantic web
- computational properties
- reasoning problems
- website
- expressive description logics
- owl dl
- multi agent
- dl programs
- computational complexity
- description logic programs
- real time
- model theoretic
- special case
- expert systems
- search algorithm
- databases