Putting ABox Updates into Action

Conrad Drescher; Hongkai Liu; Franz Baader; Steffen Guhlemann; Uwe Petersohn; Peter Steinke; Michael Thielscher

Abstract:

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.

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Drescher, C., Liu, H., Baader, F., Guhlemann, S., Petersohn, U., Steinke, P., & Thielscher, M. (2009). Putting ABox Updates into Action.

MLA Style

Drescher, Conrad, et al. Putting ABox Updates into Action. Trento‚ Italy, 2009.

Chicago Style

Drescher, Conrad, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, and Michael Thielscher. 2009. “Putting ABox Updates into Action.” In . Trento‚ Italy.
Tweet
Print

Authors

Conrad Drescher More by this author

Hongkai Liu More by this author

Franz Baader More by this author

Steffen Guhlemann More by this author

Uwe Petersohn More by this author

Expand authors...

Bibliographic Details

Publisher:: Trento‚ Italy
Publication date:: 2009
URN:: uuid:5b9739d7-33d4-49e9-92bc-8bd1d4f1819b
Local pid:: cs:4775

Terms of use

License:: Terms and Conditions of Use for Oxford University Research Archive

Views & Downloads

Metrics

If you are the owner of this record, you can report an update to it here: Report update to this record