Abstract
This chapter provides necessary terminology and knowledge that is used throughout this monograph. In particular, it gives an overview of relevant bits of first-order logic, propositional logic, and description logics. In the context of the introduction to description logics, a technical overview of the paradigm of OBDA and the most prominent logic for OBDA, DL-Lite, is presented. Having this logical machinery, the notion of representation as used in this monograph is stated more formally. The preliminaries are concluded by a short introduction to the region connection calculus (RCC), which is considered in Chaps. 3 and 4.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Özçep, Ö.L. (2019). Preliminaries. In: Representation Theorems in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-030-25785-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-25785-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-25784-2
Online ISBN: 978-3-030-25785-9
eBook Packages: Computer ScienceComputer Science (R0)