A description-oriented logic for building knowledge bases

We discuss the advantages of using a logic system for knowledge representation which is based on descriptions, rather than predicates, and which embodies two fundamental ideas for structuring knowledge that are distilled from semantic networks and frame-based languages: inheritance and attributions. Taxonomic reasoning on a lattice of descriptions combined with deduction strategies defined at the metalevel provide the knowledge base with the capability to deal with complex problem-solving tasks.