描述逻辑 – 计算机科学学院 电子书下载

原名:Description Logics – Faculty of Computer Science
作品简介:用一阶逻辑形式化本体。 • 完整性约束 本体指定一组约束，这些约束声明任何内容中必须包含的内容。……