Reasoning about Anonymous Resources and Meta Statements on the Semantic Web Guizhen Yang1 and Michael Kifer2 1 Department of Computer Science and Engineering University at Buffalo, The State University of New York Buffalo, NY 14260-2000, U.S.A.
[email protected] 2 Department of Computer Science Stony Brook University Stony Brook, NY 11794-4400, U.S.A.
[email protected] Abstract. Anonymous resources and meta statements are two of the more interesting features of RDF | an emerging standard for repre- senting semantic information on the Web. Ironically, when RDF was standardized by W3C over three years ago [24], it came without a se- mantics. There is now growing understanding that a Semantic Web lan- guage 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 moti- vated 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]. 1 Introduction RDF [24] was proposed as a standard for representing semantic information on the Web. Ironically, the specification of RDF did not formally define a semantics.