1.

Criterios de diseo para ontologas

Ontologas formales estn diseados. Cuando elegimos cmo representar
algo en una ontologa, estamos tomando decisiones de diseo. Para guiar
y evaluar nuestros diseos, necesitamos criterios objetivos que se basen
en el propsito del artefacto resultante, en lugar de basarse en nociones
a priori de naturalidad o Verdad. Aqu proponemos un conjunto preliminar
de criterios de diseo para ontologas cuyo propsito es el intercambio de
conocimientos y la interoperacin entre programas basados en una
conceptualizacin compartida.
1. Claridad: Una ontologa debe comunicar efectivamente el significado
deseado de trminos definidos. Las definiciones deben ser objetivas. Si
bien la motivacin para definir un
Concepto podra surgir de situaciones sociales o requisitos
computacionales, la definicin debe ser independiente del contexto social
o computacional. El formalismo es un medio para este fin. Cuando una
definicin puede ser expresada en axiomas lgicos, debe ser. Cuando sea
posible, se prefiere una definicin completa (un predicado definido por
condiciones necesarias y suficientes) sobre una definicin parcial
(definida slo por condiciones necesarias o suficientes). Todas las
definiciones deben ser documentadas con lenguaje natural.
2. Coherencia: Una ontologa debe ser coherente: es decir, debe
sancionar inferencias que sean consistentes con las definiciones. Como
mnimo, los axiomas que definen deben ser lgicamente consistentes. La
coherencia tambin debe aplicarse a los conceptos que se definen de
manera informal, como los descritos en la documentacin y ejemplos de
lenguaje natural. Si una oracin que puede deducirse de los axiomas
contradice una definicin o ejemplo dado de manera informal, entonces la
ontologa es incoherente.
3. Extensibilidad: Se debe disear una ontologa para anticipar los usos
del vocabulario compartido. Debe ofrecer una base conceptual para una
serie de tareas previstas y la representacin debe ser elaborada de tal
manera que se pueda extender y especializar la ontologa de forma
montona. En otras palabras, uno debera ser capaz de definir nuevos
trminos para usos especiales basados en el vocabulario existente, de
una manera que no requiera la revisin de las definiciones existentes.
4. Vialidad de codificacin mnima: la conceptualizacin debe
especificarse en el nivel de conocimiento sin depender de una
codificacin de nivel de smbolo particular. Se produce un sesgo de
codificacin cuando se hacen elecciones de representacin puramente
para la conveniencia de la notacin o implementacin. El sesgo de
codificacin debe ser minimizado, porque los agentes de intercambio de
conocimientos pueden ser implementados en diferentes sistemas de
representacin y estilos de representacin.
5. Compromiso ontolgico mnimo: Una ontologa debe requerir el
compromiso ontolgico mnimo suficiente para apoyar las actividades de
intercambio de conocimientos previstas. Una ontologa debe hacer tan
pocas afirmaciones como sea posible sobre el mundo que est siendo
modelado, permitiendo que las partes comprometidas con la libertad de
ontologa se especialicen e instancien la ontologa segn sea necesario.
Dado que el compromiso ontolgico se basa en el uso constante del
vocabulario, el compromiso ontolgico puede minimizarse especificando
la teora ms dbil (permitiendo la mayora de los modelos) y definiendo
slo aquellos trminos que son esenciales para la comunicacin del
conocimiento coherente con esa teora.