Abstract
In this paper, we describe a high-performance reasoning tool, called Fame, for semantic forgetting in expressive description logics. Forgetting is a non-standard reasoning service that seeks to create restricted views of ontologies by eliminating concept and role names from ontologies in a way such that all logical consequences up to the remaining signature are preserved. Fame is a Java-based implementation of an Ackermannbased method for forgetting concept and role names from ontologies expressible in the description logic ALCOIH. ALCOIH is the extension of the basic description logic ALC with nominals, inverse roles and role inclusions. Fame can be used as a standalone tool or a Java library for
forgetting or related tasks. Results of an evaluation of Fame on a corpusof 396 biomedical ontologies have shown that: (i) in more than 90% of the test cases Fame was successful (i.e., eliminated all specified concept and role names) and (ii) the elimination was done within one second in more than 70% of the successful cases.
forgetting or related tasks. Results of an evaluation of Fame on a corpusof 396 biomedical ontologies have shown that: (i) in more than 90% of the test cases Fame was successful (i.e., eliminated all specified concept and role names) and (ii) the elimination was done within one second in more than 70% of the successful cases.
| Original language | English |
|---|---|
| Title of host publication | Automated Reasoning (IJCAR 2018) |
| Place of Publication | Cham |
| Publisher | Springer Nature |
| Pages | 19-27 |
| Number of pages | 9 |
| Volume | 10900 |
| ISBN (Electronic) | 978-3-319-94205-6 |
| ISBN (Print) | 978-3-319-94204-9 |
| DOIs | |
| Publication status | Published - 2018 |