|
|
Es
un objeto que define una categoría.
Describe conceptos en el
dominio de un discurso.
|
|
|
Es
en sí misma una clase, pero una que es hija de alguna
otra clase.
Representan conceptos más
específicos que la superclase.
A la relación entre
una subclase y su clase padre se le llama normalmente como
"es un tipo de" o "es una" relación.
|
|
|
Una
colección de clases conectadas por relaciones "es un
tipo de" componen lo que se denomina una clase jerárquica
[class hierarchy].
Un ejemplo de clase jerárquica
es una clasificación de instrumentos musicales.
En el fondo de una clase
jerárquica existe un número de casos o ejemplos.
|
- Casos / ejemplos
[instances]
|
Ejemplos
específicos pertenecientes a alguna clase. |
- [Slots] (roles
o propiedades) [atributos?]
|
Propiedades
de cada concepto que describen varias características
y atributos del concepto. |
- Facetas [facet]
(restricciones de rol)
|
Se
utiliza para definir qué tipo de valor
puede contener un slot particular.
"Propiedad de" ["owned-by"]
tiene que referirse a un tipo de persona.
|
|
|
Los
slots y valores describen atributos que se aplican a
alguna clase o ejemplo. Por ejemplo, para cada instrumento musical,
podríamos tener una propiedad que establezca que cada
instrumento musical tenga un dueño. |
|
|
Es
posible declarar el valor por defecto. Por ejemplo, podemos
establecer como un valor por defecto que los instrumentos de
cuerda están hechos de madera. |
|
|
Tipo
de valor. |
|
|
Define
cuántos valores puede tener un slot individual
(máximo y mínimo). |
|
|
Es
el proceso por el cual las subclases y ejemplos de alguna clase
heredan propiedades y valores definidos más arriba en
la jerarquía. |
|
|
Es
un espacio vacío que puede (re)llenarse preguntando a
clases y ejemplos. Cada variable comienza con un signo de interrogación. |
|
|
Por
deducción puede obtenerse un
nuevo conocimiento partiendo del conocimiento que se
encuentra en la ontología.
La definición de
esta nueva relación (llamada "puede permitirse" [can-afford])
es como sigue:
(def relation
can-afford ?person ?instrument
(and (rich
?person yes)
(price
?instrument expensive)))
Las relaciones utilizan variables. |