Topic
Knowledge representation and reasoning
About: Knowledge representation and reasoning is a research topic. Over the lifetime, 20078 publications have been published within this topic receiving 446310 citations. The topic is also known as: KR & KR².
Papers published on a yearly basis
Papers
More filters
TL;DR: The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications and embodies the views of what a knowledge representation system should be.
Abstract: Our work on the CLASSIC knowledge representation system covers a broad range from theory to practice. While CLASSIC was implemented primarily to provide a simple, easy to learn and use, locally available tool for a relatively limited set of applications, it has a substantial theoretical foundation, based on a formal "terminological" logic. The logical foundation provides the semantics of a term description language, which is used to define structured concepts and make assertions about individuals in a knowledge base. These concepts and individuals are organized into a generalization hierarchy by classification and subsumption algorithms. The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications. Within this context, it embodies our views of what a knowledge representation system should
94 citations
Book•
01 Jan 2002
TL;DR: This paper presents a meta-modelling approach and environment for Creating Process-Oriented Knowledge Management Simulations for Building/Using Ontologies Based on a Fundamental Consideration of "Role" and "Relationship".
Abstract: Knowledge Acquisition.- Extending a Lexical Ontology by a Combination of Distributional Semantics Signatures.- Acquiring Knowledge and Numerical Data to Support CBR Retrieval.- An OO Model for Incremental Hierarchical KA.- Experiences with Modelling Issues in Building Probabilistic Networks.- IKRAFT: Interactive Knowledge Representation and Acquisition from Text.- TRELLIS: An Interactive Tool for Capturing Information Analysis and Decision Making.- Web-Based Document Management for Specialised Domains: A Preliminary Evaluation.- From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.- Knowledge Management.- KMsim: A Meta-modelling Approach and Environment for Creating Process-Oriented Knowledge Management Simulations.- Skills Management in Knowledge-Intensive Organizations.- Knowledge Acquisition and Modeling in Clinical Information Systems: A Case Study.- MEGICO: An Intelligent Knowledge Management Methodology.- Ontologies.- A Process Ontology.- Semantic Commitment for Designing Ontologies: A Proposal.- User-System Cooperation in Document Annotation Based on Information Extraction.- WebODE: An Integrated Workbench for Ontology Representation, Reasoning, and Exchange.- Some Ontology Engineering Processes and Their Supporting Technologies.- Sweetening Ontologies with DOLCE.- Turning Lead into Gold? Feeding a Formal Knowledge Base with Informal Conceptual Knowledge.- Ontology Versioning and Change Detection on the Web.- Hozo: An Environment for Building/Using Ontologies Based on a Fundamental Consideration of "Role" and "Relationship".- An Ontology-Driven Approach to Web Site Generation and Maintenance.- MAFRA - A MApping FRAmework for Distributed Ontologies.- Measuring Similarity between Ontologies.- Ontology-Mediated Business Integration.- Representation of Ontologies for Information Integration.- User-Driven Ontology Evolution Management.- Attribute Meta-properties for Formal Ontological Analysis.- Semantic Web.- Managing Reference: Ensuring Referential Integrity of Ontologies for the Semantic Web.- Alice: Assisting Online Shoppers through Ontologies and Novel Interface Metaphors.- Acquiring Configuration Knowledge Bases in the Semantic Web Using UML.- S-CREAM - Semi-automatic CREAtion of Metadata.- Tracking Changes in RDF(S) Repositories.- MnM: Ontology Driven Semi-automatic and Automatic Support for Semantic Markup.- Invited Paper.- New Tools for the Semantic Web.
94 citations
TL;DR: It is claimed that research on cognitive architectures is an important path to the development of general intelligent systems and the high-level programming language that embodies these commitments is ICARUS.
Abstract: In this article, I claim that research on cognitive architectures is an important path to the development of general intelligent systems. I contrast this paradigm with other approaches to constructing such systems, and I review the theoretical commitments associated with a cognitive architecture. I illustrate these ideas using a particular architecture--ICARUS---by examining its claims about memories, about the representation and organization of knowledge, and about the performance and learning mechanisms that affect memory structures. I also consider the high-level programming language that embodies these commitments, drawing examples from the domain of in-city driving. In closing, I consider ICARUS'S relation to other cognitive architectures and discuss some open issues that deserve increased attention.
94 citations
TL;DR: The authors discuss: taxonomies; information sources; future issues; business viewpoints; the e-marketplace; and B2B e-commerce standardisation and integration.
Abstract: Ontologies are the first step toward realizing the full power of online e-commerce. Ontologies enable machine-understandable semantics of data, and building this data infrastructure will enable completely new kinds of automated services. Software agents can search for products, form buyer and seller coalitions, negotiate about products, or help automatically configure products and services according to specified user requirements. The combination of machine-processable semantics of data based on ontologies and the development of many specialized reasoning services will bring the Web to its full power. The authors discuss: taxonomies; information sources; future issues; business viewpoints; the e-marketplace; and B2B e-commerce standardisation and integration.
94 citations
TL;DR: Preliminary experimental results reveal that the proposed type abstraction hierarchy provides an organized structure representing concepts at different knowledge levels in various domains, and provides a systematic and efficient method for cooperative query answering.
Abstract: This paper proposes the use of a type abstraction hierarchy as a framework for deriving cooperative query answers. The type abstraction hierarchy integrates the abstraction view with the subsumption (is-a) and composition (part-of) views of a type hierarchy. Such a framework provides multilevel object representation, which is an important aspect of cooperative query answering. The concept of pattern that specifies one or more conditions on an object is also proposed. Patterns have smaller granularity than types, and thus provide more specific semantic information. Cooperative query answering consists of query relaxation, generalization, specialization, and association on patterns. Query relaxation can be explicitly specified by the user or implicitly performed by the system. The implicit and explicit relaxations can also be combined and performed interactively by both the system and the user. CSQL, an extension of SQL for cooperative query answering, is also proposed. Preliminary experimental results reveal that the proposed type abstraction hierarchy provides an organized structure representing concepts at different knowledge levels in various domains, and provides a systematic and efficient method for cooperative query answering. >
94 citations