
@misc{ openid,
   author="OpenID Foundation",
   title="{OpenID}",
   howpublished={\url{http://openid.net/}}
}

@article{ kalyanpur05swoop,
   author="Aditya Kalyanpur and Bijan Parsia and Evren Sirin and Bernardo Cuenca-Grau and James Hendler",
   title="{Swoop: A 'Web' Ontology Editing Browser}", 
   journal="{Journal of Web Semantics Vol 4(2)}", 
   year="2005"
}

@misc{ beckett03turtle,
   author="Dave Beckett",
   title="{Turtle - Terse RDF Triple Language}",
   year="2006",
   howpublished={\url{http://www.dajobe.org/2004/01/turtle/}}
}

@misc{ bl04delta,
   author="Tim Berners-Lee and Dan Connolly",
   title="{Delta: an ontology for the distribution of differences between RDF graphs}",
   howpublished={\url{http://www.w3.org/DesignIssues/Diff}},
   year="2004"
}
   

}
@book{ gallaire78logic,
 editor = {Herve Gallaire and Jack Minker},
 title = "{Logic and Data Bases}",
 year = {1978},
 isbn = {030640060X},
 publisher = {Perseus Publishing},
 }

@book{ dl,
   title="{The Description Logic Handbook}",
   editor="Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider",
   publisher="{Cambridge University Press}", 
   year="2003"
}

@InCollection{ shapiro05logic,
	author    =	{Stewart Shapiro},
	title     =	"{Classical Logic}",
	booktitle =	"{The Stanford Encyclopedia of Philosophy}",
	editor    =	{Edward N. Zalta},
	howpublished  =	{\url{http://plato.stanford.edu/archives/fall2005/entries/logic-classical/}},
	year      =	{Fall 2005}
}

@misc{ kif,
  title="{Knowledge Interchange Format. Draft proposed American National Standard (dpANS). NCITS.T2/98-004}",
  howpublished={\url{http://logic.stanford.edu/kif/dpans.html}},
  author={Michael R. Genesereth},
  year="1998"
}

@misc{ scl,
   howpublished={\url{http://www.ihmc.us/users/phayes/CL/SCL2004.html}},
   title="{SCL: Simple Common Logic}",
   year="2005",
   author="Murray Altheim and Bill Anderson and Pat Hayes and Chris Menzel and John F. Sowa and Tanel Tammet"
}

@TechReport{ kolovski06cwm,
   author="Vlad Kolovski and Tim Berners-Lee and Dan Connolly and Yosi and Yarden Katz and Jim Hendler",
   title="{Cwm: A theorem-prover for Web applications (in preparation)}",
   year="2006"
}

@inproceedings{ kagal06aaai,
    author="Lalana Kagal and Tim Berners-Lee and Dan Connolly and Daniel Weitzner",
    title="{Using Semantic Web Technologies for Open Policy Management on the Web}",
    booktitle="{21st National Conference on Artificial Intelligence}",
    month="July",
    year="2006"
}

@inproceedings{ kolovski05paw,	
   author="Vladimir Kolovski and Yarden Katz and James Hendler
                  and Daniel Weitzner and Tim Berners-Lee",
	title="{Towards a Policy-Aware Web}",
	booktitle="{Semantic Web and Policy Workshop at the 4th International Semantic Web Conference}",
	year="2005"
}

@TechReport{ rdfc,
    title = "{ Resource Description Framework (RDF): Concepts and Abstract Syntax }",
    author = {Carroll, J. J. and Klyne, G.},
    institution = {W3C},
    month = {February},
    year = {2004},
    number = {http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/},
    howpublished = {\url{http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/} }
}


@misc{ enquire,
  title="{ENQUIRE V 1.1 Manual}",
  howpublished={\url{http://www.w3.org/History/1980/Enquire/}},
  author="Tim Berners-Lee",
  year="1980"
}

@misc{ pychinko,
    howpublished={\url{http://www.mindswap.org/~katz/pychinko/}},
    title="{Pychinko: Rete-based RDF friendly rule engine}",
    author="Bijan Parsia and Yarden Katz and Kendall Clark",
    day="17,
    month="January",
    year="2005"
}

@misc{ euler,
    howpublished={\url{http://www.agfa.com/w3c/euler/}},
    title="{Euler proof mechanism}",
    author="Jos De Roo",
    year="2005"
}


@inproceedings{ appel99pca,
    title="{Proof-Carrying Authentication}",
    author={Andrew W. Appel and Edward W. Felten}, 
    booktitle={6th ACM Conference on Computer and Communications Security},
    year={1999}
}

@misc{ rdf-semantics,
	howpublished={\url{http://www.w3.org/TR/rdf-mt/}},
  	title="{RDF Semantics. W3C Recommendation}",
	author="Patrick Hayes",
	day="10",
	month="February",
	year="2004"
}

@misc{ python,
   howpublished={\url{http://www.python.org/}},
   title="{The Official Python Programming Language Website}"
}

@misc{ scheme,
	author = {Guy Lewis Steele and Gerald Jay Sussman},
	title = "{Scheme}",
	howpublished = {\url{http://www.swiss.ai.mit.edu/projects/scheme/}}
}

@misc{ rdfa,
	title="{RDF/A Primer 1.0.  Embedding RDF in XHTML. W3C Working Draft}",
	author={Ben Adida and Mark Birbeck},
	howpublished={\url{http://www.w3.org/TR/xhtml-rdfa-primer/}},
	day="10",
	month="March",
	year="2006"
}

@misc{ grddl,
	title="{Gleaning Resource Descriptions from Dialects of Languages (GRDDL), W3C Team Submission}",
	howpublished={\url{http://www.w3.org/TeamSubmission/grddl/}},
	author={Dominique Haza\"{e}l-Massieux and Dan Connolly},
	day=16,
	month="May",
	year="2005"
}

@misc{owl,
	title = "{OWL Web Ontology Language Reference, W3C Recommendation}",
	howpublished = {\url{http://www.w3.org/TR/owl-ref/}},
	month="February",
	year = {2004},
	author = {Sean Bechhofer and  Frank van Harmelen and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein}
}

@misc{ bl06n3bnf,
    title="{N3 BNF}",
    author="Tim Berners-Lee",
    howpublished={\url{http://www.w3.org/2000/10/swap/grammar/n3-report.html}},
    year="2006"
}

@misc{ bl01n3,
  title="{Notation 3 (N3) A readable RDF Syntax}",
  howpublished={\url{http://www.w3.org/DesignIssues/Notation3.html}},
  author="Tim Berners-Lee",
  year="1998"
}

@misc{ bl00cwm,
  author="Tim Berners-Lee",
  title="{Cwm : General-purpose Data Processor for the Semantic Web}",
  year="2000",
  howpublished={\url{http://www.w3.org/2000/10/swap/doc/cwm}}
 }

@misc{ bl05n3primer,
  title="{Primer: Getting into RDF and Semantic Web using N3}",
  howpublished={\url{http://www.w3.org/2000/10/swap/Primer}},
  author="Tim Berners-Lee",
  year="2005"
}

@inproceedings{ bl05experience,
   author={Tim Berners-Lee and Dan Connolly and Eric Prud'homeaux and Yosi Scharf},
   title="{Experience with N3 rules}",
   booktitle="{W3C Workshop on Rule Languages for Interoperability}",
   month="April",
   year="2005"
}

@misc{xml,
    author={Tim Bray and Jean Paoli and C.M. Sperberg-McQueen and Eve Maler and Francois Yergeau},
    title="{Extensible Markup Language (XML) 1.0 (Third Edition). W3C Recommendation}",
    howpublished={\url{http://www.w3.org/TR/2004/REC-xml-20040204/}},
    month="February",
    year="2004"
}


@Misc{ w3c04rdfxml,
    author = "Dave Beckett",
    title = "{RDF/XML Syntax Specification (Revised)}",
    howpublished = {\url{http://www.w3.org/TR/rdf-syntax-grammar/}},
    year = "2004"
}

@Misc{ w3c02rdfs,
    author = {Dan Brickley and R.V. Guha},
    title = "{RDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation.}",
    howpublished = {\url{http://www.w3.org/TR/rdf-schema/}},
    month="February",
    year = "2002"
}

@misc{ foaf,
   howpublished={\url{http://www.foaf-project.org/}},
   title={Friend of a Friend (FOAF) project},
   author={Dan Brickley and Libby Miller},
   year="1999"
}

@misc{ foafintro,
title = "{Finding friends with XML and RDF}",
    author = {Edd Dumbill},
    journal = {IBM developerworks},
    year = {2002},
    howpublished = {\url{http://www-128.ibm.com/developerworks/xml/library/x-foaf.html} }
}

@misc{ awww,
	author={Ian Jacobs and Norman Walsh},
	title="{The Architecture of the World Wide Web. W3C Recommendation}",
	howpublished={\url{http://www.w3.org/TR/webarch/}},
	day="15",
	month="December",
	year="2004"
}
