Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results
arXiv:cs/0409045
Abstract
We consider the well-known family ALC(D) of description logics with a concrete domain, and provide first results on a framework obtained by augmenting ALC(D) atemporal roles and aspatial concrete domain with temporal roles and a spatial concrete domain.
in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 123-127, Valencia, Spain, 2004