Putting ABox Updates into Action

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Putting ABox Updates into Action

Conrad DrescherConrad Drescher,  Hongkai LiuHongkai Liu,  Franz BaaderFranz Baader,  Steffen GuhlemannSteffen Guhlemann,  Uwe PetersohnUwe Petersohn,  Peter SteinkePeter Steinke,  Michael ThielscherMichael Thielscher
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-01, 2009. LTCS-Report
  • KurzfassungAbstract
    When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners. Second, iterated update operations result in very large Boolean ABoxes, which, however, contain a huge amount of redundant information. In this paper, we address both issues from a practical point of view.
  • Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ LTCS-Report09-01,
  address = {Germany},
  author = {Conrad {Drescher} and Hongkai {Liu} and Franz {Baader} and Steffen {Guhlemann} and Uwe {Petersohn} and Peter {Steinke} and Michael {Thielscher}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {09-01},
  title = {Putting ABox Updates into Action},
  type = {LTCS-Report},
  year = {2009},
}