Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages

摘要

Deductive objective-oriented frameworks integrate logic rules and inheritance. There, specific problems arise: due to the combination of deduction and inheritance, (a) deduction can take place depending on inherited facts, thus raising indirect conflicts, and (b) also the class hierarchy and -membership is subject to deduction. From this point of view, we investigate the application of the extension semantics of Default Logic to deductive object-oriented database languages.