Taxonomic Reasoning in LOGIDATA+

No abstract is available for this paper.

• Publication year

  1993

• Venue

  LOGIDATA+: Deductive Databases with Complex Objects

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/BFb0021891
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Complexity of Concept Languages

  1997cited by this paper
• The LOGIDATA+ Model

  1993cited by this paper
• On taxonomic reasoning in conceptual design

  1992influential reference
• Terminological Cycles: Semantics and Computational Properties

  1991cited by this paper
• Tractable Concept Languages

  1991cited by this paper
• Reasoning and Revision in Hybrid Representation Systems

  1990cited by this paper
• Integrating object-oriented data modelling with a rule-based programming paradigm

  1990cited by this paper
• Terminological Reasoning is Inherently Intractable

  1990cited by this paper
• Practical, object-based knowledge representation for knowledge-based systems

  1990cited by this paper
• Modeling complex structures in object-oriented logic programming

  1989cited by this paper
• The O2 Database Programming Language

  1989cited by this paper
• CLASSIC: a structural data model for objects

  1989influential reference
• Automatic validation of object-oriented database structures

  1989cited by this paper
• Undecidability of Subsumption in NIKL

  1989cited by this paper
• A Deductive Method for Entity-Relationship Modeling

  1989cited by this paper
• Subsumption in KL-ONE is undecidable

  1989cited by this paper
• Classification as a query processing technique in the CANDIDE semantic data model

  1989cited by this paper
• Object identity as a query language primitive

  1989cited by this paper
• Set Containment Inference and Syllogisms

  1988cited by this paper
• Computational Complexity of Terminological Reasoning in BACK

  1988cited by this paper
• O2, an object-oriented data model

  1988cited by this paper
• IFO: a formal semantic database model

  1987cited by this paper
• The myth of the one true logic

  1987cited by this paper
• Expressiveness and tractability in knowledge representation and reasoning 1

  1987cited by this paper
• A Four-Valued Semantics for Frame-Based Description Languages

  1986cited by this paper
• Formal properties of net-based knowledge representation schemes

  1986cited by this paper
• An Overview of the KL-ONE Knowledge Representation System

  1985cited by this paper
• A Semantics of Multiple Inheritance

  1984cited by this paper
• A new approach to database logic

  1984cited by this paper
• Type Subsumption as a Model of Computation

  1984cited by this paper
• The Tractability of Subsumption in Frame-Based Description Languages

  1984cited by this paper
• Small can be beautiful in knowledge representation

  1984cited by this paper

• No citing papers are available for this paper.