Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
复制标题
DOI：
--
复制
发表时间：
2009-07
影响因子：
1.4
通讯作者：
B. Konev;Dirk Walther;F. Wolter
中科院分区：
文献类型：
--
作者：
B. Konev;Dirk Walther;F. Wolter
在轻量级描述逻辑Ɛ中，我们开发了一个忘记概念和角色(又称一致内插)的框架，L对其进行了扩展，增加了角色包含以及领域和范围限制。研究了忘记、保留概念包含、概念实例和合取查询回答的三种不同概念，以及相应的一致内插语言。基于SNOMED CT(医学临床术语系统化术语)和NCI(国家癌症研究所本体论)的实验表明，对于大规模术语，遗忘在实践中往往是可行的。
We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic ƐL extended with role inclusions and domain and range restrictions. Three different notions of forgetting, preserving, respectively, concept inclusions, concept instances, and answers to conjunctive queries, with corresponding languages for uniform interpolants are investigated. Experiments based on SNOMED CT (Systematised Nomenclature of Medicine Clinical Terms) and NCI (National Cancer Institute Ontology) demonstrate that forgetting is often feasible in practice for large-scale terminologies.