Towards Using Description Logics for Symbolic Shape Analysis.
Lilia GeorgievaPatrick MaierPublished in: Description Logics (2005)
Keyphrases
- shape analysis
- description logics
- knowledge base
- shape representation
- image analysis and pattern recognition
- shape descriptors
- reasoning tasks
- medical imaging
- knowledge representation
- shape space
- computational properties
- knowledge representation and reasoning
- dl lite
- reasoning problems
- computing least common subsumers
- semantic web
- reasoning systems
- concept descriptions
- knowledge representation formalisms
- ontology languages
- query evaluation
- machine learning
- fuzzy description logics
- knowledge representation languages
- np hard