Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results
Artificial Intelligence
2007-05-23 v1 Logic in Computer Science
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.
Cite
@article{arxiv.cs/0409045,
title = {Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results},
author = {Amar Isli},
journal= {arXiv preprint arXiv:cs/0409045},
year = {2007}
}
Comments
in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 123-127, Valencia, Spain, 2004