University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon
@misc{daml-ref-w3c,
  author = {Dan Connolly and Frank {van Harmelen} and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein},
  date-added = {2007-07-25 11:31:02 +0100},
  date-modified = {2007-07-25 11:36:20 +0100},
  howpublished = {{W3C} {N}ote},
  institution = {{W}orld {W}ide {W}eb {C}onsortium},
  month = {18 December},
  note = {Available at \url{http://www.w3.org/TR/daml+oil-reference}},
  title = {{DAML+OIL} ({M}arch 2001) {R}eference {D}escription},
  url = {http://www.w3.org/TR/daml+oil-reference},
  year = 2001,
  bdsk-url-1 = {http://www.w3.org/TR/daml+oil-reference}
}
@inproceedings{BeGH01,
  annote = {AKA: Horrocks01g},
  author = {Sean Bechhofer and Carole Goble and Ian Horrocks},
  booktitle = {Proc.\ of the 2001 Int.\ Semantic Web Working Symposium (SWWS~2001)},
  date-modified = {2007-03-07 20:44:27 +0000},
  note = {Available at \url{http://www.semanticweb.org/SWWS/program/full/SWWSProceedings.pdf}},
  pages = {151--159},
  title = {{DAML+OIL} is not Enough},
  url = {download/2001/not-enough.pdf},
  year = 2001,
  bdsk-url-1 = {download/2001/not-enough.pdf}
}
@inproceedings{BHGS01,
  annote = {AKA: Horrocks01o},
  author = {Sean Bechhofer and Ian Horrocks and Carole Goble and Robert Stevens},
  booktitle = {Proc.\ of the Joint German/Austrian Conf.\ on Artificial Intelligence (KI~2001)},
  date-modified = {2007-03-18 14:51:45 +0000},
  number = 2174,
  pages = {396--408},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{OilEd}: {A} {Reason-able} Ontology Editor for the Semantic Web},
  url = {download/2001/oiled-ki.pdf},
  year = 2001,
  bdsk-url-1 = {download/2001/oiled-ki.pdf}
}
@inproceedings{BHGS01b,
  annote = {AKA: Horrocks01e},
  author = {Sean Bechhofer and Ian Horrocks and Carole Goble and Robert Stevens},
  booktitle = {Proc.\ of the 2001 Description Logic Workshop (DL~2001)},
  date-modified = {2007-03-07 20:44:27 +0000},
  pages = {1--9},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {{OilEd}: A {Reason-able} Ontology Editor for the Semantic Web},
  url = {download/2001/oiled-dl.pdf},
  volume = {49},
  year = 2001,
  bdsk-url-1 = {download/2001/oiled-dl.pdf}
}
@inproceedings{HoPa01,
  annote = {AKA: Horrocks01f},
  author = {Ian Horrocks and Patel-Schneider, Peter F.},
  booktitle = {Proc.\ of the 2001 Description Logic Workshop (DL~2001)},
  date-modified = {2007-03-07 20:44:28 +0000},
  pages = {30--35},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {The Generation of {DAML+OIL}},
  url = {download/2001/HoPa01.pdf},
  volume = {49},
  year = 2001,
  bdsk-url-1 = {download/2001/HoPa01.pdf}
}
@inproceedings{HoSa01,
  annote = {AKA: Horrocks01b},
  author = {Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001)},
  date-modified = {2007-03-07 20:44:28 +0000},
  pages = {199--204},
  publisher = {Morgan Kaufmann, Los Altos},
  title = {Ontology Reasoning in the {$\mathcal{SHOQ}$(D)} Description Logic},
  url = {download/2001/ijcai01.pdf},
  year = 2001,
  bdsk-url-1 = {download/2001/ijcai01.pdf}
}
@techreport{HoSa01b,
  author = {Ian Horrocks and Ulrike Sattler},
  date-modified = {2007-03-07 20:44:29 +0000},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  number = {01-08},
  title = {Optimised Reasoning for $\mathcal{SHIQ}$},
  type = {LTCS-Report},
  url = {download/2001/HoSa01b.pdf},
  year = 2001,
  bdsk-url-1 = {download/2001/HoSa01b.pdf}
}
@inproceedings{Horrocks01a,
  author = {J. Broekstra and M. Klein and S. Decker and D. Fensel and F. van Harmelen and I. Horrocks},
  booktitle = {Proc.\ of the Tenth International World Wide Web Conference (WWW 2001)},
  date-modified = {2012-02-04 17:42:43 +0000},
  isbn = {1-58113-348-0},
  month = {May},
  pages = {467--478},
  title = {Enabling knowledge representation on the Web by Extending {RDF} Schema},
  url = {download/2001/extending-RDF.pdf},
  year = 2001,
  bdsk-url-1 = {download/2001/extending-RDF.pdf}
}
@article{FHHMP01,
  author = {D. Fensel and F. van Harmelen and I. Horrocks and D. McGuinness and P. F. Patel-Schneider},
  date-modified = {2007-03-07 20:44:29 +0000},
  journal = {{IEEE} Intelligent Systems},
  number = 2,
  pages = {38--45},
  title = {{OIL}: {A}n Ontology Infrastructure for the Semantic Web},
  url = {download/2001/IEEE-IS01.pdf},
  volume = 16,
  year = 2001,
  bdsk-url-1 = {download/2001/IEEE-IS01.pdf}
}
@inproceedings{Horrocks01d,
  author = {R. Stevens and I. Horrocks and C. Goble and S. Bechhofer},
  booktitle = {Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {81--90},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Building a Reason-able Bioinformatics Ontology Using {OIL}},
  url = {download/2001/oiled-ijcai.pdf},
  volume = {47},
  year = 2001,
  bdsk-url-1 = {download/2001/oiled-ijcai.pdf}
}
@inproceedings{Horrocks01h,
  author = {J. Pan and I. Horrocks},
  booktitle = {Proc.\ of the 2001 Int.\ Semantic Web Working Symposium (SWWS~2001)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {131--149},
  title = {Metamodeling Architecture of Web Ontology Languages},
  url = {download/2001/rdfsfa.pdf},
  year = 2001,
  bdsk-url-1 = {download/2001/rdfsfa.pdf}
}
@article{Horrocks01j,
  author = {M. Klein and D. Fensel and F. van Harmelen and I. Horrocks},
  date-modified = {2007-03-07 20:44:29 +0000},
  journal = {Electronic Trans.\ on Artificial Intelligence},
  note = {Special Issue on the 1st International Workshop ``Semantic Web: Models, Architectures and Management''},
  title = {The relation between ontologies and XML schemas},
  url = {download/2001/etai01.pdf},
  year = {2001},
  bdsk-url-1 = {download/2001/etai01.pdf}
}
@misc{daml-ref-daml,
  author = {Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks},
  date-modified = {2008-06-20 18:44:03 +0100},
  month = mar,
  note = {\url{http://www.daml.org/2001/03/reference.html}},
  title = {Reference Description of the {DAML+OIL} ({M}arch 2001) Ontology Markup Langauge},
  url = {http://www.daml.org/2001/03/reference.html},
  year = 2001,
  bdsk-url-1 = {http://www.daml.org/2001/03/reference.html}
}
@misc{daml-mt-daml,
  author = {Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks},
  date-modified = {2008-06-20 18:43:37 +0100},
  month = mar,
  note = {\url{http://www.daml.org/2001/03/model-theoretic-semantics.html}},
  title = {A Model-Theoretic Semantics for {DAML+OIL} ({M}arch 2001)},
  url = {http://www.daml.org/2001/03/model-theoretic-semantics.html},
  year = 2001,
  bdsk-url-1 = {http://www.daml.org/2001/03/model-theoretic-semantics.html}
}
@comment{{BibDesk Smart Groups




	
		conditions
		
			
				comparison
				2
				key
				Author
				value
				Baader
				version
				1
			
		
		conjunction
		0
		group name
		Baader
	
	
		conditions