arXivDaily arXiv每日学术速递 周一至周五更新
arXiv cs/0409045cs.AIcs.LO
收藏

用时间角色和空间具体域扩充ALC(D)(非时间)角色和(非空间)具体域-结果优先

Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results

Amar Isli

摘要:

我们考虑著名的家庭ALC(D)的描述逻辑与一个具体的域,并提供了第一个结果的框架,通过增强ALC(D)的atemporal角色和aspatial具体域的时间角色和空间具体域。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