This is an archive of an inactive wiki and cannot be modified.

Normative References


Resource Description Framework (RDF): Concepts and Abstract Syntax, Klyne G., Carroll J. (Editors), W3C Recommendation, 10 February 2004, Latest version available at


RDF Semantics, Patrick Hayes, Editor, W3C Recommendation, 10 February 2004, Latest version available at


RDF Vocabulary Description Language 1.0: RDF Schema, Brian McBride , Editor, W3C Recommendation 10 February 2004,


RFC 3066 - Tags for the Identification of Languages, H. Alvestrand, IETF, January 2001. This document is


RFC 3987 - Internationalized Resource Identifiers (IRIs), M. Duerst and M. Suignard, IETF, January 2005. This document is


XML Schema Part 2: Datatypes, W3C Recommendation, World Wide Web Consortium, 2 May 2001. This version is The latest version is available at

Informational References


Normal Form Conventions for XML Representations of Structured Data, Henry S. Thompson. October 2001.


Logical foundations of object-oriented and frame-based languages, M. Kifer, G. Lausen, J. Wu. Journal of ACM, July 1995, pp. 741--843.


HiLog: A Foundation for higher-order logic programming, W. Chen, M. Kifer, D.S. Warren. Journal of Logic Programming, vol. 15, no. 3, February 1993, pp. 187--230.


Sorted HiLog: Sorts in Higher-Order Logic Data Languages, W. Chen, M. Kifer. Sixth Intl. Conference on Database Theory, Prague, Czech Republic, January 1995, Lecture Notes in Computer Science 893, Springer Verlag, pp. 252--265.


RDF/XML Syntax Specification (Revised), Dave Beckett, Editor, W3C Recommendation, 10 February 2004, Latest version available at


Nonmonotonic logics: meaning and utility, Y. Shoham. Proc. 10th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, pp. 388--393, 1987.


CURIE Syntax 1.0: A compact syntax for expressing URIs, Mark Birbeck. Draft, 2005. Available at


FLORA-2: An Object-Oriented Knowledge Base Language, M. Kifer. Web site. Available at


Object-Oriented jDREW, Web site. Available at


The Well-Founded Semantics for General Logic Programs, A. Van Gelder, K.A. Ross, J.S. Schlipf. Journal of ACM, 38:3, pages 620-650, 1991.


The Stable Model Semantics for Logic Programming, M. Gelfond and V. Lifschitz. Logic Programming: Proceedings of the Fifth Conference and Symposium, pages 1070-1080, 1988.


The semantics of predicate logic as a programming language, M. van Emden and R. Kowalski. Journal of the ACM 23 (1976), 733-742.


A Mathematical Introduction to Logic, Second Edition, H. B. Enderton. Academic Press, 2001.


Introduction to Mathematical Logic, Fourth Edition, E. Mendelson. Chapman & Hall, 1997.