OWL: domínio com escopo e intervalo

Question

Qual é a diferença entre domínio com escopo e domínio ? Também alcance e alcance com escopo . E como é definido no Protege para uma única propriedade ter dois domínios ou intervalos de escopo diferentes?

PS Quero dizer, usar dois meios de domínio com escopo diferente:
R tem faixa B se o domínio for A
R tem faixa D se o domínio for C

Answer 1

O fato de que o domínio da propriedade do objeto Ré Apoderia ser escrito desta forma:

R alguma coruja: Coisa subClassOf A

O fato de que a gama da propriedade do objeto Ré Bpoderia ser escrito desta forma:

coruja: Thing SubClassOf R only B

Pode-se generalizar esses registros ligeiramente.

O domínio do Rescopo com / por Bé A:

R some B SubClassOf A

O intervalo de Rescopo com / por Aé B:

A SubClassOf R apenas B

No Protégé, pode-se digitar esses axiomas nestes locais (pressionando o botão ⊕ quantas vezes quiser):

• Ontologia ativa> Axiomas de classes gerais> Axiomas de classes gerais ou
• Entidades> Classes> [Classe]> Descrição> Axiomas Gerais de Classe .

Além disso, o plug-in OWLAx pode gerar axiomas com ou sem escopo.

---

Em termos de DL, domínio com escopo e axiomas de intervalo são:

• ∃RB ⊑ A em vez de ∃R.⊤ ⊑ A ,
• Um ⊑ ∀RB em vez de ⊤ ⊑ ∀RB .

Em termos de SWRL:

• B(?y) ^ R(?x,?y) -> A(?x)em vez de R(?x,?y) -> A(?x),
• A(?x) ^ R(?x,?y) -> B(?y)em vez de R(?x,?y) -> B(?y).