Small can be beautiful in knowledge representation

No abstract is available for this paper.

• Publication year

  1984

• Venue

  Unknown venue

• Publication date

  1984-12-03

• 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.

• An Overview of the KL-ONE Knowledge Representation System

  1985cited by this paper
• A Logic of Implicit and Explicit Belief

  1984cited by this paper
• The Tractability of Subsumption in Frame-Based Description Languages

  1984cited by this paper
• Belief and incompleteness

  1984cited by this paper
• Krypton: A Functional Approach to Knowledge Representation

  1983cited by this paper
• RABBIT: An Intelligent Database Assistant

  1982cited by this paper
• A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS

  1979cited by this paper
• An overview of KRL, a Knowledge Representation Language

  1976cited by this paper
• A framework for representing knowledge

  1974cited by this paper

• Designing and Evaluating an Ensemble Reasoning-based Clinical Decision Support System

  2025cites this paper
• How to Serve Knowledge Notes on the Design of a Knowledge Base Server

  2023cites this paper
• BACK: A Hybrid Reasoner ∗

  2022cites this paper
• La « transition bibliographique » en France: à qui profite le changement ?

  2018cites this paper
• Comprehensive analysis of semantic web reasoners and tools: a survey

  2017cites this paper
• Chapter XII : Fuzzy Description Logics

  2015cites this paper
• Improving Student Engagement in Higher Education: An Experiment with a Facebook Application in India

  2014cites this paper
• DFKI Workshop on Taxonomie Reasoning Saarbrücken , February 26 , 1992 Proeeedings Doeument D-92-08

  2013cites this paper
• Preface to the Third Volume

  2012cites this paper
• Hybrid Systems for Knowledge Representation in Artificial Intelligence

  2012cites this paper
• What’s new in Description Logics

  2011cites this paper
• Semantic web reasoners and languages

  2011influential citation
• KR and Reasoning on the Semantic Web: OWL

  2011cites this paper
• Small is Again Beautiful in Description Logics

  2010influential citation
• Knowledge Representation and Reasoning on the Semantic Web : OWL

  2010influential citation
• Some Observations on Semantic Web Service Processes, Tools and Applications

  2009cites this paper
• Ontology Representation: Design Patterns and Ontologies That Make Sense

  2009cites this paper
• ANSwER-Sistema informativo ambientale basato su ontologia e logica Fuzzy

  2008cites this paper
• Vivid Knowledge and Tractable Reasoning : Preliminary

  2007cites this paper
• Understanding the Evolution and Co-evolution of Classes in Object-oriented Systems

  2006cites this paper
• Report RR-90-06 Hybrid Inferences in KLONE-based Knowledge Representation Systems

  2005cites this paper
• And Inference System -system Description- Deutsches Forschungszentrum Fur Kunstliche Intelligenz Deutsches Forschungszentrum Fur Konstliche Intelligenz

  2005cites this paper
• Small Can Be Beautiful in the Semantic Web

  2004cites this paper
• Knowledge Representation and Reasoning

  2004cites this paper
• Description logics: foundations for class-based knowledge representation

  2002cites this paper
• Supporting software maintenance by mining software update records

  2001cites this paper
• Sales advisory system: a case study in applying knowledge representation systems

  2001cites this paper
• Coping with IlLdefined

  1999cites this paper
• "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality

  1999cites this paper
• Formalizing Partial Matching and Similarity in Case-Based Reasoning with a Description Logic

  1998cites this paper
• Un modèle d'indexation relationnel pour les graphes conceptuels fondé sur une interprétation logique

  1998cites this paper
• Reasoning in description logics

  1997cites this paper
• Architecture of an expert system for composite document analysis, representation, and retrieval

  1997cites this paper
• Extending Conceptual Definitions with Default Knowledge

  1997cites this paper
• HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen

  1996cites this paper
• Semantic and schematic similarities between database objects: a context-based approach

  1996cites this paper
• Taxonomic Plan Reasoning

  1996cites this paper
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages

  1996cites this paper
• Theses

  1996cites this paper
• Description Logics in Data Management

  1995cites this paper
• Information access tools for software reuse

  1995cites this paper
