Keyphrases
- knowledge base
- reasoning services
- knowledge representation
- query answering
- semantic web
- owl ontologies
- rdf knowledge bases
- description logics
- consistency checking
- ontology languages
- owl dl
- meta reasoning
- object oriented programming language
- temporal reasoning
- semantic web technologies
- data complexity
- web ontology language
- domain knowledge
- case study