Bridging the gap between OWL and relational databases
β Scribed by Boris Motik; Ian Horrocks; Ulrike Sattler
- Publisher
- Elsevier Science
- Year
- 2009
- Tongue
- English
- Weight
- 411 KB
- Volume
- 7
- Category
- Article
- ISSN
- 1570-8268
No coin nor oath required. For personal study only.
β¦ Synopsis
Despite similarities between the Web Ontology Language (OWL) and schema languages traditionally used in relational databases, systems based on these languages exhibit quite different behavior in practice. The schema statements in relational databases are usually interpreted as integrity constraints and are used to check whether the data is structured according to the schema. OWL allows for axioms that resemble integrity constraints; however, these axioms are interpreted under the standard first-order semantics and not as checks. This often leads to confusion and is inappropriate in certain data-centric applications. To explain the source of this confusion, in this paper we compare OWL and relational databases w.r.t. their schema languages and basic computational problems. Based on this comparison, we extend OWL with integrity constraints that capture the intuition behind similar statements in relational databases. We show that, if the integrity constraints are satisfied, they need not be considered while answering a broad range of positive queries. Finally, we discuss several algorithms for checking integrity constraint satisfaction, each of which is suitable to different types of OWL knowledge bases.
π SIMILAR VOLUMES
The year 1992 saw the birth of a new international organization: The Papanicolaou Society of Cytopathology (PSC), devoted to bridging the gap between cytopathology and surgical pathology. Having requested affiliation with USCAP, the fledgling organization has already had an impact at the IAP meeting
The goal of this paper is to review and discuss OxGauss, a program available with recent versions of Ox. 1 OxGauss provides a way to run Gauss 2 programs in the Ox environment or to call an existing Gauss procedure under Ox in the same way that C or Fortran programs can be called from Gauss and Ox.