R-calculus for ELP: An operational approach to knowledge base maintenance.
Ningchuan ShenWei LiPublished in: J. Comput. Sci. Technol. (1997)
Keyphrases
- knowledge base
- knowledge acquisition
- decision making
- expert systems
- software maintenance
- knowledge engineers
- knowledge representation
- description logics
- knowledge based systems
- inference engine
- wordnet
- knowledge structures
- database
- reasoning process
- preventive maintenance
- proof procedure
- computer algebra
- maintenance cost
- rule base
- background knowledge
- domain knowledge