description-logic
-
与 racer reasoner 连接失败
-
如何区分描述逻辑中的'primitives''axioms''expressions''basic axioms''primitive terms'/OWL？
-
如何解释："A subclassOf of B, C"？作为 rdfs / owl / 描述逻辑中的 AND 或 OR？
-
描述 需要对两个个体的相同性或差异进行建模的逻辑表示
-
了解描述逻辑 (DL) 中概念的普遍限制
-
如何使用 Protege 从本体中生成描述逻辑中的公理？
-
Owl 形式语义
-
DL 中的范围定义
-
描述逻辑中存在量词的使用
-
OWL 2 QL 与 RDFS
-
使用 OWL API 生成 DL 表达式
-
为什么我不能直接在owlapi中使用merge来合并ABox和TBox？
-
这可以用 ALCQ 语法表达吗？
-
OWL 2，为什么关键公理的语义是特定于命名个体的？
-
Protege 中对象 属性 ontology 的限制
-
(Un)Inferred Subclass Rules Protected vs OWL API
-
属性 对 OWL 2（概念产品）中每个人的 class 级别的断言
-
命名法：RDF 图中的参数化 类
-
Class 关系 OWL
-
将描述逻辑应用于模型