Scifaro

中文

用时间角色与空间具体域扩充 ALC(D) 的（非时间）角色与（非空间）具体域——初步结果

人工智能 2007-05-23 v1 计算机科学中的逻辑

作者: Amar Isli

在 arXiv 上查看 ↗ PDF ↗

摘要

我们考虑了带有具体域的著名描述逻辑族 ALC(D)，并提供了通过用时间角色和空间具体域扩充 ALC(D) 的非时间角色和非空间具体域所得到的框架的初步结果。

关键词

描述逻辑 ALC(D) 具体域时间角色空间具体域

引用

@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}
}

备注

in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 123-127, Valencia, Spain, 2004