This paper introduces the information architecture of a textual formal language to represent and to reason about real problems based on domain ontologies and foundational ontologies. The framework is based on Logic Programming, and consists of a formal language that uses the metamodeling paradigm to produce heterogeneous ontologies that can be described as instances of foundation ontologies.
Keywords:
Unified Foundation Ontology; Non-Classical Logic; Logic Programming
| Tipo de sentença | Descrição |
| DISJOINT | Representa uma lista de conceitos que qualquer dois não podem figurar conjuntamente como supertipos de subsunções ou metatipos de instâncias |
| INSTANCE | Denota a relação de instância estabelecida entre entidades |
| PARTIAL_SUBSUMPTION | Estabelece a relação de subsunção entre entidades |
| COMPLETE_SUBSUMPTION | Estabelece a relação de subsunção entre entidades com informação adicional de que as subsunção apresentada são todas as possíveis para as classes mais gerais |
| PROPERTY_ASSOCIATION | Define a relação de associação de propriedade |
| PROPERTY_ASSIGNMENT | Define a relação de atribuição de valor de propriedade |
| SUBSETS | Denota a relação de subconjunto de relação ontológica entre entidades |
| REDEFINES | Denota a relação de redefinição de relação ontológica entre entidades |
| POWER_TYPE | Define a relação de power type entre entidades |
| META | Atribui meta-propriedades a entidades |
| 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 |
Fonte: os autores
Fonte: os autores
Fonte: Os autores.
Fonte: Os autores.
