问题描述
范围域和域有什么区别?还有范围范围和范围.Protege 中如何定义一个属性具有两个不同的作用域域或作用域范围?
附言我的意思是使用两个不同范围的域意味着:
如果域是 A,R 的范围是 B
如果域是 C,R 的范围是 D
对象属性 R
的域是 A
的事实可以这样写:
对象属性R
的范围是B
的事实可以这样写:
可以稍微概括这些记录.
R
的作用域为/by B
是 A
:
R
作用域为/by A
的范围是 B
:
在 Protégé 中,您可以在这些地方输入这些公理(按需要多次按下 ⊕ 按钮):
- 主动本体>一般类公理 >一般类公理,或
- 实体 >类 >[类] >说明 >一般类公理.
此外,OWLAx 插件可以生成作用域和非作用域公理.
在 DL 术语中,作用域和范围公理是:
- ∃R.B ⊑ A 而不是 ∃R.⊤ ⊑ A,
- A ⊑ ∀R.B 而不是 ⊤ ⊑ ∀R.B.
在 SWRL 方面:
B(?y) ^ R(?x,?y) ->A(?x)
而不是R(?x,?y) ->A(?x)
,A(?x) ^ R(?x,?y) ->B(?y)
而不是R(?x,?y) ->B(?y)
.
What is the difference between scoped domain and domain? Also scoped range and range. And how is it defined in Protege for a single property to have two different scoped domains or scoped ranges?
P.S. I mean using two different scoped domain means:
R has range B if domain is A
R has range D if domain is C
The fact that the domain of the object property R
is A
could be written in this way:
R some owl:Thing SubClassOf A
The fact that the range of the object property R
is B
could be written in this way:
owl:Thing SubClassOf R only B
One can generalize these records slightly.
The domain of R
scoped with / by B
is A
:
R some B SubClassOf A
The range of R
scoped with / by A
is B
:
A SubClassOf R only B
In Protégé, one can type these axioms in these places (pressing the ⊕ button as many times as one wishes):
- Active Ontology > General Class Axioms > General Class Axioms, or
- Entities > Classes > [Class] > Description > General Class Axioms.
Also, the OWLAx plugin can generate both scoped and non-scoped axioms.
In DL terms, scoped domain and range axioms are:
- ∃R.B ⊑ A instead of ∃R.⊤ ⊑ A,
- A ⊑ ∀R.B instead of ⊤ ⊑ ∀R.B.
In SWRL terms:
B(?y) ^ R(?x,?y) -> A(?x)
instead ofR(?x,?y) -> A(?x)
,A(?x) ^ R(?x,?y) -> B(?y)
instead ofR(?x,?y) -> B(?y)
.
这篇关于OWL:作用域和范围的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!