3.1.2 Elementos de una Ontología General

• Categorias: incluyen objetos con propiedades comúnes arregladas en taxonomías jerárquicas. Mucho del razonamiento ocurre a nivel de categorías.

  Se puede inferir la categoría de un objeto, en base a sus propiedades y luego usar información de la categoría para hacer predicciones del objeto.

  Una categoría se puede ``reificar'' (reification), que significa cambiar un predicado o función en un objeto del lenguaje. Esto permite referirse a propiedades de la categoría en sí, más que de las propiedades de los elementos de esa categoría (e.g., Población(Humanos) = 5,000,000,000).

  Las categorias permiten organizar y simplificar el conocimiento por medio de herencia. Se pueden tener clases, subclases, clases de clases, etc. Se pueden tener categorias disjuntas, descomposiciones exhaustivas o particiones.

• Medidas: relaciona objetos a cantidades de tipos particulares (e.g., masa, edad, precios, etc). Las medidas cuantitativas son en general fácil de representar. Otras medidas no tienen una escala de valores única (problemas, sabor, belleza, etc). El aspecto más importante de una medidad no es su valor numérico particular sino el hecho de que puede ordenarse.

• Objetos Compuestos: objetos que pertenecen a categorias por su estructura constitutiva (e.g., coches están compuestos de llantas, motor, ...). Se pueden tener jerarquías de tipo partes-de (parts-of). Se pueden tener relaciones de Partición de Partes (análogo a una partición de categorias). Se pueden tener objetos compuestos sin estructura (e.g., bolsa de manzanas).

• Tiempo, Espacio y Cambio: Para permitir acciones y eventos con diferentes duraciones y que puedan ocurrir simulataneamente. La noción general es que el universo es continuo tanto en tiempo como en espacio. Un espacio puede tener un tiempo y lugar particular. Un espacio puede estar dado en términos de áreas o volúmenes.

• Eventos y Procesos: Eventos individuales ocurren en un tiempo y lugar particular. Los procesos son eventos continuos y homogéneos por naturaleza. Podemos referirnos a eventos, subeventos e intervalos.

• Objetos Físicos: Al extender las cosas en tiempo y espacio, los objetos físicos tienen mucho en común con los eventos. A veces les llaman ``fluentes'' (fluents) (e.g., Polonia ha cambiado de área y posición con el tiempo)

• Substancias: Podemos pensar en substancias temporales y espaciales (e.g., mantequilla). Existen propiedades intrinsecas que son de la substancia del objeto más que del objeto mismo (color, temperatura en que se derrite, contenido de grasa, etc), y propiedades extrinsecas (peso, forma, etc). Un objeto con solo propiedades intrinsecas es una substancia (noun mass), con propiedades extrinsecas es un nombre contable (count noun). Un objeto puede pertenecer a las dos.

• Objetos Mentales y Creencias: Se tiene que razonar acerca de creencias del mundo. Podemos pensar en agentes con racionalidad limitada (hacen un número limitado de deducciones en un tiempo limitado).

En la definición de la representación de conocimiento tenemos que tomar en cuenta para qué se va a usar ese conocimiento. Podemos pensar en precondiciones de conocimiento y en efectos de conocimiento.