ALC(š¯”½): A New Description Logic for Spatial Reasoning in Images.
CĆ©line HudelotJamal AtifIsabelle BlochPublished in: ECCV Workshops (2) (2014)
Keyphrases
- description logics
- spatial reasoning
- knowledge base
- reasoning tasks
- knowledge representation
- image features
- semantic web
- dl lite
- computing least common subsumers
- reasoning problems
- ontology languages
- image classification
- object recognition
- spatial relations
- exptime complete
- image retrieval
- number restrictions
- knowledge representation languages
- inverse roles
- spatial information
- keypoints
- contextual information
- owl dl
- logical implication