OWL: dominio e intervallo con ambito

Question

Qual è la differenza tra dominio con ambito e dominio ? Anche gamma e portata con ambito . E come viene definito in Protege che una singola proprietà abbia due diversi domini con ambito o intervalli con ambito?

PS Intendo usare due diversi mezzi di dominio con ambito:
R ha intervallo B se il dominio è A
R ha intervallo D se il dominio è C

Answer 1

Il fatto che il dominio della proprietà dell'oggetto Rsia Apotrebbe essere scritto in questo modo:

R some owl: Thing SubClassOf A

Il fatto che l'intervallo della proprietà dell'oggetto Rsia Bpotrebbe essere scritto in questo modo:

owl: Thing SubClassOf R only B

Si possono generalizzare leggermente questi record.

Il dominio di Rambito con / da Bè A:

R alcuni B Sottoclasse di A

La gamma di Rambito con / da Aè B:

Un subClassOf R solo B

In Protégé, è possibile digitare questi assiomi in questi punti (premendo il pulsante ⊕ tutte le volte che si desidera):

• Ontologia attiva> Assiomi di classe generali> Assiomi di classe generali , o
• Entità> Classi> [Classe]> Descrizione> Assiomi di classe generali .

Inoltre, il plug-in OWLAx può generare assiomi sia con ambito che senza ambito.

---

In termini DL, dominio con ambito e assiomi di intervallo sono:

• ∃RB ⊑ A invece di ∃R.⊤ ⊑ A ,
• A ⊑ ∀RB invece di ⊤ ⊑ ∀RB .

In termini di SWRL:

• B(?y) ^ R(?x,?y) -> A(?x)invece R(?x,?y) -> A(?x),
• A(?x) ^ R(?x,?y) -> B(?y)invece di R(?x,?y) -> B(?y).