本体推理机求解Mups的性能评测研究

求解极小不可满足保持子术语集(Mups)是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目、冲突公理集基数和冲突公理基数对Mups问题求解难易的影响,定义冲突公理集最大基数和冲突公理最大基数两个指标反映不一致本体术语集的数据复杂程度;基于这些复杂性指标,设计针对Mups问题的不一致本体数据标准测试集(Mups Benchmark,MupsBen)来评测Pellet、Hermit、FaCT++、JFact和TrOWL这5种推理机在黑盒算法下求解Mups的性能.评测实验显示,所定义的复杂度指标能够有效反映Mups求解问题的数据复杂程度.对于特定推理机,其性能随测试数据的结构复杂程度的增大而降低;对于不同推理机,由于其内在推理机制与优化策略的差别,在不同复杂度指标下表现出不同的性能差异.

论法律文件翻译的若干原则

针对目前国内法律文件翻译存在的一些问题 ,本文第一次较全面地归纳并论述另外法律文件翻译的五大原则。它们是 :1.使用庄严词语的原则 ;2 .准确性原则 ;3.精练性原则 ;4.术语一致性原则 ;5 .使用专业术语的原则。同时作者指出法律文件翻译不同于文学翻译 ,同一事物可以用不同的词语表达。这些原则对规范法律文件翻译有一定意义 ,同时可供从事法律文件翻译的专业人员参考。

不一致术语集最小基数诊断的分支限界

针对不一致术语集的最小基数诊断,提出了一种分支限界的方法,该方法根据不相交极小不一致保持子术语集(MIPS)覆盖来定义诊断的一个下界,并且使用分支技术将大问题分解为多个可并行执行的子问题。实验结果表明,该方法能够快速有效地计算出一个最小基数诊断。

法律翻译的规范化:问题及对策

法律翻译,作为一种交际行为,在当今世界促进着各个国家法律文本、法律文化乃至法律思想观念的交流,而在实际操作过程中,却常出现法律语言非规范化问题。文章试图归纳法律翻译非规范现象,探讨其产生原因,并提出解决问题的初步建议。

浅谈法律翻译原则指导下立法文本的英译

目前，国内外许多学者开始研究立法文本的翻译。法律翻译是一种法律转换和语言转换同时进行的双重工作。理想的法律翻译应该是“忠实”和“通顺”的完美结合。近年来，我国立法文本的翻译取得了可喜的成绩，但立法文本的英译还存在一些不足。鉴于立法文本的英译存在的问题，本文简要论述法律翻译原则指导下立法文本的英译。