PPT Slide

LCW Statements

View: movie-hut(X, Y) -> title-time(X, Y), title-actor(X, Z)

LCW: movie-hut(X, Y) <- title-time(X, Y), title-actor(X, Z)

To check if one rule, r , with information source predicates contains another rule, r , see if

r [s s l] contains r [s s v]

1

1

2

2

[Etzioni et al 97], [Duschka 97]

Inter-source subsumption relations

[Mirror sources] can also be handled

Previous slide

Next slide

Back to first slide

View graphic version