Using a description classifier to enhance knowledge representation

@article{MacGregor1991UsingAD,
  title={Using a description classifier to enhance knowledge representation},
  author={Robert M. MacGregor and Mark H. Burstein},
  journal={IEEE Expert},
  year={1991},
  volume={6},
  pages={41-46}
}
A specialized technology for reasoning with descriptions that extends the class of useful inferences beyond simple inheritance has been developed as part of the Strategic Computing Initiative of the US Dept. of Defense's Defense Advanced Research Projects Agency. Loom and the Knowledge Representation Editing and Modeling Environment (KREME), which capture this technology in the form of an inference engine, called a classifier, are described. These systems share the notion that the ability to… 

OKBC: A Programmatic Foundation for Knowledge Base Interoperability

Technical design issues faced in the development of Open Knowledge Base Connectivity are discussed, how OKBC improves upon GFP is highlighted, and practical experiences in using it are reported on.

VEIL: Research in Knowledge Representation for Computer Vision.

The VEIL (Vision Environment Integrating Loom) project integrated advanced Knowledge Representation (KR) technology (Loom) with image understanding technology to provide a powerful software environment for the development of vision systems.

Articulation management for intelligent integration of information

A domain algebra is presented and the use of articulation rules to link declarative interfaces for Internet and enterprise applications is demonstrated and discusses the articulation implementation as part of a production system capable of operating over the domain described by the interface description language (IDL).

Reusable Tools for Knowledge Base and Ontology Development

Open knowledge base connectivity (OKBC) is an application programming interface (API) for KPRSs that has been developed to address the problem of KB tools reusability and the ability of OKBC to enable the construction of reusable tools.

Loom Applied to Domain Reasoning

  • Computer Science
The VEIL system performs high level interpretation of scene images using the deductive capabilities of the Loom knowledge representation system, and provides users with semantically enriched browsing and editing capabilities.

A Layer Architecture for the Integration of Rules, Inheritance, and Constraints

  • A. AbeckerH. Wache
  • Computer Science
    ICLP Workshop: Integration of Declarative Paradigms
  • 1994
TaxLog, a close integration of logic programming and terminological reasoning, is informally introduced, a new discussion about principles of hybrid systems design (which is necessary when trying to gain practical relevance for declarative programming).

A RISC Approach to Reasoning with Natural Language

This paper illustrates how the use of intensional sets can supplant (eliminate the need for) certain other syntactic constructs, and shows how the classifier aggressively reduces many logical problems to problems of computing set relationships.

A description logic approach for representing engineering design standards

How description logic can be used to represent the knowledge contained in engineering design standards is discussed and examples of the LRFD and UBC codes modeled in description logic are given to demonstrate the power of description logic languages as representational tools for engineering knowledge in general and design standards in particular.

A description logic approach for representing engineering design standards

How description logic can be used to represent the knowledge contained in engineering design standards is discussed and examples of the LRFD and UBC codes modeled in description logic are given to demonstrate the power of description logic languages as representational tools for engineering knowledge in general and design standards in particular.
...

References

SHOWING 1-9 OF 9 REFERENCES

The KREME Knowledge Editing Environment

CLASSIC: a structural data model for objects

The kind of language of descriptions and queries presented here provides a new arena for the search for languages that are more expressive than conventional DBMS languages, but for which query processing is still tractable.

Unification and Classification: An Experiment in Information-Based Parsing

This approach builds on recent work in unification-based parsing and classification-based knowledge representation, developing an architecture that brings together the capabilities of these related frameworks.

Configuration as a Consistency Maintenance Task

This paper describes how a configuration task may be considered a problem of main- taining global consistency within a knowledge base and the mechanism embedded in MESON, a KL-ΟNE descendant, developed at PHILIPS Research Laboratories, Hamburg.

A Deductive Pattern Matcher

The design of a pattern matcher for a knowledge representation system called LOOM is described, which is logic-based, with a deductive mechanism which includes a truth-maintenance component as an integral part of the pattern-matching logic.

Using polymorphism to improve expert system maintainability

Clasp was designed to improve the modularity and reusability of the rule base, to support the development of a more consistent and homogeneous knowledge base, and to enhance the predictability of rules.

Loom Users Manua1,”Tech

  • Report ISINP-22,
  • 1990