@ARTICLE{horrocks-jws-03,
  AUTHOR = {Ian Horrocks and Peter F. Patel-Schneider and Frank van Harmelen},
  TITLE = {From SHIQ and RDF to OWL: the making of a Web Ontology Language.},
  JOURNAL = {Journal of Web Semantics},
  VOLUME = {1},
  YEAR = {2003},
  PAGES = {7-26},
  NUMBER = {1},
  URL = {http://dx.doi.org/10.1016/j.websem.2003.07.001},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@INCOLLECTION{antoniou-ho-04,
  AUTHOR = {Grigoris Antoniou and Frank van Harmelen},
  TITLE = {Web Ontology Language: OWL.},
  BOOKTITLE = {Handbook on Ontologies},
  PUBLISHER = {Springer},
  YEAR = {2004},
  EDITOR = {Steffen Staab and Rudi Studer},
  PAGES = {67-92}
}

@MISC{racer,
  TITLE = {Racer},
  URL = {http://www.sts.tu-harburg.de/~r.f.moeller/racer/}
}

@MISC{fact,
  TITLE = {FaCT},
  URL = {http://www.cs.man.ac.uk/~horrocks/FaCT/}
}

@MISC{kaon2,
  TITLE = {KAON2},
  URL = {http://kaon2.semanticweb.org/}
}