Book Chapter10.1007/3-540-54712-6_249
Introducing Knowledge Representation Techniques in Database Models
Alessandro Artale,Francesca Cesarini,Giovanni Soda +2 more
- 29 Oct 1991
- pp 375-384
20
TL;DR: The main point is to introduce the concept of defined class, i.e., class whose structural description gives necessary and sufficient conditions for an object to belong to it.
read more
Abstract: This paper deals with endowing object-oriented data models with taxonomic reasoning, i.e., an inference capability characteristic of the knowledge representation systems developed within the KL-ONE family. For this purpose, the main point is to introduce the concept of defined class, i.e., class whose structural description gives necessary and sufficient conditions for an object to belong to it. Object-oriented data models usually don't refer to this concept, because only necessary conditions are expressed by the type descriptions. We take into account a data model, developed in a database environment, and show how a uniform formal framework can be defined in order that this model fit taxonomic reasoning.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Object oriented mail server framework mechanism
Gircherst Flank William,Eric Nels Herness,Henis Eric Nairs,John Christopher Ripstra,George James Romano +4 more
- 20 May 1998
TL;DR: In this article, a message is defined as a number of distinct objects, each of which contains information that describes some portion of the message and a set of objects and methods define the processing steps required for a mail server to process a message.
206
Patent
Object oriented information retrieval framework mechanism
Bradley Scott Rubin
- 04 Jan 2002
TL;DR: In this paper, a framework for use with object-oriented programming systems provides a reusable object oriented (OO) framework that provides an information retrieval (IR) shell that permits a framework user to define an index class that includes word index objects and provides an extensible information retrieval system that evaluates a user query by comparing information contained in the user query with information contained within the word index object that relates to stored documents.
166
Patent
Object oriented framework mechanism for determining configuration relations
Michael J. Branson,William Robert Taylor +1 more
- 12 Nov 1996
TL;DR: In this article, an object-oriented framework mechanism provides a straightforward and convenient way to implement a system determining configuration relations for any type of system that needs to be configured, including several core classes and several classes that are extensible according to the needs of the user.
154
Patent
Object oriented technology framework for accounts receivable and accounts payable
Matthew John Bickerton,Kathryn Ann Bohrer,Emma Suzanne Hughes,Edward William Kenworthy,Rupert Jeremy Musgrove,LindaMay Rose Patterson,Steven Porter,David Dennis Salt,Duncan Keith Scattergood +8 more
- 28 Mar 1997
TL;DR: In this article, an object oriented framework provides a set of objects that perform account management functioning and permits a framework user to add extensions to the framework for specific processing features, thereby producing an account management application program for managing the financial accounts of a company.
132
Patent
Object oriented framework mechanism for order processing including pre-defined extensible classes for defining an order processing environment
Michael J. Branson,William Robert Taylor +1 more
- 15 Oct 1996
TL;DR: In this paper, an object-oriented framework is proposed to implement an order processing system for a manufacturing environment, which includes an order class and an order item class that are core classes, and several classes that are extensible according to the needs of the user.
127
References
A semantics of multiple inheritance.
Luca Cardelli
- 01 Jul 1984
TL;DR: The notion of inheritance and object-oriented programming first appeared in Simula 67 (Dahl, 1966), where objects are grouped into classes and classes can be organized into a subclass hierarchy as discussed by the authors.
IFO: a formal semantic database model
Serge Abiteboul,Richard Hull +1 more
TL;DR: A new, formally defined database model is introduced that combines fundamental principles of “semantic” database modeling in a coherent fashion using a graph-based formalism and a number of fundamental results concerning semantic data modeling are obtained.
453
Expressiveness and tractability in knowledge representation and reasoning
Hector J. Levesque,Ronald J. Brachman +1 more
- 01 Feb 1987
TL;DR: It is shown that a tradeoff between the expressiveness of a representational language and its computational tractability can be seen to underlie the differences among a number of existing representational formalisms, in addition to motivating many of the current research issues in knowledge representation.
385
On taxonomic reasoning in conceptual design
TL;DR: The effectiveness of taxonomic reasoning techniques as an active support to knowledge acquisition and conceptual schema design is shown and an extended formalism and taxonomic inference algorithms for models giving prominence to attributes are given.
133
Related Papers (5)
E. Bertino
- 01 Mar 1990
John Mylopoulos,Harry K. T. Wong +1 more
- 01 Oct 1980
Frank T. Nguyen
- 03 Jan 1994
Frank T. Nguyen
- 04 Aug 1993