Classification in the KL-ONE Knowledge Representation System

No abstract is available for this paper.

• Publication year

  1983

• Venue

  International Joint Conference on Artificial Intelligence

• Publication date

  1983-08-08

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Krypton: A Functional Approach to Knowledge Representation

  1983cited by this paper
• Proceedings of the 1981 KL-ONE Workshop,

  1982cited by this paper
• On Interpreting Semantic Network Formalisms.

  1982cited by this paper
• Distinctions and Confusions: A Catalogue Raisonne

  1981cited by this paper
• An Information Presentation System

  1981cited by this paper
• Representation and Inference in the Consul System

  1981cited by this paper
• Research in Knowledge Representation for Natural Language Understanding

  1980cited by this paper
• Research in Natural Language Understanding

  1978cited by this paper
• A Structural Paradigm for Representing Knowledge.

  1978cited by this paper

• BACK: A Hybrid Reasoner ∗

  2022cites this paper
• A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond

  2019cites this paper
• Natural language processing for hybrid knowledge representation

  2018cites this paper
• A Tour Towards the Various Knowledge Representation Techniques for Cognitive Hybrid Sentence Modeling and Analyzer

  2018cites this paper
• Ontology Re-Engineering: A Case Study from the Automotive Industry

  2016cites this paper
• MultiView : a methodology for supporting multiple view schemata in object-oriented

  2015cites this paper
• :'._ A Methodology for Supporting

  2015cites this paper
• A task based manufacturing knowledge maintenance method

  2013cites this paper
• Extending Term Subsumption systems for Uncertainty Management

  2013cites this paper
• Automatic Building of Semantically Rich Domain Models from Unstructured Data

  2013cites this paper
• Semi-Automatic Domain Ontology Creation from Text Resources

  2010cites this paper
• RESEARCH OF FORMING THE PRODUCT"S CONSTRUCTION USING CONSTITUENT PARTS

  2010cites this paper
• Structural group-based auditing of missing hierarchical relationships in UMLS

  2009cites this paper
• Chapter 8 Regularity , Document Generation , and Cyc

  2008cites this paper
• Abstraction, extension and structural auditing with the umls semantic network

  2008cites this paper
• Polynomial Constraints for Sets with Cardinality Bounds

  2007cites this paper
• Autonomous Classification of Knowledge into an Ontology

  2007cites this paper
• A Methodology to Define External Schemas in ODMG Databases

  2005cites this paper
• Developing federation object models using ontologies

  2004cites this paper
• Knowledge Representation and Reasoning

  2004cites this paper
• Complexity of Reasoning

  2003cites this paper
• A Survey of Knowledge Base Grid for Traditional Chinese Medicine

  2003cites this paper
• DLMS : An Evaluation of KLONE in the Automobile Industry

  2002cites this paper
• Research in Progress Artificial Intelligence Research at the Information Sciences Institute

  2001cites this paper
• Generation of external schemas in ODMG databases

  2001cites this paper
• Generation of External Schemas in ODMG Databases

  2001cites this paper
• Domain-Specific Knowledge Acquisition from Text

  2000cites this paper
• Symmetry and the Computation of Conceptual Structures

  2000cites this paper
• Parallel Processing and Parallel Algorithms

  2000cites this paper
• What Do You Know about Mail? Knowledge Representation in the SINIX Consultant

  2000cites this paper
• The Foundations of Conceptual Programming

  1999cites this paper
• Problem Bifurcation Inheritance Operation Control the bifurcation process Find all nodes connected to a node via some combination of relations Find the paths connecting two nodes Find the implicit properties of a concept

  1999cites this paper
• Conceptual Programming: Foundations of Problem-Solving

  1999cites this paper
• Conceptual fuzzy sets and their connectives

  1999cites this paper
• Representing Control Knowledge as Abstract Task . and Metarlales

  1998cites this paper
• Extending Conceptual Definitions with Default Knowledge

  1997cites this paper
• Definition of external schemas and derived classes in object oriented databases

  1997cites this paper
• Design and Implementation of a Type System for a Knowledge Representation System

  1997cites this paper
• DLMS: An Evaluation of KL-ONE in the Automobile Industry

  1996cites this paper
• Design, Implementation, and Analysis of a Parallel Description Classifier.

  1995cites this paper
• Knowledge discovery in molecular structure databases

  1995cites this paper
• An interface between object-oriented databases and relational databases

  1995cites this paper
• Extraction and reuse of partial forms in form-feature modeling

  1995cites this paper
