F·巴德。;莫利托，R。;托比斯，S。 概念图的可牵引和可判定片段。 （英语） Zbl 0938.03016号 Tepfenhart，William（编辑）等人，《概念结构：标准和实践》。1999年7月12日至15日，第七届国际会议，ICCS’99，美国弗吉尼亚州布莱克斯堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1640, 480-493 (1999). 摘要：众所周知，一般CG的有效性和包含等问题是不可判定的，而包含对于简单概念图（SG）是NP-完全的，对于树型SG是可处理的。我们将使用一阶逻辑的可判定片段的结果来识别CG的自然和表达片段，对于这些CG，有效性和包含性在EXPTIME中是可判定的。此外，我们将通过识别与树型SG类相对应的DL来扩展SG和描述逻辑（DL）之间的连接的现有工作。这产生了DL社区中以前未知的可控制性结果。关于整个系列，请参见[Zbl 0917.00017号]. MSC公司： 03B25号 理论和句子集的可判定性 68立方英尺 知识表示 2015年3月1日 计算复杂性（包括隐式计算复杂性） 65年第68季度 算法和问题复杂性分析 关键词：概念图表;一阶逻辑的可判定片段;有效性;包容;描述逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，Lect。注释计算。科学。1640、480-493（1999；Zbl 0938.03016）