Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Konev, Boris; Walther, Dirk; Wolter, Frank

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Download BibTeX Cite

Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 830-834.

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 large-scale terminologies.Boris Konev, Dirk Walther, Frank Wolter

Boris Konev, Dirk Walther, and Frank Wolter. 2009. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 830–834. https://ijcai.org/proceedings/2009/142

@inproceedings{ijcai2009p142,
  title     = {Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies},
  author    = {Konev, Boris and Walther, Dirk and Wolter, Frank},
  booktitle = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {830--834},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/142},
}

TY  - CPAPER
TI  - Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
AU  - Konev, Boris
AU  - Walther, Dirk
AU  - Wolter, Frank
T2  - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2009
SP  - 830
EP  - 834
UR  - https://ijcai.org/proceedings/2009/142
ER  -