• A classification algorithm for supporting object-oriented views

  1994cites this paper
• Classification dans les représentations par objets: produits de systèmes classificatoires

  1994influential citation
• Combining experiential and theoretical knowledge in the domain of semiconductor manufacturing

  1994cites this paper
• Conceptual Hierarchies: Approaches from Connectionism and Artificial Intelligence

  1994cites this paper
• Acquiring New Words from Context

  1994cites this paper
• Principled Modeling and Automatic Classification for Enhancing the Reusability of Problem Solving Methods of Expert Systems

  1994cites this paper
• A comprehensive framework for knowledge‐base verification and validation

  1994cites this paper
• Classification in DLMS utilizing a KL-ONE representation language

  1994cites this paper
• Acquiring Knowledge From Encyclopedic Texts

  1994cites this paper
• Intensional subsumption in a general taxonomic knowledge representation language

  1994cites this paper
• Managing complex objects in Peirce

  1994cites this paper
• Efficient Retrieval from Hierarchies of Objects using Lattice Operations

  1993cites this paper
• Classification and Retrieval of Knowledge on Parallel Marker Passing Architecture

  1993cites this paper
• Parallel Knowledge Processing in SNAP

  1993cites this paper
• Terminological Constraint Network Reasoning and its Application to Plan Recognition

  1993cites this paper
• A Practical Approach to Multiple Default Inheritance for Unification-Based Lexicons

  1992cites this paper
• The KL-ONE family

  1992cites this paper
• SNAP: A Market-Propagation Architecture for Knowledge Processing

  1992cites this paper
• Représentations à objets et raisonnement par classification en intelligence artificielle

  1992cites this paper
• The design space of frame knowledge representation systems

  1992cites this paper
• Adaptive-predictive game-playing programs

  1992cites this paper
• Approximate reasoning using terminological models

  1992cites this paper
• Multiview: A Methodology for Supporting Multiple Views in Object-Oriented Databases

  1992cites this paper
• Using version spaces to support incremental searches in a software library

  1992cites this paper
• Understanding Subsumption and Taxonomy: A Framework for Progress

  1991cites this paper
• Deduction as Parsing: in the KL-ONE Framework

  1991cites this paper
• Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services

  1991cites this paper
• Multiple Default Inheritance in a Unification-Based Lexicon

  1991cites this paper
• The Requirements Apprentice: Automated Assistance for Requirements Acquisition

  1991cites this paper
• Generalizing Term Subsumption Languages to Fuzzy Logic

  1991cites this paper
• Compiling Conceptual Graphs

  1991cites this paper
• Knowledge Representation and Reasoning with Definitional Taxonomies

  1991cites this paper
• CLASP: Integrating Term Subsumption Systems and Production Systems

  1991cites this paper
• Inside the LOOM description classifier

  1991cites this paper
• Deduction as Parsing: Tractable Classification in the KL-ONE Framework

  1991cites this paper
• A self‐organizing pattern retrieval system and its applications

  1991cites this paper
• Classification-based reasoning

  1991cites this paper
• Representing biological and physical systems as temporal event hierarchies

  1991cites this paper
• THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS

  1991cites this paper
• Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

  1991cites this paper
• PATTERN ASSOCIATIVITY AND THE RETRIEVAL OF SEMANTIC NETWORKS

  1991cites this paper
• Frame-artige Repräsentationsformate

  1991cites this paper
• Frames - Plan-orientierte Programmierung (Klassifikation)

  1991cites this paper
• The NIKL experience 1

  1991cites this paper
• Designing verifiable expert systems

  1990cites this paper
• On Analytical and Similarity-Based Classification

  1990cites this paper
• Natural Language Generation as an Intelligent Activity (Proposal for Dissertation Research)

  1990cites this paper
• The Design of a Marker Passing Architecture for Knowledge Processing

  1990cites this paper
• A Principled Approach to Reasoning About the Specificity ofRules

  1990cites this paper
• Regularity: a structuring paradigm for hierarchical knowledge

  1990cites this paper
• An approach to enhancing the maintainability of expert systems

  1990cites this paper
• Pragmatics and Natural Language Generation

  1990cites this paper
• Managing the FAME expert system project

  1990cites this paper
• Partially shared views: a scheme for communicating among groups that use different type hierarchies

  1990cites this paper
• Inheritance generalized to fuzzy regularity

  1990cites this paper
• Task-Aware user interfaces

  1990cites this paper
• Multiple Underlying Systems: Translating User Requests into Programs to Produce Answers

  1990cites this paper