We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a concrete system to illustrate our approach, we investigate the polyadic version of ALC extended with relational permutation operators and tuple counting. The focus of the paper is conceptual rather than technical.
翻译:我们研究将标准描述逻辑延伸至多边模式逻辑框架的问题,我们通过一般关系代数促进对此类逻辑采取自然的方法,这种代数可用来界定所有关系的业务,作为一个具体系统来说明我们的方法,我们调查以关系变异操作员和图普计算方式延伸的ALC的多语种版本,文件的焦点是概念性的,而不是技术性的。