为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Table......

为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBoxT、ABoxA和角色层次H，该算法通过预处理将彳转换成标准的ABoxA......

为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox几ABoxA和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的......