Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
Browse Prior Art Database

The Loom Knowledge Representation Language

IP.com Disclosure Number: IPCOM000128676D
Original Publication Date: 1987-Dec-31
Included in the Prior Art Database: 2005-Sep-16
Document File: 15 page(s) / 54K

Publishing Venue

Software Patent Institute

Related People

Robert Mac Gregor: AUTHOR [+4]

Abstract

The lengthening lifetimes of intelligent systems, and' the desire to share or re-use knowledge bases, has created within the AI community the need for application-independent knowledge representation systems. The Loom system being developed at ISI represents the latest in a series of "classification-based" knowledge represen-tation systems developed to meet this need.! In Loom, the traditional single-classiller architecture is replaced by one containing a collection of classifiers which exhibit in-creasingly powerful inference capabilities. This paper describes the knowledge representation language developed for the Loom system.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 6% of the total text.

Page 1 of 15

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

The Loom Knowledge Representation Language

Robert Mac Gregor Raymond Bates

USC/Information Sciences Institute 4878 Admiralty Way Marina del Rey, CA 90292

Abstract

The lengthening lifetimes of intelligent systems, and' the desire to share or re-use knowledge bases, has created within the AI community the need for application-independent knowledge representation systems. The Loom system being developed at ISI represents the latest in a series of "classification-based" knowledge represen-tation systems developed to meet this need.! In Loom, the traditional single-classiller architecture is replaced by one containing a collection of classifiers which exhibit in-creasingly powerful inference capabilities. This paper describes the knowledge representation language developed for the Loom system.

1. Introduction

Loom2 represents a recent entry into the KL-ONE [Brachman and Schmolze 85] family of knowledge representation systems. Loom directly succeeds the N1KL system (Schmolze and Lipkis 83, Moser 83) developed jointly by ISI and BBN. During NIKL's lifetime, the :`'IIVL, user community produced a rather extensive list of extensions that they wished to see in future versions of 1IH1, (Kaczmarek 86). Loom's designers determined that these needs could best be achieved by redesigning and reimplementing NIiU.. The result is a pore flexible ar-chitecture which preserves the strengths of the original :`IM. while admitting some r.^w and powerful forms of reasoning. tThis research is supported by the Defense Advanced Research Projects Agency under Contract AtDASOS-81-60335. Views and conclusions contained in this paper are the authors' and should not be interpreted ;i, representing the official opinion of DARPA, the U.S. Guuernrnent. or any person or acency connected with them.

2 Loon-. ':1 frame . . fur interlacing sets of threads or yarns to form a strr's Loom's architecture strongly reflects the view that the variety of inferences provided by a comprehensive knowledge representation system can best be performed by a well-integrated collection of specialized reasoning components, rather than by a single, general-purpose reasoner. KL-ON)istyle systems (e.g., KL-ONE, KL-TWO (Vilain 85J, KRYPTON (Brachman, Fikes, sad Levesque 831, and BACK (von Luck 871) have tradition-ally divided their knowledge space into two partitions, called the "Terminological Box" and the "Assertions! Box", and have utilized two distinct reasoners (terminological and assertions!) to carry out their in-ferences. Loom's principle architectural contribution is to introduce two additional partitions (the "Universal Box" and the "Default Box"), each having its own as-sociated reasoning component. Complementing this increase in the number of domain-independent reasoners embedded in the system architecture is a growing library of domain-specific, "narrow-coverage" reasoners. Currently these include facilities for com...