Keyphrases
- programming language
- description logics
- general purpose
- knowledge base
- object oriented
- software engineering
- high level
- knowledge representation
- strongly typed
- logic programming
- dl lite
- reasoning problems
- knowledge representation and reasoning
- ontology languages
- reasoning systems
- computing least common subsumers
- model theoretic
- data model
- machine learning
- owl dl
- databases
- database