Using a description classifier to enhance knowledge representation

  title={Using a description classifier to enhance knowledge representation},
  author={Robert M. MacGregor and M. Burstein},
  journal={IEEE Expert},
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… Expand
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. Expand
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. Expand
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). Expand
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. Expand
Loom Applied to Domain Reasoning
    The second part of the VEIL effort pioneered two thrusts within the field of image understanding that until now have received relatively little attention. First, VEIL reasons at a semantic levelExpand
    A Layer Architecture for the Integration of Rules, Inheritance, and Constraints
    • A. Abecker, H. 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). Expand
    Grammatical rules for specifying information for automated product data modeling
    The PIS framework provides a basis for a knowledge acquisition method that can facilitate domain experts' direct participation in product modeling, can potentially increase the quality of the resultant model and decrease the product modeling time. Expand
    A RISC Approach to Reasoning with Natural Language
    on its ability to derive canonical representations of logical expressions. Although we have developed techniques that reduce our classifier’s reliance on canonical representations, a key feature inExpand
    A description logic approach for representing engineering design standards
    The benefits of building computable declarative models of the provisions of engineering design standards are now well recognized. Various approaches and representations have been proposed over theExpand
    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. Expand


    The KREME Knowledge Editing Environment
    This paper provides an overview of the current state of development of the KREME Knowledge Representation Editing and Modeling Environment, an extensible experimental environment for developing and editing large knowledge bases in a variety of representation styles. Expand
    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. Expand
    Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
    This review has been difficult for me to write, because my thoughts about Cyc have changed a great deal since I first read the book in the spring of 1990 and I agree with his complaints about the confusing organization of the book and the lack of precise definitions. Expand
    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. Expand
    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. Expand
    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. Expand
    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. Expand
    Loom Users Manua1,”Tech
    • Report ISINP-22,
    • 1990