Modularity meets forgetting: A case study with the SNOMED CT ontology

Jieying Chen; Ghadah Alghamdi; Renate A. Schmidt; Dirk Walther; Yongsheng Gao

Modularity meets forgetting: A case study with the SNOMED CT ontology

Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Catering for ontology summary and reuse, several approaches such as modularisation and forgetting of symbols have been developed in order to provide users smaller sets of relevant axioms of an ontology. We consider different module extraction techniques and show how they relate to each other. We also consider the notion of uniform interpolation that is underlying forgetting. We show that significant improvements in the performance of forgetting can be obtained by applying a forgetting tool to ontology modules instead of the entire ontology. We investigate combining several module notions with uniform interpolation and provide a preliminary evaluation forgetting signatures based on the European Renal Association subset from SNOMED CT. Possible explanations for why modularity helps forgetting symbols from large-scale ontologies in practice are given. To facilitate the experiments, we develop a signature extension algorithm for the SNOMED CT ontology to additionally include more symbols relevant for users.

Original language	English
Title of host publication	DL 2019 - Proceedings of the 32nd International Workshop on Description Logics
Editors	M. Simkus, G. Weddell
Publisher	CEUR-WS
Volume	2373
Publication status	Published - 2019
Externally published	Yes
Event	32nd International Workshop on Description Logics, DL 2019 - Oslo, Norway Duration: 18 Jun 2019 → 21 Jun 2019

Publication series

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Conference

Conference	32nd International Workshop on Description Logics, DL 2019
Country/Territory	Norway
City	Oslo
Period	18/06/19 → 21/06/19

Funding

★This work is partially funded by the EPSRC IAA 228 Project “Comparison and Abstraction of SNOMED CT Ontologies”. We would like to thank Dr. Yizheng Zhao for helpful input on system FAME. This work is partially funded by the EPSRC IAA 228 Project "Comparison and Abstraction of SNOMED CT Ontologies". We would like to thank Dr. Yizheng Zhao for helpful input on system FAME.

Funders	Funder number
Engineering and Physical Sciences Research Council	IAA 228

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{935804187c634b9d984742c13c375746,

title = "Modularity meets forgetting: A case study with the SNOMED CT ontology",

abstract = "Catering for ontology summary and reuse, several approaches such as modularisation and forgetting of symbols have been developed in order to provide users smaller sets of relevant axioms of an ontology. We consider different module extraction techniques and show how they relate to each other. We also consider the notion of uniform interpolation that is underlying forgetting. We show that significant improvements in the performance of forgetting can be obtained by applying a forgetting tool to ontology modules instead of the entire ontology. We investigate combining several module notions with uniform interpolation and provide a preliminary evaluation forgetting signatures based on the European Renal Association subset from SNOMED CT. Possible explanations for why modularity helps forgetting symbols from large-scale ontologies in practice are given. To facilitate the experiments, we develop a signature extension algorithm for the SNOMED CT ontology to additionally include more symbols relevant for users.",

author = "Jieying Chen and Ghadah Alghamdi and Schmidt, {Renate A.} and Dirk Walther and Yongsheng Gao",

year = "2019",

language = "English",

volume = "2373",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

editor = "M. Simkus and G. Weddell",

booktitle = "DL 2019 - Proceedings of the 32nd International Workshop on Description Logics",

note = "32nd International Workshop on Description Logics, DL 2019 ; Conference date: 18-06-2019 Through 21-06-2019",

}

Chen, J, Alghamdi, G, Schmidt, RA, Walther, D & Gao, Y 2019, Modularity meets forgetting: A case study with the SNOMED CT ontology. in M Simkus & G Weddell (eds), DL 2019 - Proceedings of the 32nd International Workshop on Description Logics. vol. 2373, CEUR Workshop Proceedings, CEUR-WS, 32nd International Workshop on Description Logics, DL 2019, Oslo, Norway, 18/06/19.

Modularity meets forgetting: A case study with the SNOMED CT ontology. / Chen, Jieying; Alghamdi, Ghadah; Schmidt, Renate A. et al.
DL 2019 - Proceedings of the 32nd International Workshop on Description Logics. ed. / M. Simkus; G. Weddell. Vol. 2373 CEUR-WS, 2019. (CEUR Workshop Proceedings).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Modularity meets forgetting

T2 - 32nd International Workshop on Description Logics, DL 2019

AU - Chen, Jieying

AU - Alghamdi, Ghadah

AU - Schmidt, Renate A.

AU - Walther, Dirk

AU - Gao, Yongsheng

PY - 2019

Y1 - 2019

N2 - Catering for ontology summary and reuse, several approaches such as modularisation and forgetting of symbols have been developed in order to provide users smaller sets of relevant axioms of an ontology. We consider different module extraction techniques and show how they relate to each other. We also consider the notion of uniform interpolation that is underlying forgetting. We show that significant improvements in the performance of forgetting can be obtained by applying a forgetting tool to ontology modules instead of the entire ontology. We investigate combining several module notions with uniform interpolation and provide a preliminary evaluation forgetting signatures based on the European Renal Association subset from SNOMED CT. Possible explanations for why modularity helps forgetting symbols from large-scale ontologies in practice are given. To facilitate the experiments, we develop a signature extension algorithm for the SNOMED CT ontology to additionally include more symbols relevant for users.

AB - Catering for ontology summary and reuse, several approaches such as modularisation and forgetting of symbols have been developed in order to provide users smaller sets of relevant axioms of an ontology. We consider different module extraction techniques and show how they relate to each other. We also consider the notion of uniform interpolation that is underlying forgetting. We show that significant improvements in the performance of forgetting can be obtained by applying a forgetting tool to ontology modules instead of the entire ontology. We investigate combining several module notions with uniform interpolation and provide a preliminary evaluation forgetting signatures based on the European Renal Association subset from SNOMED CT. Possible explanations for why modularity helps forgetting symbols from large-scale ontologies in practice are given. To facilitate the experiments, we develop a signature extension algorithm for the SNOMED CT ontology to additionally include more symbols relevant for users.

UR - http://www.scopus.com/inward/record.url?scp=85067175571&partnerID=8YFLogxK

M3 - Conference contribution

VL - 2373

T3 - CEUR Workshop Proceedings

BT - DL 2019 - Proceedings of the 32nd International Workshop on Description Logics

A2 - Simkus, M.

A2 - Weddell, G.

PB - CEUR-WS

Y2 - 18 June 2019 through 21 June 2019

ER -

Modularity meets forgetting: A case study with the SNOMED CT ontology

Abstract

Publication series

Conference

Funding

Persistent URL (handle)

Other files and links

Fingerprint

Cite this