=Paper=
{{Paper
|id=Vol-2211/paper-04
|storemode=property
|title=Revising Ontologies
|pdfUrl=https://ceur-ws.org/Vol-2211/paper-04.pdf
|volume=Vol-2211
|authors=Renata Wassermann
|dblpUrl=https://dblp.org/rec/conf/dlog/Wassermann18
}}
==Revising Ontologies==
<pdf width="1500px">https://ceur-ws.org/Vol-2211/paper-04.pdf</pdf>
<pre>
                   Revising Ontologies

                         Renata Wassermann

    Computer Science Department, University of São Paulo, Brazil
                       renata@ime.usp.br



Abstract. In this talk, I will first summarize our work in the last 10
years on adapting AGM style Belief Revision to deal with Description
Logics. The usual AGM representation results depend on many assump-
tions on the underlying logics which do not hold for DLs. We have char-
acterized contraction and revision for DLs, providing constructions, sets
of rationality postulates and representation theorems for belief bases and
belief sets. In the second part, I will present some experimental results
with OWL and discuss current efforts on bridging the gap between theory
and practice.

</pre>