Abstract
Anonymous resources and meta statements are two of the more interesting features of RDF — an emerging standard for representing semantic information on the Web. Ironically, when RDF was standardized by W3C over three years ago [24], it came without a semantics. There is now growing understanding that a Semantic Web language without a semantics is an oxymoron, and a number of efforts are directed towards giving RDF a precise semantics [17,15,11]. In this paper we propose a simple semantics for anonymous resources and meta statements in F-logic [23] – a frame-based logic language, which is a popular formalism for representing and reasoning about semantic information on the Web [29,14,16,13,12].
The choice of F-logic (over RDF) as a basis for our semantics is motivated by the fact that F-logic provides a comprehensive solution for the problem of integrating frames, rules, inheritance, and deduction, and it has been shown to provide an effective inference service for RDF [13,28].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bancilhon, F., Delobel, C., Kanellakis, P. (eds.): Building an Object-Oriented Database System: The Story of 02. Morgan Kaufmann, San Francisco (1990)
Berners-Lee, T., Fielding, R., Masinter, L.: Uniform resource identifiers (URI): Generic syntax (August 1998), http://www.isi.edu/in-notes/rfc2396.txt
Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3, http://www.w3.org/2000/10/swap/Primer
Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science 133, 205–265 (1994)
Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, pp. 117–166. Kluwer Academic Publishers, Dordrecht (1998)
Bray, T., Hollander, D., Layman, A.: Namespces in XML (January 1999), http://www.w3.org/TR/REC-xml-names/
Broekstra, J., Fluit, C., van Harmelen, F.: The state of the art on representation and query languages for semistructured data. Technical report, Administrator, Nederland BV (August 2000)
Chang, C.L., Lee, R.C.T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)
Chen, W., Kifer, M., Warren, D.S.: HiLog: A first-order semantics for higherorder logic programming constructs. In: North American Conference on Logic Programming, Cambridge, MA. MIT Press, Cambridge (1989)
Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)
Conen, W., Klapsing, R., Köppen, E.: RDF M&S revisited: From reification to nesting, from containers to lists, from dialect to pure XML. In: Semantic Web Working Symposium, SWWS (2001)
Davulcu, H., Yang, G., Kifer, M., Ramakrishnan, I.V.: Design and implementation of the physical layer in webbases: The XRover experience. In: First International Conference on Computational Logic, DOOD’2000 Stream (July 2000)
Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 - The Query Languages Workshop (December 1998)
Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based access to distributed and semi-structured information. In: Meersman, R., et al. (eds.) Database Semantics, Semantic Issues in Multimedia Systems, pp. 351–369. Kluwer Academic Publisher, Boston (1999)
Hayes, P. (ed.): RDF Model Theory. Technical report, W3C (April 2002), http://www.w3.org/TR/rdf-mt/
Fensel, D., Decker, S., Erdmann, M., Studer, R.: Ontobroker: Or how to enable intelligent access to the WWW. In: Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada (1998)
Fikes, R., McGuinness, D.L.: An axiomatic semantics for RDF, RDF Schema, and DAML+OIL. Technical Report KSL-01-01, Knowledge Systems Laboratory, Stanford University (October 2001)
Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM 38(3), 620–650 (1991)
Genesereth, M.R.: Knowledge interchange format. Technical Report NCITS.T2/98- 004, Knowledge Systems Laboratory, Stanford University (1998), Draft proposed American National Standard, http://logic.stanford.edu/kif/dpans.html
Goh, C.H., Bressan, S., Madnick, S.E., Siegel, M.D.: Context interchange: Representing and reasoning about data semantics in heterogeneous systems. Technical report, MIT, School of Management (1996)
Gupta, A., Ludäscher, B., Martone, M.E.: Knowledge-based integration of neuroscience data sources. In: 12th International Conference on Scientific and Statistical Database Management (SSDBM), Berlin, Germany. IEEE, Los Alamitos (2000)
Houben, G.-J.: HERA: Automatically generating hypermedia front-ends for ad hoc data from heterogeneous and legacy information systems. In: Engineering Federated Information Systems, pp. 81–88. Aka and IOS Press (2000)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM 42, 741–843 (1995)
Lasilla, O., Swick, R.R. (eds.): Resource description framework (RDF) model and syntax specification. Technical report, W3C (February 1999), http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984)
Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)
Perlis, D.: Languages with self-reference i: Foundations. Artificial Intelligence 25, 301–322 (1985)
Sintek, M., Decker, S.: TRIPLE – An RDF query, inference, and transformation language. In: Deductive Databases and Knowledge Management (DDLP 2001) (October 2001)
Staab, S., Angele, J., Decker, S., Erdmann, M., Hotho, A., Maedche, A., Schnurr, H.-P., Studer, R., Sure, Y.: AI for theWeb — Ontology-based community web portals. In: 9-th International World Wide Web Conference (WWW9), Amsterdam, The Netherlands (May 2000)
Yang, G., Kifer, M.: Implementing an efficient DOOD system using a tabling logic engine. In: First International Conference on Computational Logic, DOOD’2000 Stream (July 2000)
Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: International Conference on Ontologies, Databases, and Applications of Semantics, ODBASE (2002)
Yang, G., Kifer, M.: Inheritance and rules in object-oriented semantic web languages. In: International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML (2003)
Yang, G., Kifer, M., Zhao, C.: FLORA-2: User’s manual (June 2003), http://flora.sourceforge.net/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Yang, G., Kifer, M. (2003). Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. In: Spaccapietra, S., March, S., Aberer, K. (eds) Journal on Data Semantics I. Lecture Notes in Computer Science, vol 2800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39733-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-39733-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20407-7
Online ISBN: 978-3-540-39733-5
eBook Packages: Springer Book Archive