Reasoning with Bounded Self-reference Using Logical Interpreters
Author(s): Gorin D, Schröder L, Wißmann T
Title edited volumes: CEUR Workshop Proceedings
Publishing place: Aachen
Publication year: 2013
Title of series: CEUR Workshop Proceedings
Conference Proceedings Title: Proc. 26th International Workshop on Description Logics, DL 2013
Pages range: 689-703
Event: 26th International Workshop on Description Logics, DL 2013
Event location: Ulm
Start date of the event: 23/07/2013
End date of the event: 26/07/2013
Self-referential concepts in description logic may formally be viewed as concepts that at some point mention an individual previously encountered in the evaluation; this corresponds to a restricted form of the down-arrow binder known from hybrid logic. Typical examples include being a narcissist, (someone who loves himself); a celebrity (someone who is known by everyone she meets) or a grant application reviewer (who can only review proposals of researchers with whom she did not collaborate in the past). While reasoning in ALC plus self-reference is known to be undecidable, it has recently been shown that one can often safely restrict self-reference to at most two indirections (allowing the definition of narcissists and celebrities, but not of grant reviewers). In particular, the extension of ALCQ with this construct has an expressive power roughly equivalent to ALCHIQ plus safe Boolean combinations of roles. Here, we discuss a translation-based approach to reasoning in this logic. The translation goes into ALCHIQ (without Boolean roles) and therefore can be used in combination with off-the-shelf reasoners for OWL. The translation strategy encodes the semantics of the source axiomatically in the target logic. We use an implementation of this type of translations to evaluate the feasibility of the whole approach.
FAU Authors / FAU Editors How to cite
APA: Gorin, D., Schröder, L., & Wißmann, T. (2013). Reasoning with Bounded Self-reference Using Logical Interpreters. In Proc. 26th International Workshop on Description Logics, DL 2013 (pp. 689-703). Aachen: CEUR-WS.org.
MLA: Gorin, Daniel, Lutz Schröder, and Thorsten Wißmann. "Reasoning with Bounded Self-reference Using Logical Interpreters." Proceedings of the 26th International Workshop on Description Logics, DL 2013, Ulm Aachen: CEUR-WS.org, 2013. 689-703.