{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:54:55Z","timestamp":1770998095789,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540204077","type":"print"},{"value":"9783540397335","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39733-5_4","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T19:37:45Z","timestamp":1294515465000},"page":"69-97","source":"Crossref","is-referenced-by-count":30,"title":["Reasoning about Anonymous Resources and Meta Statements on the Semantic Web"],"prefix":"10.1007","author":[{"given":"Guizhen","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Building an Object-Oriented Database System: The Story of 02","year":"1990","unstructured":"Bancilhon, F., Delobel, C., Kanellakis, P. (eds.): Building an Object-Oriented Database System: The Story of 02. Morgan Kaufmann, San Francisco (1990)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Fielding, R., Masinter, L.: Uniform resource identifiers (URI): Generic syntax (August 1998), http:\/\/www.isi.edu\/in-notes\/rfc2396.txt","DOI":"10.17487\/rfc2396"},{"key":"4_CR3","unstructured":"Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3, http:\/\/www.w3.org\/2000\/10\/swap\/Primer"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"A.J. Bonner","year":"1994","unstructured":"Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science\u00a0133, 205\u2013265 (1994)","journal-title":"Theoretical Computer Science"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-1-4615-5643-5_5","volume-title":"Logics for Databases and Information Systems, ch. 5","author":"A.J. Bonner","year":"1998","unstructured":"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\u2013166. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"4_CR6","unstructured":"Bray, T., Hollander, D., Layman, A.: Namespces in XML (January 1999), http:\/\/www.w3.org\/TR\/REC-xml-names\/"},{"key":"4_CR7","unstructured":"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)"},{"key":"4_CR8","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L., Lee, R.C.T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"4_CR9","volume-title":"North American Conference on Logic Programming","author":"W. Chen","year":"1989","unstructured":"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)"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"4_CR11","unstructured":"Conen, W., Klapsing, R., K\u00f6ppen, 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)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"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\u20192000 Stream (July 2000)","DOI":"10.1007\/3-540-44957-4_73"},{"key":"4_CR13","unstructured":"Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 - The Query Languages Workshop (December 1998)"},{"key":"4_CR14","first-page":"351","volume-title":"Database Semantics, Semantic Issues in Multimedia Systems","author":"S. Decker","year":"1999","unstructured":"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\u2013369. Kluwer Academic Publisher, Boston (1999)"},{"key":"4_CR15","unstructured":"Hayes, P. (ed.): RDF Model Theory. Technical report, W3C (April 2002), http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"4_CR16","unstructured":"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)"},{"key":"4_CR17","unstructured":"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)"},{"issue":"3","key":"4_CR18","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"4_CR19","unstructured":"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"},{"key":"4_CR20","unstructured":"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)"},{"key":"4_CR21","volume-title":"12th International Conference on Scientific and Statistical Database Management (SSDBM)","author":"A. Gupta","year":"2000","unstructured":"Gupta, A., Lud\u00e4scher, 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)"},{"key":"4_CR22","unstructured":"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\u201388. Aka and IOS Press (2000)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of ACM"},{"key":"4_CR24","unstructured":"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\/"},{"key":"4_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984)"},{"key":"4_CR26","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"Perlis, D.: Languages with self-reference i: Foundations. Artificial Intelligence\u00a025, 301\u2013322 (1985)","journal-title":"Artificial Intelligence"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE \u2013 An RDF query, inference, and transformation language. In: Deductive Databases and Knowledge Management (DDLP 2001) (October 2001)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"4_CR29","unstructured":"Staab, S., Angele, J., Decker, S., Erdmann, M., Hotho, A., Maedche, A., Schnurr, H.-P., Studer, R., Sure, Y.: AI for theWeb \u2014 Ontology-based community web portals. In: 9-th International World Wide Web Conference (WWW9), Amsterdam, The Netherlands (May 2000)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Yang, G., Kifer, M.: Implementing an efficient DOOD system using a tabling logic engine. In: First International Conference on Computational Logic, DOOD\u20192000 Stream (July 2000)","DOI":"10.1007\/3-540-44957-4_72"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/3-540-36124-3_65"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-39715-1_7"},{"key":"4_CR33","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: User\u2019s manual (June 2003), http:\/\/flora.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39733-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T15:11:18Z","timestamp":1740841878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39733-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204077","9783540397335"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39733-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}