Ontology changes in description logics
Jack Wang
Info
|
Date |
14th June 2011 (week 7, Trinity Term 2011) |
|
Time |
11:30 |
|
Place |
147 |
Abstract
Ontologies are not static but may evolve over time. For example, the users may wish to delete a
class from or add a new axiom into an existing ontology. However, naive methods for such ontology changes may introduce
inconsistencies and incorrect semantics, and such changes are insufficiently supported by existing ontology editing and
reasoning tools.
In this talk, I will present our work on two ontology change operations, forgetting and revision,
corresponding to informally, the removal and addition of knowledge in ontologies, respectively. I will first briefly introduce
the forgetting operation in description logic ontologies, and present some interesting results. Then, I will focus on the
revision operation in DL-Lite ontologies. To adapt classical belief revision techniques to DL-Lite, we have developed
an alternative semantic characterisation for DL-Lite ontologies using finite structures. I will present the two revision
methods we developed based on such characterisation.
Further info
|
Related series |
|
