Mnemônico da relação |
Nome e interpretação |
domínio |
entity(e) |
entity: entidade ontológica do universo de discurso, sobre os quais se atribui predicados. A variável e denota uma constante atribuída a cada conceito da ontologia no paradigma Unique-Name Assumption, ou seja, cada conceito distinto é representado por um e exatamente um e, e cada e distinto representa um e exatamente um conceito da ontologia, de modo que não existam e1 e e2 que representem o mesmo conceito, nem um conceito representado por dois e distintos |
e ∈ C |
dio(i, m) |
direct instance of: instância direta, em que i é instância de m. Formalmente, entende-se que i é membro do conjunto m |
(i ∪ m) ∈ C |
deo(t, s) |
direct extension of: subsunção direta, em que s é o tipo superior de t |
(t ∪ s) ∈ C |
dd([c1, ... , cn]) |
direct disjuntion: disjunção direta, em que os conceitos [c1, ..., cn] são disjuntos no sentido de que não é o caso que aconteça um c ∈ C ser instância de ca e de cb, ou instância de algum ca1 e de algum cb1 que estendam transitiva, reflexiva e respectivamente ca e cb, para ca ≠ cb e ca1 ≠ cb1,sendo {ca, cb } ⊆ {c1, ..., cn} |
ci ∈ C em que i ∈ {1, ..., n} |
dcomplete(ct, [c1, ..., cn]) |
direct complete subsumption: subsunção direta completa, em que [c1, ..., cn] são exaustivamente todos os conceitos subordinados (ou que estendem) ct, ou seja, não é o caso que exista um cm que participa da relação deo(cm, ct) e que cm ∉ {c1, ..., cn} se ocorre dcomplete(ct, {c1, ..., cn}); cada ocorrência de dcomplete/2 denota uma partição conceitual das subsunções de ct |
(ct ∪ ci) ∈ C em que i ∈ {1, ..., n} |
pt(t,w) |
power type: em que w é um power type de t. A ideia de powertype denota que se pode inferir que instâncias de t estendem w |
(t ∪w) ∈ C |
dmo(m, c) |
direct meta-property on: meta-propriedade direta de, em que é uma meta-propriedade atribuída à c |
m ∈ G e c ∈ C |
dpo(p, c) |
direct property on: propriedade direta em, em que p é uma propriedade em c |
(p ∪ c) ∈ C |
dpv(at(p, c), v) |
direct property value on: valor da propriedade, em que v é o valor da propriedade p em c |
(p ∪ c) ∈ C e v ∈ (C ∪ G) |
dso(s, t) |
direct subset of: subconjunto direto de, em que s é a entidade que denota o subconjunto do conjunto denotado por t |
(s ∪ t) ∈ C |
dro(r, t) |
direct redefinition of: redefinição direta de, em que r é a entidade que denota a redefinição do conjunto denotado por t |
(r ∪ t) ∈ C |
defeasible(r) |
defeasible relation: r é uma relação semântica retratável. Utilizada para definição de regras padrão (default rules), retratáveis na presença de fatos concretos |
r ∈ R |