Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Frontiers of Combining Systems

FroCoS 2015: Frontiers of Combining Systems pp 17–32Cite as

Decidable Description Logics of Context with Rigid Roles

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9322))

Abstract

To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including \(\mathcal{ALC}\), \(\mathcal{SHOQ}\), and \(\mathcal{EL}\).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. IJCAI 2005, pp. 364–369 (2005)

    Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)

    Google Scholar 

  3. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proc. KR 2008, pp. 684–694 (2008)

    Google Scholar 

  4. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log. 13(3) (2012)

    Google Scholar 

  5. Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-based description logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 349–371. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  6. Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics 2800, 153–184 (2003)

    MATH  Google Scholar 

  7. Borgwardt, S., Thost, V.: LTL over \(\mathcal{EL}\) axioms. LTCS-Report 15-07, Chair of Automata Theory, TU Dresden (2015). see http://lat.inf.tu-dresden.de/research/reports.html

  8. Borgwardt, S., Thost, V.: Temporal query answering in the description logic \(\mathcal{EL}\). In: Proc. IJCAI 2015 (to appear, 2015)

    Google Scholar 

  9. Bhme, S., Lippmann, M.: Description logics of context with rigid roles revisited. LTCS-Report 15-04, Chair of Automata Theory, TU Dresden (2015). see http://lat.inf.tu-dresden.de/research/reports.html

  10. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Journal of the IGPL 8(3), 239–263 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  11. Klarman, S., Gutiérrez-Basulto, V.: \({\mathcal{ALC}_\mathcal{ALC}}\): A context description logic. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 208–220. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Klarman, S., Gutiérrez-Basulto, V.: Two-dimensional description logics for context-based semantic interoperability. In: Proc. AAAI 2011 (2011)

    Google Scholar 

  13. Klarman, S., Gutiérrez-Basulto, V.: Two-dimensional description logics of context. In: Proc. DL 2011 (2011)

    Google Scholar 

  14. Lippmann, M.: Temporalised Description Logics for Monitoring Partially Observable Events. Ph.D. thesis, TU Dresden, Germany (2014)

    Google Scholar 

  15. McCarthy, J.: Generality in artificial intelligence. Communications of the ACM 30(12), 1030–1035 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  16. McCarthy, J.: Notes on formalizing context. In: Proc. IJCAI 1993, pp. 555–562 (1993)

    Google Scholar 

  17. Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. IJCAI 1991, pp. 466–471 (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany

    Stephan Böhme & Marcel Lippmann

Authors
  1. Stephan Böhme
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcel Lippmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stephan Böhme .

Editor information

Editors and Affiliations

  1. Universität Bremen, Bremen, Germany

    Carsten Lutz

  2. Fondazione Bruno Kessler, Trento, Italy

    Silvio Ranise

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Böhme, S., Lippmann, M. (2015). Decidable Description Logics of Context with Rigid Roles. In: Lutz, C., Ranise, S. (eds) Frontiers of Combining Systems. FroCoS 2015. Lecture Notes in Computer Science(), vol 9322. Springer, Cham. https://doi.org/10.1007/978-3-319-24246-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-24246-0_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-24245-3

  • Online ISBN: 978-3-319-24246-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation