Intensional semantics for RDF data structures
Zoran Majkić · 2008
The Resource Description Framework Schema Specification (RDFS) is the foundation of the Semantic Web and an ontology representation language for database structures. Reification and anonymous resources are two of the more interesting features of RDFS, which is an important and advanced step toward natural language specification of data structures. We propose to valorize these original features of this language by embedding it into a formal intensional FOL (First-order Logic) language with abstraction operation which transforms logic formulae into intensional abstracts terms. We show how this embedding is a natural and simple extension of intrinsic intensional semantics of RDFS into intensional FOL language, which improves the RDFS features. Then we show how we can define the view-based mappings for data integration between RDFS database ontologies, based on an introduction of a new kind of the intensional equivalence for intensional abstracts.