General Logical Databases and Programs: Default Logic Semantics and Stratification

By Nicole Bidoit, Christine Froidevaux. 1991

Abstract Default logic is introduced as a well-suited formalism for defining the declarative semantics of deductive databases and logic programs. After presenting, in general, how to use default logic in order to define the meaning of logical databases and logic programs, the class of stratifiable databases and programs is extensively studied in this framework. Finally, the default logic approach to the declarative semantics of logical databases and programs is compared with the other major approaches. This comparison leads to showing some advantages of the default logic approach.

Subfields: Knowledge Graphs & Representation