Reasoning about Anonymous Resources and Meta Statements on the Semantic Web

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].

[1]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[2]  Dieter Fensel,et al.  Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information , 1999, DS-8.

[3]  Stefan Decker,et al.  TRIPLE - An RDF Query, Inference, and Transformation Language , 2001, INAP.

[4]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

[5]  Steffen Staab,et al.  AI for the Web - Ontology-Based Community Web Portals , 2000, AAAI/IAAI.

[6]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[7]  Bertram Ludäscher,et al.  Knowledge-based integration of neuroscience data sources , 2000, Proceedings. 12th International Conference on Scientific and Statistica Database Management.

[8]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[9]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[10]  Dieter Fensel,et al.  Ontobroker: or how to enable intelligent access to the WWW , 1998 .

[11]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[12]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[13]  Michael Kifer,et al.  FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.

[14]  Stefan Decker,et al.  A Query Service for RDF , 1998, QL.

[15]  Wilhelm Hasselbring,et al.  HERA: Automatically Generating Hypermedia Front-Ends for Ad Hoc Data from Heterogeneous and Legacy Information Systems , 2000 .

[16]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

[17]  Michael Kifer,et al.  Inheritance and Rules in Object-Oriented Semantic Web Languages , 2003, RuleML.

[18]  Michael Kifer,et al.  A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.

[19]  Roy T. Fielding,et al.  Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[20]  Jorge Lobo,et al.  Foundations of disjunctive logic programming , 1992, Logic Programming.

[21]  Eckhart Köppen,et al.  RDF M&S revisited: From Reification to Nesting, from Containers to Lists, from Dialect to pure XML , 2001, The Emerging Semantic Web.

[22]  Michael Kifer,et al.  An Overview of Transaction Logic , 1994, Theor. Comput. Sci..

[23]  Michael Kifer,et al.  FLORA-2: User's Manual , 2001 .

[24]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[25]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[26]  Michael Kifer,et al.  Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases , 2002, OTM.

[27]  I. V. Ramakrishnan,et al.  Design and Implementation of the Physical Layer in WebBases: The XRover Experience , 2000, Computational Logic.

[28]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.