![](https://csdnimg.cn/release/download_crawler_static/88626724/bg5.jpg)
J.M. Almendros-Jiménez/
电子笔记理论计算机科学
271
(
2011
)
3
回应一个片段。为此,首先,
DL
的片段被编码成
FOL
的片段
;
然后,
FOL
的片段被编码成逻辑编程。
OWL/DL
的其他片段也可以编码到逻辑编程
中,特别是
Volz [31]
已经将片段编码为
Datalog
,
Datalog
(
=
)
,
Datalog
(
=
,
IC
)
和
Prolog
(
=
,
IC
)
;
其中
“=”
表示
“
具有相等性
”
,
“IC”
表示
“
具有完整性约束
”
。一些
其他建议已经将片段SHIQ编码为
分离数据流
[
18
]
, 以 及
i n
到
Datal o
g
(
IC
,
i
=
not
)
[
12
]
,
其 中
“not” 表 示 “with
negation”
。
在我们的建议中,我们专注于Volz的一个 它是的一个片段 , 其
中 包 括 OWL 元 素 : rdf : type , rdfs : subClassOf , rdfs :
subPropertyOf,owl
:
equivalentProperty,owl:equivalentClass,
rdfs : domain , rdfs : range , o- wl : someValuesFrom , owl :
hasValue 和 owl : allValuesFrom , 并 处 理 owl : union 和 owl :
intersection 运 算 符 , 以 及 owl : TransitiveProper- ty , owl :
SymmetricProperty和owl:inverseOf属性。所有这些都有一定的限
制。我们相信,我们的建议可以扩展到其他片段的SHOIN研究
[31]
。
我们的工作可以作为
DLP
框架在以下意义上的扩展。将
DL
编码到
逻辑编程中定义了基于规则的蕴涵关系然而,我们的编码与
DLP
编码
不同:不是将类和角色名称编码为
Prolog
谓词,而是将它们编码为
Prolog
原子
。事实上,我们的编码只使用了一个名为triple的谓词,它
通过Prolog
事实定义
了本体的关系(即ABox和TBox因此,本体可以
很容易地存储在辅助存储器中,具有高效的访问。由于这种编码,概
念和角色名称现在是
一等公民
,并且它们可以在相应的Prolog程序和
目标中作为个体处理此外,在我们的方法中,与DLP方法相比,描述
逻辑中的
复杂概念
通过Prolog
术语
来处理。为
例如,
P. C
表示为
所有(P
,
C)的Prolog项。 它还允许处理复杂的
概念,也作为一等公民。我们的工作也可以
被认为是
DLP
框架的扩展,因为我们研究了一种比
DLP
更灵活
的查询语
言
。通过研究给定片段的描述逻辑公式之间的蕴涵关系,我们能够为
DLP
框架中例如,我们可以在我们的
C
(
I
)类型的框架类型化公式,也就是说,
I
是类型为
C
的个体,尽管
C
(
I
)在
ABox
中没有显式声明。但更有趣的是,这样的类型(即,
C)可以作为我们的查询语言的答案进行检索。这是不可能的DLP编
码,因为DLP. C