@INPROCEEDINGS{AlghamdiSchmidtDelPintoGao21,
AUTHOR = {Alghamdi, G. and Schmidt, R. A. and Del{-}Pinto, W. and Gao, Y.},
YEAR = {2021},
TITLE = {Upwardly Abstracted Definition-Based Subontologies},
EDITOR = {Gentile, A. L. and Gon{\c{c}}alves, R.},
BOOKTITLE = {{K-CAP'21}: Knowledge Capture Conference},
PUBLISHER = {ACM},
PAGES = {209--216},
DOI = {https://doi.org/10.1145/3460210.3493564},
ABSTRACT = {In this paper, we present a method for extracting subontologies
from ELH ontologies for a set of symbols. The approach is focused
on the generation of upwardly abstracted definitions of concepts,
which is a technique for computing definitions expressed using 
closest primitive ancestors. The subontologies returned by the method
are evaluated for quality and compared to extracts computed with
locality-based modularisation and uniform interpolation. Our 
subontology generation method produces promising results in terms
of size and relevance to the needs of domain experts.}
}