Conhecimento do Domínio

O conhecimento do domínio descreve a informação estática principal e os objetos de conhecimento em un domínio de aplicação.
De acordo com Gruber, conhecimento em ontologia pode ser especificado usando cinco tipos de componentes:

Conceitos

Também conhecido também como classe, são usadas em um amplo sentido. Podem ser abstratas ou concretas, elementares ou compostas, reais ou fictícias.
Conceito pode ser qualquer coisa na qual algo é dito, e portanto, poderia também ser uma descrição de uma tarefa, função, ação, estratégia, processo de raciocínio etc. As seguintes questões idetificam a expessividade de uma linguagem quanto à definiçãoo de classes:

É possível definir metaclasses (ou classes como instâncias de outras)?
É possível definir partições (ou conjuntos disjuntos de classes)?
A linguagem permite a definição de atributos (ou slots)? Por exemplo:

Atributos locais: pertecem a um determinado conceito.
Instância de atributos (slots templates): atributos cujo o valor pode ser diferente para cada instância de um conceito.
Atributos de classes (own slots): atributos cujo o valor pode ser o mesmo para todas as instâncias de um conceito.
Atributos polimórficos: Atributos com o mesmo nome mas com comportamento diferente.

A linguagem provê tipos pré-definidos (predenided facets) de atributos?

Valor default
Tipo
Restrição de cardinalidade
Definição operacional (Ex.: um método para calcular o valor)
Podem ser criados novos atributos para atributos?

Taxonomias

São utilizadas para organizar o conhecimento num domínio usando relações de generalização/especialização através das herança simples/múltipla.

Subclasses: especialização de conceitos
Decomposição disjunta: definir partições como uma subclasse
Decomposição exaustiva em subclasses: definir partições como subclasses (e a união dessas subclasses resulta a classe superior).
Não é subclasse de: pode ser usada para dizer que uma subclasse não é a especialização de um conceito.

Relações

Representa o tipo de interação entre conceitos do domínio. São formalmente definidos como subconjuntos de um produto de n conjuntos.

Funções

Representa um tipo especial de relação onde o valor do último argumento é único para uma lista de valores dos n-1 argumentos.

Para relações e funções, é possível considerar sobre seus argumentos:

É possível definir relações/funções n-árias? Senão, qual o limite máximo?
O tipo dos argumentos pode ser restrito?
É possível definir restrições de integridade?
É possível definir definições operacionais para inferir valores de argumentos com procedimentos, fórmulas e regras, ou para definir sua semântica usando axiomas ou regras?

Axiomas

Modela sentenças que são sempre verdade. Características importantes:

A linguagem suporta construir axiomas de primeira ordem?
A linguagem suporta construir axiomas de segunda ordem?

Instâncias/Fatos/Afirmações

Instâncias são elementos de um dado conceito (objeto =>classe assim como instância => conceito).
Fatos são as relações que são satisfeitas entre elementos.
Afirmações são fatos sobre instâncias (podem ser transitórios).

É possível definir instâncias de conceitos?
É possível definir instâncias de relações (fatos)?
Existe algum mecanismo especial para tratar afirmações?

Regras de Produção

Seguem a estrutura Se ... Então ... , são usadas para expressar de conjuntos de ações e heurísticas com o qual pode ser representado independentemente da forma que é usada. As questões sobre este:

É possível definir premissas disjuntivas e conjuntivas?
O mecanismo de encadeamento pode ser definido declarativamente?
É possível definir valores verdade ou valores de certeza atrelados a uma regra?
Os procedimentos podem ser incluídos no conseqüente?
A linguagem suporta atualizações da base de conhecimento, adicionando ou removendo fatos ou afirmações?

PÁGINA PRINCIPAL

Eudenia Xavier Meneses

13/12/2000