Example (cont.d)

A more complex version.

• Analyze entities and relations in more detail

• Predicates for entity types:

vehicle(x) - x is a vahicle

truck(x) - x is a truck

trailer-truck(x) - x is a trailer truck

wheel(x) - x is a wheel

set(s) - s is a set

• Predicates for basic relations:

part(x, y) - x is a part of y

x___s - x is a member of s

count(s, n) - the count of elements in s is n

• Type hierarchy

(_x) (trailer-truck(x) __truck(x))

(_x) (truck(x) __vehicle(x))

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica