On the semantics of anonymous identity and reification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2519 LNCS, Issue , 2002, Pages 1047-1066

  Yang, Guizhen ^a   Kifer, Michael ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; INFORMATION SYSTEMS; INFORMATION USE; MULTI AGENT SYSTEMS;

F-LOGIC; FRAME-BASED; LOGIC LANGUAGES; SEMANTIC INFORMATION; SEMANTIC WEB LANGUAGES;

SEMANTIC WEB;

EID: 35048875561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36124-3_67     Document Type: Conference Paper

References (25)

1. F. Bancilhon, C. Delobel, and P. Kanellakis, editors. Building an Object-Oriented Database System: The Story of 02. Morgan Kaufmann, San Francisco, CA, 1990.
2. A.J. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205-265, October 1994.
3. A.J. Bonner and M. Kifer. A logic for programming database transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117-166. Kluwer Academic Publishers, March 1998.
4. J. Broekstra, C. Fluit, and F. van Harmelen. The state of the art on representation and query languages for semistructured data. Technical report, Administrator, Nederland BV, August 2000. http://www.aidministrator.nl/ publications/otk-del8.pdf.
5. W. Chen, M. Kifer, and D.S. Warren. HiLog: A first-order semantics for higherorder logic programming constructs. In North American Conference on Logic Programming, Cambridge, MA, October 1989. MIT Press.
6. W. Chen, M. Kifer, and D.S. Warren. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
7. H. Davulcu, G. Yang, M. Kifer, and I.V. Ramakrishnan. Design and implementation of the physical layer in webbases: The XRover experience. In First International Conference on Computational Logic, DOOD'2000 Stream, July 2000.
8. S. Decker, D. Brickley, J. Saarela, and J. Angele. A query and inference service for RDF. In QL'98 - The Query Languages Workshop, December 1998.
9. S. Decker, M. Erdmann, D. Fensel, and R. Studer. Ontobroker: Ontology based access to distributed and semi-structured information. In R. Meersman et al., editor, Database Semantics, Semantic Issues in Multimedia Systems, pages 351-369. Kluwer Academic Publisher, Boston, 1999.
10. P. Hayes (editor). RDF Model Theory. Technical report, W3C, April 2002. http://www.w3.org/TR/rdf-mt/.
11. D. Fensel, S. Decker, M. Erdmann, and R. Studer. 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.
12. R. Fikes and D.L. McGuinness. An axiomatic semantics for RDF, RDF Schema, and DAML+OIL. Technical Report KSL-01-01, Knowledge Systems Laboratory, Stanford University, October 2001.
13. M.R. Genesereth. 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.
14. C. H. Goh, S. Bressan, S. E. Madnick, and M. D. Siegel. Context interchange: Representing and reasoning about data semantics in heterogeneous systems. Technical report, MIT, School of Management, 1996.
15. A. Gupta, B. Ludäscher, and M. E. Martone. Knowledge-based integration of neuroscience data sources. In 12th International Conference on Scientific and Statistical Database Management (SSDBM), Berlin, Germany, July 2000. IEEE.
16. G.-J. Houben. HERA: Automatically generating hypermedia front-ends for ad hoc data from heterogeneous and legacy information systems. In Engineering Federated Information Systems, pages 81-88. Aka and IOS Press, 2000.
17. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of ACM, 42:741-843, July 1995.
18. O. Lasilla and R.R. Swick (editors). Resource description framework (RDF) model and syntax specification. Technical report, W3C, February 1999. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/.
19. J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1984.
20. D. Perlis. Languages with self-reference i: Foundations. Artificial Intelligence, 25:301-322, 1985.
21. M. Sintek and S. Decker. TRIPLE - An RDF query, inference, and transformation language. In Deductive Databases and Knowledge Management (DDLP'2001), October 2001.
22. S. Staab, J. Angele, S. Decker, M. Erdmann, A. Hotho, A. Maedche, H.-P. Schnurr, R. Studer, and Y. Sure. AI for the Web - Ontology-based community web portals. In 9-th International World Wide Web Conference (WWW9), Amsterdam, The Netherlands, May 2000.
23. G. Yang and M. Kifer. Implementing an efficient DOOD system using a tabling logic engine. In First International Conference on Computational Logic, DOOD'2000 Stream, July 2000.
24. G. Yang and M. Kifer. Flora-2: User's manual. http://flora.sourceforge. net/, March 2002.
25. G. Yang and M. Kifer. Well-founded optimism: Inheritance in frame-based knowledge bases. Submitted for publication, 2002.