Herencia con excepciones

• valor por defecto, B es un valor por defecto para la relación R y los miembros de A Rel(R, A, B): cada miembro de A debe tener una relación R con B a no ser que intervenga otro A' tal que Rel(R, A', B')
• reificación: define la semántica en FOL
  • reificar la relación: se convierte la relación R en un objeto, no en un predicado como sería lo normal
  • Rel(R, A, B) es una sentencia atómica. No podemos escribier R(x,B) ya que R es un objeto y no un predicado
  • Val(R, x, B) significa que el equivalente de una relación R(x,B) se introduce explícitamente en la red semántica
    
    
    
  • como saber que relaciones no se satisfacen?