Texto baseado no artigo Formal Ontology and Information Systems de Nicola Guarino
O que é ontologia
Podemos
agora esclarecer o papel de uma ontologia, considerado como um
conjunto de axiomas lógicos concebidos para explicar o significado
de um vocabulário pretendido. Dada uma linguagem L com compromisso
ontológico K, uma ontologia para L é um conjunto de axiomas de forma que o conjunto de seus modelos se aproxima da
melhor forma possível do conjunto de modelos pretendidos de L de
acordo com K (Fig. 1). Em geral, não é fácil (nem sempre
conveniente) encontrar o correto conjunto de axiomas, de modo
que uma ontologia irá admitir outros modelos, além dos que se
pretendiam. Portanto, uma ontologia pode "especificar" uma conceituação de forma indireta, desde vez que i) tenha um conjunto aproximado dos modelos pretendidos; ii) um conjunto desses modelos é apenas uma fraca caracterização de um
conceitualização. Diremos
que uma ontologia O para uma linguagem L aproxima
de uma conceituação C se
existe um compromisso ontológico K = <C,a> , de
tal forma que os modelos pretendidos de L segundo
K são incluídas nos modelos de O. Uma ontologia comprometida com C deve ser i) concebida com o objetivo de caracterizar C, e ii) se aproxima de C.
Uma linguagem L compromete-se com uma ontologia O que se compromete com uma conceituação C, tal que O concorda com C. Com esses
esclarecimentos, chegamos à seguinte definição, que refina a
definição de Gruber, fazendo uma clara diferença entre uma
ontologia e uma conceituação:
Uma
ontologia é uma teoria lógica que representa o significado
pretendido de um vocabulário formal, isto é, o seu comprometimento
ontológico com uma conceituação particular do mundo.
Os
modelos pretendidos de uma linguagem lógica são limitados por seu compromisso ontológico. Uma ontologia reflete
indiretamente esse compromisso (E
conceituação fundamental). Pela aproximação destes modelos
pretendidos.
As
relações entre o vocabulário, conceituação, o compromisso
ontológico e a ontologia
são ilustrados na fig. 1.
É importante salientar que uma
ontologia é uma linguagem dependente, enquanto a conceituação é
independente de linguagem.
Figura
1: O modelo pretendido de uma linguagem lógica reflete o seu
compromisso de uma conceituação.
Nenhum comentário:
Postar um comentário