资源分类
》 资源 》论文》Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

2019-11-14 | |  42 |   35 |   0

Abstract We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic EL 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 largescale terminologies

上一篇：Computational Properties of Resolution-based Grounded Semantics

下一篇：A Semantical Account of Progression in the Presence of Defaults

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...