Putting ABox Updates into Action

From International Center for Computational Logic

Toggle side column

Putting ABox Updates into Action

Conrad DrescherConrad Drescher,  Hongkai LiuHongkai Liu,  Franz BaaderFranz Baader,  Peter SteinkePeter Steinke,  Michael ThielscherMichael Thielscher
Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009
  • 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 emph{Boolean} ABoxes, which cannot be handled by traditional Description Logic reasoners. Second, iterated update operations result in emph{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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ nrac-09,
  author = {Conrad {Drescher} and Hongkai {Liu} and Franz {Baader} and Peter {Steinke} and Michael {Thielscher}},
  booktitle = {Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09)},
  title = {Putting ABox Updates into Action},
  year = {2009},
}