In the construction of both conventional software and intelligent systems, developers continue to seek higher level abstractions that both can aid in conceptual modeling and can assist in implementation and maintenance. In recent years, the artificial intelligence community has placed considerable attention on the notion of explicit ontologies--- shared conceptualizations of application areas that define the salient concepts and relationships among concepts. Such ontologies, when joined with well defined problem-solving methods, provide convenient formalisms for modeling and for implementing solutions to application tasks. This chapter reviews the motivation for seeking such high-level abstractions, and summarizes recent successes in building systems from reusable domain ontologies and problem-solving methods. As the environment for software execution moves from individual workstations to the Internet at large, casting new software applications in terms of these high-level abstractio...
|
3853
|
Design Patterns: Elements of Reusable Object-Oriented Software
– Gamma, Helm, et al.
- 1995
|
|
1504
|
A Translation Approach to Portable Ontology Specifications.” Knowledge Acquisitions 5
– Gruber
- 1993
|
|
398
|
No silver bullet -- the essence and accidents of software engineering
– Brooks
- 1987
|
|
382
|
The Mythical Man-Month
– Brooks
- 1975
|
|
247
|
Heuristic classification
– Clancey
- 1985
|
|
175
|
Software reuse
– Krueger
- 1992
|
|
139
|
Knowledge Engineering and Management: The CommonKADS Methodology
– Schreiber, Akkermans, et al.
- 1999
|
|
121
|
Preliminary steps toward a taxonomy of problem-solving methods
– McDermott
- 1988
|
|
121
|
Formal ontology, conceptual analysis and knowledge representation. International Journal of Human Computer Studies
– Guarino
|
|
91
|
The Epistemology of a rule-based expert system: a framework for explanation
– Clancey
- 1983
|
|
86
|
Object-oriented programming: Themes and variations
– Stefik, Bobrow
- 1986
|
|
86
|
Knowledge modeling at the millennium (the design and evolution of Protégé-2000
– Grosso, Eriksson, et al.
- 1999
|
|
72
|
Software engineering with reusable components
– Sametinger
- 1997
|
|
68
|
SALT: A knowledge acquisition language for proposeand-revise systems
– Marcus, McDermott
- 1989
|
|
62
|
Understanding, building and using ontologies
– Guarino
- 1997
|
|
62
|
Mapping Domains to Methods in Support of Reuse
– Gennari, Tu, et al.
- 1994
|
|
57
|
Dimensions of knowledge sharing and reuse
– Musen
- 1992
|
|
40
|
de Velde (eds.), CommonKADS Library for Expertise Modelling: Reusable problem solving components
– Bruker, Van
|
|
40
|
Explicit representations of problem-solving strategies to support knowledge acquisition
– Gil, Melz
- 1996
|
|
30
|
R1 Revisited: Four Years in the Trenches
– Bachant, McDermott
- 1984
|
|
27
|
Component-Based Support for Building Knowledge-Acquisition Systems
– Musen, Fergerson, et al.
- 2000
|
|
27
|
Generation of knowledge-acquisition tools from domain ontologies
– Eriksson, Puerta, et al.
- 1993
|
|
23
|
The essence of problem-solving methods: making assumptions to gain efficiency
– Fensel, Straatman
- 1998
|
|
20
|
Mappings for Reuse in Knowledge-Based Systems
– Park, Gennari, et al.
- 1998
|
|
18
|
Breuker (eds.): KADS: A Principled Approach to Knowledge-Based
– Schreiber, Wielinga, et al.
- 1993
|
|
17
|
Problem-solving models for generation of task-specific knowledge acquisition tools
– Musen, Tu
- 1993
|
|
16
|
Episodic skeletal-plan refinement based on temporal data
– TU, KAHN, et al.
- 1989
|
|
16
|
Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2
– Rothenfluh, Gennari, et al.
|
|
14
|
Generic tasks for knowledge-based reasoning: The "right" level of abstraction for knowledge engineering
– Bylander, Chandrasekaren
- 1987
|
|
13
|
Architectures for intelligent systems based on reusable components
– Schreiber
- 1995
|
|
11
|
Reuse with Protégé-II: From Elevators to Ribosomes
– Gennari, Altman, et al.
- 1995
|
|
6
|
Rime: Preliminary work toward a knowledge-acquisition tool
– Bachant
- 1988
|
|
5
|
Puff: an expert system for interpretation of pulmonary function data
– Aikins, Kunz, et al.
- 1982
|
|
3
|
et al., “Task Modeling With Reusable Problem-Solving Methods
– Eriksson
- 1995
|
|
3
|
Using Knowledge Modelling Tools for Agent-Based Systems: The Experience of KSM
– Molina
- 2000
|
|
3
|
Semi-automated entry of clinical temporal-abstraction knowledge
– Shahar
- 1999
|
|
2
|
et al., Situation and Perspective of Knowledge Engineering
– Studer
- 2000
|
|
2
|
Query Reformation for Dynamic Information Integration
– Arens, CA, et al.
- 1996
|
|
2
|
Structured Development of Protein Solving Methods
– Fensel, Motta
- 1998
|
|
2
|
Episodic Refinement of Episodic Skeletal Plan Refinement
– Tu, Musen
- 1998
|
|
1
|
et al., Model Driven Knowledge Acquisition
– Breuker
- 1987
|
|
1
|
The Use of Ontologies for Knowledge Acquisition
– Shadbolt, O’Hara, et al.
- 2000
|
|
1
|
Uncertainty and Evidential Support. In: Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project
– Buchanan, Shortliffe
- 1984
|
|
1
|
et al., Task-Structure Analysis for Knowledge Modeling
– Chandrasekaran
- 1992
|
|
1
|
A Tenacious Knowledge Acquisition Tool
– Eschelman
- 1987
|
|
1
|
Systems Development as Societies of Agents
– Demazeau, Occello
- 2000
|
|
1
|
VM-in-Protégé: A Study of Software Reuse
– Park, Musen
- 1998
|
|
1
|
Therapy Planning as Constraint Satisfaction: A ComputerBased Antiretroviral Therapy Advisor for the Management of HIV
– Smith, Park, et al.
- 1998
|
