Structural Operational Semantic Approach to Knowledge Base Maintenance

• 知识库维护的结构操作语义方法