Definicion y elementos de una ontologia.

# == 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.