Output details
11 - Computer Science and Informatics
University of Liverpool
Output title
Forgetting and uniform interpolation in large-scale description logic terminologies
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)
Volume number
-
Issue number
-
First page of article
830
ISSN of proceedings
-
Year of publication
2009
Number of additional authors
2
Additional information
<22>The mathematical machinery introduced in this paper has been applied by Rudolph et al. in their work on uniform interpolation for the OWL 2 EL profile (ECAI 2012, RR 2012). It has also been applied to ontology modularisation by Glimm et al. (ISWC 2012). The practical feasibility of uniform interpolation in real-life large-scale ontologies demonstrated in this work triggered significant interest in this field, for example by Wang, Pan and Topor.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
19
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-