On the Use of Belief Revision to Merge Description Logic Terminologies

MARTIN MOGUILLANSKY; MARCELO FALAPPA

Moron - Buenos Aires

Workshop; WICC 2006; 2006

Distributed ontologies expressed as description logics may define repeated information. To  reason about concepts that these ontologies express, a possible option is to generate unique concept definitions in a different terminology or TBox. The creation of a new terminology from different ontologies need to be consistent, and expressed with non-monotonic logics to be further updated with new distributed ontologies. The model AGM of theory change seems to be an interestingframework to be studied in conjunction with description logics and generate a new non-monotonicdescription logics model.