Intensional semantics for RDF data structures

ABSTRACT

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.

REFERENCES

• 1: D. Brickley and R. Guha. Resource descrition framework (RDF) schema specification 1.0. World Wide Web Consortium, http://www.w3.org/TR/2000/CR-rdf-schema-20000327, 2000.
• 2: D. K. Lewis. On the prularity of worlds. Oxford: Blackwell, 1986.
• 3: G. Bealer. Theories of properties, relations, and propositions. The Journal of Philosophy, 76:634--648, 1979.
• 4: G. Bealer. Quality and concept. Oxford University Press, USA, 1982.
• 5: G. Bealer. Universals. The Journal of Philosophy, 90:5--32, 1993.
• 6: Guizhen Yang , Michael Kifer, 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, p.1047-1066, October 30-November 01, 2002
• 7: F. Harmelen, J. Handler, I. Horrocks, D. L. McGuinnes, P. F. Patel-Schneider, M. Dean, D. Connolly, and L. A. Stein. OWL Web ontology language 1.0 reference. http://www.w3.org/TR/owl-ref/, 2002.
• 8: Hewlett-Packard. RDQL-RDF data query language. http://www.hpl.hp.com/semweb/rdql.html.
• 9: Ian Horrocks , Peter F. Patel-Schneider, Three theses of representation in the semantic web, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary [doi>10.1145/775152.775159]
• 10: J. Z. Pan and I. Horrocks. RDFS(FA): A DL-ised sub-language of RDFS. In Proc. of the 2003 Description Logic Workshop, (DL 2003), vol. 81 of CEUR, pages 95--102, 2003.
• 11: Z. Majkić. Intensional logic and epistemic independency of intelligent database agents. 2nd International Workshop on Philosophy and Informatics (WSPI 2005), April 10--13, Kaiserslautern, Germany, 2005.
• 12: Z. Majkić. Intensional P2P mapping between RDF ontologies. 6th International Conference on Web Information Systems (WISE-05), November 20--22, New York. In M. Kitsuregawa (Eds.) LNCS 3806, pages 592--594, 2005.
• 13: M. R. Genesereth. Knowledge interchange format. T.Report NCITS.T2/98-004, Stanford University, 1998.
• 14: Peter F. Patel-Schneider , Dieter Fensel, Layering the Semantic Web: Problems and Directions, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.16-29, June 09-12, 2002
• 15: P.Hayes. RDF Model theory. T.Report W3C, http:/www.w3.org/TR/rdf-mt, 2002.
• 16: P. Hayes and C. Menzel. A semantics for the Knowledge interchange format. Workshop on the IEEE Standard Upper Ontology (in IJCAI), 2001.
• 17: R.Montague. Universal grammar. Theoria, 36:373--398, 1970.
• 18: R. Montague. Formal philosophy. selected papers of Richard Montague. in R. Thomason (editor), Yale University Press, New Haven, London, pages 108--221, 1974.
• 19: R. Stalnaker. Inquiry. Cambridge, MA:MIT Press, 1984.
• 20: G. Karvounarakis , A. Magganaraki , S. Alexaki , V. Christophides , D. Plexousakis , M. Scholl , K. Tolle, Querying the Semantic Web with RQL, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.42 n.5, p.617-640, 05 August 2003 [doi>10.1016/S1389-1286(03)00227-5]
• 21: T. Berners-Lee, J. Hendlar, and O. Lassila. The semantic web. Scientific American, 279, 2001.
• 22: Weidong Chen , Michael Kifer , David S. Warren, HILOG: a foundation for higher-order logic programming, Journal of Logic Programming, v.15 n.3, p.187-230, Feb. 1993 [doi>10.1016/0743-1066(93)90039-J]
• 23: Y. Deng, E. Hung, and V. S. Subrahmanian. Maintaining RDF views. Tech. Rep. CS-TR-4612 (UMIACS-TR-2004-54), 2004.
• 24: Z.Majkić. Weakly-coupled ontology integration of P2P database systems. 1st Int. Workshop on Peer-to-Peer Knowledge Management (P2PKM), August 22, Boston, USA, 2004.
• 25: Z.Majkić. Flexible intentional query-answering for RDF Peer-to-Peer systems. 7th International Conference on Flexible Query Answering Systems (FQAS 2006), 7--10 June, Milano, Italy, 2006.
• 26: Z.Majkić. Intensional semantics for P2P data integration. LNCS Journal on Data Semantics VI, Special Issue on 'Emergent Semantics', April 15, 2006.
• 27: Z.Majkić. Coalgebraic specification of query computation in intensional P2P database systems. Int. Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), Orlando FL, USA, July 9--11, 2008.
• 28: Z.Majkić. Intensional first-order logic for P2P database systems. LNCS Journal of Data Semantics (JoDS XII), Autumn, 2008.
• 29: Z.Majkić. RDF view-based interoperability in intensional FOL for Peer-to-Peer database systems. International Conference on Enterprise Information Systems and Web Technologies (EISWT-08), Orlando FL, USA, July 9--11, 2008.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Semantic networks

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

General Terms:
Design, Languages