Description Logic, Theory Combination, and All That by Carsten Lutz & Uli Sattler & Cesare Tinelli & Anni-Yasmin Turhan & Frank Wolter

Author:Carsten Lutz & Uli Sattler & Cesare Tinelli & Anni-Yasmin Turhan & Frank Wolter
Language: eng
Format: epub
ISBN: 9783030221027
Publisher: Springer International Publishing

(1)

where each is either a variable or a constant, in is an atomic formula (possibly an equality statement) containing all free variables of . This fragment is “good” in a sense that it is decidable and has finite model property, that we use to prove Theorem 4.

Definition 9

(Answer-guarded formula). A first-order logic formula is answer-guarded if it has a form

where is some first-order logic formula and Atom is a predicate which arity is equal to the number of free variables of the formula.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.