The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do with issues related to the representation formalism of the system, some have to do with non-representational issues of the system itself, and some might be most appropriately labeled public relations. We rely on over eight years of industrial application experiences using a particular family of knowledge representation systems based on description logics to identify and describe usability issues that were mandatory for our application successes.
|
299
|
CLASSIC: A structural data model for objects
– Borgida, Brachman, et al.
- 1989
|
|
225
|
The complexity of concept languages
– Donini, Lenzerini, et al.
- 1995
|
|
202
|
Living with CLASSIC: When and how to use KL-one-like language
– Brachman, McGuinness, et al.
- 1991
|
|
163
|
Decidable reasoning in terminological knowledge representation systems
– Buchheit, Donini, et al.
- 1993
|
|
121
|
Anempirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on
– Baader, Franconi, et al.
- 1994
|
|
100
|
The DARPA knowledge sharing effort: progress report
– Patil, Fikes, et al.
- 1992
|
|
53
|
Ontological issues for knowledgeenhanced search
– McGuinness
- 1998
|
|
51
|
Explaining reasoning in description logics
– McGuinness
- 1996
|
|
45
|
A knowledge-based configurator that supports sales, engineering and manufacturing at AT&T network systems
– Wright, Weixelbaum, et al.
- 1993
|
|
39
|
From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics
– Borgida
- 1992
|
|
38
|
Reducing CLASSIC to “Practice”: Knowledge Representation Theory Meets Reality
– Brachman, McGuinness, et al.
- 1999
|
|
37
|
The CLASSICknowledge representation system: Guiding principles and implementation rational
– Patel-Schneider, McGuiness, et al.
- 1991
|
|
21
|
Explaining subsumption in description logics
– McGuinness, Borgida
- 1995
|
|
21
|
Conceptual modelling for configuration: A description logic-based approach
– McGuinness, Wright
- 1998
|
|
16
|
Open Knowledge Base Connectivity 2.0
– Chaudhri, Farquhar, et al.
- 1998
|
|
14
|
The Generic Frame Protocol 2.0
– Chaudhri, Farquhar, et al.
- 1997
|
|
13
|
Description logic in practice: A CLASSIC application
– McGuinness, Resnick, et al.
- 1995
|
|
11
|
A generic knowledge-base browser and editor
– Paley, Lowrance, et al.
- 1997
|
|
10
|
Hans-Jurgen Profitlich. Terminological knowledge representation: A proposal for a terminological logic. A DFKI note
– Baader, Burckert, et al.
- 1991
|
|
6
|
DLMS: An Evaluation of KL-ONE in the Automobile Industry
– Rychtyckyj
- 1996
|
|
4
|
Eric Melz. Explicit representations of problem-solving strategies to support knowledge acquisition
– Gil
- 1996
|
|
4
|
The logic of incomplete knowledge bases
– Levesque
- 1984
|
|
3
|
NeoClassic user's guide: Version 1.0
– Patel-Schneider, Resnick, et al.
- 1997
|
|
2
|
Inquiring about frames
– Borgida, McGuinness
- 1996
|
|
1
|
C-Classic reference manual release 1.0
– Weixelbaum
- 1991
|
