O'Reilly logo

Handbook of Automated Reasoning by Andrei Voronkov, Alan J.A. Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

5.2 Variations of A L B si525_e

A closer inspection of the formulas we obtain from translating A L B si526_e knowledge bases into first-order logic reveals, that only the presence of the top role ∇ and role complement prevents Π(Γ) from being guarded for arbitrary knowledge bases Γ.

5.19. Example

Consider the A L B si527_e expressions ∀∇.A and ∀¬P.A. The translation of these expression is (∀y) (T → A(y)) and (∀y) (¬P(x, y) → A(y)), respectively. ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required