• Using resolution for extending KL-ONE-type languages

  1995cites this paper
• The F-logic approach for description languages

  1995cites this paper
• Semantic and Schematic Similarities between Objects in Databases A Context based approach

  1995cites this paper
• Terminological Logics with Modal Operators

  1995cites this paper
• A C OMPARISON OF TWO TERMINOLOGICAL KNOWLEDGE REPRESENTATION SYSTEMS

  1995cites this paper
• Terminological Logics with Modal Operators

  1994cites this paper
• Making the Difference: A Subtraction Operation for Description Logics

  1994cites this paper
• Advances in Object-Oriented Database Systems

  1994cites this paper
• Am empirical analysis of optimization techniques for terminological representation systems

  1994cites this paper
• Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Seman

  1994cites this paper
• Managing complex objects in Peirce

  1994cites this paper
• The F(rames)-Logic Approach for Description Languages II: A Hybrid Integration of Rules and Descript

  1994cites this paper
• Building Bridges Between Knowledge Representation and Algebraic Specification

  1994cites this paper
• Amplifying Designers’ Creativity with Domain-Oriented Design Environments

  1994cites this paper
• Terminological Logic Involving Time and Evolution: A Preliminary Report

  1993cites this paper
• An Experiment in Software Retrieval

  1993cites this paper
• A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems

  1993cites this paper
• A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

  1993cites this paper
• Taxonomic Reasoning in LOGIDATA+

  1993cites this paper
• Decidable Reasoning in Terminological Knowledge Representation Systems

  1993cites this paper
• Increasing shared understanding of a design task between designers and design environments: the role

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

  1993cites this paper
• Case-Deliverer: Making Cases Relevant to the Task at Hand

  1993cites this paper
• The Complexity of Existential Quantification in Concept Languages

  1992cites this paper
• Resolution Methods for Decision Problems and Finite-Model Building

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

  1992cites this paper
• The KL-ONE family

  1992cites this paper
• Beyond the macho approach of artificial intelligence: empower human designers - do not replace them

  1992cites this paper
• Accomodating domain-independence—a new approach to the development of general natural language interfaces

  1992cites this paper
• From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics

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

  1992cites this paper
• On taxonomic reasoning in conceptual design

  1992cites this paper
• Description Logics are not just for the Flightless-Birds: A New Look at the Utility and Foundations

  1992cites this paper
• Ò Ñôôöö Blockin Blockinð Òòðý××× Óó Çôøøññþþøøóò Ì Blockinòòõùù× Óö Ìöññòóðóóó Blockin Blockinð Êêôöö××òøøøøóò Ëý×øøñ×

  1992cites this paper
• Computing Least Common Subsumers in Description Logics

  1992cites this paper
• An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On

  1992cites this paper
• Learnability of description logics

  1992cites this paper
• Subsumption computed algebraically

  1992cites this paper
• Attributive Concept Descriptions with Complements

  1991cites this paper
• The CLASSIC knowledge representation system

  1991cites this paper
• Making Design Objects Relevant to the Task at Hand

  1991cites this paper
• KRIS: Knowledge Representation and Inference System

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

  1991cites this paper
• A Terminological Knowledge Representation System with Complete Inference Algorithms

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

  1991cites this paper
• A Terminological Knowledge Representation System with Complete Inference Algorithms

  1991cites this paper
• A Scheme for Integrating Concrete Domains into Concept Languages

  1991cites this paper
• KRS-a hybrid system for representing knowledge in knowledge-based help systems

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

  1991cites this paper
• Synthesis of control structures for complete chemical plants

  1991cites this paper
• Algebraic terminological representation

  1991influential citation
• Living wiht Classic: When and How to Use a KL-ONE-Like Language

  1991cites this paper
• Frame-artige Repräsentationsformate

  1991cites this paper
• LaSSIE—a knowledge-based software information system

  1991cites this paper
• The NIKL experience 1

  1991influential citation
• Terminological Cycles: Semantics and Computational Properties

  1991cites this paper
• Walking through the semantics of frame-based description languages a case study

  1991cites this paper
• On applying classification to schema integration

  1991cites this paper
• LaSSIE: a knowledge-based software information system

  1990cites this paper