HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Layering the Semantic Web: Problems and Directions
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Three theses of representation in the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Querying the Semantic Web with RQL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Intensional First-Order Logic for P2P Database Systems
Journal on Data Semantics XII
Intensional P2P mappings between RDF ontologies
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Intensional semantics for p2p data integration
Journal on Data Semantics VI
Flexible intensional query-answering for RDF peer-to-peer systems
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Conservative intensional extension of Tarski's semantics
Advances in Artificial Intelligence - Special issue on Artificial Intelligence Applications in Biomedicine
Hi-index | 0.00 |
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.