Nonmonotonic inheritance in object-oriented deductive database languages

DOI10.1093/LOGCOM/11.4.499MaRDI QIDQ2761747zbMATH OpenOpenAlexFDO

Authors Wolfgang May, Paul-Thomas Kandzia

Publication date 7 January 2002

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/11.4.499

zbMATH Keywords

deductioninheritancenonmonotonic reasoningobject-oriented deductive databases

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• Nonmonotonic inheritance, argumentation and logic programming
• A theory of nonmonotonic inheritance based on annotated logic
• On the formal properties of transitive inheritance in databases
• Programming with non-determinism in deductive databases
• scientific article; zbMATH DE number 638304
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• Deduction in non-Horn databases
• Deductive query languages for recursively typed complex objects
• A reasoning mechanism for deductive object-oriented databases

Cited in

(6)

• On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies
• scientific article; zbMATH DE number 638304 (Why is no real title available?)
• Incoherence and subsumption for recursive views and queries in object-oriented data models
• scientific article; zbMATH DE number 1947733 (Why is no real title available?)
• Inheritance in Rule-Based Frame Systems: Semantics and Inference
• Defeasible inheritance with doubt index and its axiomatic characterization

This page was built for publication: Nonmonotonic inheritance in object-oriented deductive database languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761747)