Keyphrases
- shape analysis
- description logics
- shape representation
- knowledge base
- shape descriptors
- medical imaging
- knowledge representation
- semantic web
- image analysis and pattern recognition
- reasoning tasks
- reasoning systems
- concept descriptions
- knowledge representation formalisms
- computational properties
- knowledge representation and reasoning
- owl dl
- computing least common subsumers
- dl lite
- reasoning problems
- ontology languages
- shape space
- reasoning services
- dl programs
- knowledge representation languages
- logic programs
- computational complexity