会议论文《命题动态逻辑的描述逻辑扩展》发表于2010年中国计算机大会，探讨了将命题动态逻辑引入描述逻辑的方法。该研究旨在增强描述逻辑在处理动态知识和变化环境中的表达能力，为语义网和知识表示提供更强大的工具。论文提出了扩展框架，并分析了其理论基础与应用潜力。
文档为pdf格式，0.37MB，总共7页。
举报
