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
@incollection{HPMW07,
  author = {Ian Horrocks and Peter F.~Patel-Schneider and Deborah L.~McGuinness and Christopher A.~Welty},
  booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications (2nd Edition)},
  chapter = {14},
  date-added = {2007-12-21 12:12:20 +0000},
  date-modified = {2007-12-21 12:20:58 +0000},
  editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
  publisher = {Cambridge University Press},
  title = {{OWL: a Description Logic Based Ontology Language for the Semantic Web}},
  url = {download/2003/HPMW07.pdf},
  year = 2007,
  bdsk-url-1 = {download/2003/HPMW07.pdf}
}
@article{PaHo07b,
  author = {Peter F.\ Patel-Schneider and Ian Horrocks},
  date-added = {2007-09-11 17:04:17 +0100},
  date-modified = {2007-11-30 11:21:38 +0000},
  doi = {10.1016/j.websem.2007.09.004},
  journal = {J.\ of Web Semantics},
  title = {A Comparison of Two Modelling Paradigms in the Semantic Web},
  url = {download/2007/PaHo07b.pdf},
  year = 2007,
  bdsk-url-1 = {download/2007/PaHo07b.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1016/j.websem.2007.09.004}
}
@article{SSPTH07,
  author = {Giorgos Stoilos and Giorgos Stamou and Jeff Z.~Pan and Vassilis Tzouvaras and Ian Horrocks},
  date-added = {2007-08-06 19:58:29 +0100},
  date-modified = {2007-10-19 11:20:00 +0100},
  journal = {J.\ of Artificial Intelligence Research},
  pages = {273--320},
  title = {Reasoning with Very Expressive Fuzzy Description Logics},
  url = {download/2007/SSPTH07.pdf},
  volume = {30},
  year = {2007},
  bdsk-url-1 = {download/2007/SSPTH07.pdf}
}
@inproceedings{GHHMS07,
  author = {Christine Golbreic and Matthew Horridge and Ian Horrocks and Boris Motik and Rob Shearer},
  booktitle = {Proc.\ of the 6th International Semantic Web Conference (ISWC 2007)},
  date-added = {2007-07-25 17:37:45 +0100},
  date-modified = {2007-11-30 11:10:19 +0000},
  isbn = {978-3-540-76297-3},
  pages = {169--182},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {{OBO} and {OWL}: Leveraging Semantic Web Technologies for the Life Sciences},
  url = {download/2007/GHHMS07.pdf},
  volume = {4825},
  year = {2007},
  bdsk-url-1 = {download/2007/GHHMS07.pdf}
}
@inproceedings{MoSH07b,
  author = {Boris Motik and Rob Shearer and Ian Horrocks},
  booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  date-added = {2007-07-25 17:10:07 +0100},
  date-modified = {2007-07-25 17:11:18 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {A Hypertableau Calculus for $\mathcal{SHIQ}$},
  url = {download/2007/MoSH07b.pdf},
  volume = {250},
  year = {2007},
  bdsk-url-1 = {download/2007/MoSH07b.pdf}
}
@inproceedings{CHKS07b,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  date-added = {2007-07-25 17:02:25 +0100},
  date-modified = {2007-07-25 17:12:10 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Ontology Reuse: Better Safe than Sorry},
  url = {download/2007/CHKS07b.pdf},
  volume = {250},
  year = {2007},
  bdsk-url-1 = {download/2007/CHKS07b.pdf}
}
@inproceedings{CHKS07c,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  booktitle = {Proc.\ of the 3rd Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)},
  date-added = {2007-07-23 23:57:36 +0100},
  date-modified = {2014-04-22 20:14:54 +0000},
  number = {258},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Extracting Modules from Ontologies: A Logic-based Approach},
  url = {download/2007/CHKS07c.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/CHKS07c.pdf}
}
@inproceedings{GoHo07a,
  author = {Christine Golbreich and Ian Horrocks},
  booktitle = {Proc.\ of the 3rd Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)},
  date-added = {2007-07-23 23:55:37 +0100},
  date-modified = {2007-07-24 00:03:51 +0100},
  number = {258},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {The {OBO} to {OWL} mapping, {GO} to {OWL} 1.1!},
  url = {download/2007/GoHo07a.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/GoHo07a.pdf}
}
@inproceedings{MoHS07b,
  author = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 3rd Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)},
  date-added = {2007-07-23 23:53:02 +0100},
  date-modified = {2007-07-24 00:05:08 +0100},
  number = {258},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Adding Integrity Constraints to {OWL}},
  url = {download/2007/MoHS07b.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/MoHS07b.pdf}
}
@inproceedings{GlHS07a,
  author = {Glimm, Birte and Horrocks, Ian and Sattler, Uli},
  booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  date-added = {2007-06-04 16:52:57 +0100},
  date-modified = {2007-07-24 21:39:55 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Conjunctive Query Entailment for $\mathcal{SHOQ}$},
  url = {download/2007/GlHS07a.pdf},
  volume = {250},
  year = {2007},
  bdsk-url-1 = {download/2007/GlHS07a.pdf}
}
@article{HoGS07a,
  author = {Ian Horrocks and Birte Glimm and Ulrike Sattler},
  date-added = {2007-05-27 15:12:28 +0100},
  date-modified = {2007-05-29 09:20:07 +0100},
  journal = {Electronic Notes in Theoretical Computer Science},
  note = {Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)},
  number = {6},
  pages = {3--14},
  title = {Hybrid Logics and Ontology Languages},
  url = {download/2007/HoGS07a.pdf},
  volume = {174},
  year = {2007},
  bdsk-url-1 = {download/2007/HoGS07a.pdf}
}
@article{TsHP07,
  author = {Dmitry Tsarkov and Ian Horrocks and Peter~F.\ Patel-Schneider},
  date-added = {2007-05-25 10:45:31 +0100},
  date-modified = {2007-09-01 13:02:09 +0100},
  doi = {10.1007/s10817-007-9077-y},
  journal = {J.\ of Automated Reasoning},
  number = {3},
  pages = {277--316},
  title = {Optimizing Terminological Reasoning for Expressive Description Logics},
  url = {download/2007/TsHP07.pdf},
  volume = {39},
  year = {2007},
  bdsk-url-1 = {download/2007/TsHP07.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9077-y}
}
@article{HoSa07a,
  author = {Ian Horrocks and Ulrike Sattler},
  date-added = {2007-05-25 10:40:14 +0100},
  date-modified = {2007-09-01 13:05:24 +0100},
  doi = {10.1007/s10817-007-9079-9},
  issn = {0168-7433},
  journal = {J.\ of Automated Reasoning},
  number = {3},
  pages = {249--276},
  title = {A Tableau Decision Procedure for $\mathcal{SHOIQ}$},
  url = {download/2007/HoSa07a.pdf},
  volume = {39},
  year = 2007,
  bdsk-url-1 = {download/2007/HoSa07a.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9079-9}
}
@inproceedings{MoSH07a,
  author = {Boris Motik and Rob Shearer and Ian Horrocks},
  booktitle = {Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction (CADE-21)},
  date-added = {2007-05-03 14:24:20 +0100},
  date-modified = {2007-07-25 18:12:24 +0100},
  pages = {67--83},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Optimized Reasoning in Description Logics using Hypertableaux},
  url = {download/2007/MoSH07a.pdf},
  volume = {4603},
  year = {2007},
  bdsk-url-1 = {download/2007/MoSH07a.pdf}
}
@inproceedings{CHKS07a,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  booktitle = {Proc.\ of the Sixteenth International World Wide Web Conference (WWW 2007)},
  date-added = {2007-01-31 09:47:45 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  title = {Just the Right Amount: Extracting Modules from Ontologies},
  url = {download/2007/CHKS07a.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/CHKS07a.pdf}
}
@inproceedings{MoHS07a,
  author = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the Sixteenth International World Wide Web Conference (WWW 2007)},
  date-added = {2007-01-31 09:40:30 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  title = {Bridging the Gap Between {OWL} and Relational Databases},
  url = {download/2007/MoHS07a.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/MoHS07a.pdf}
}
@article{PaHo07a,
  author = {Jeff Pan and Ian Horrocks},
  date-added = {2006-12-04 20:44:35 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  journal = {{IEEE} Trans.\ on Knowledge and Data Engineering},
  number = {2},
  pages = {192--206},
  title = {{RDFS(FA)}: Connecting {RDF(S)} and {OWL~DL}},
  url = {download/2007/PaHo07a.pdf},
  volume = {19},
  year = {2007},
  bdsk-url-1 = {download/2007/PaHo07a.pdf}
}
@inproceedings{CKHS07a,
  author = {Bernardo {Cuenca Grau} and Yevgeny Kazakov and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)},
  date-added = {2006-09-24 08:39:30 +0100},
  date-modified = {2007-05-02 18:26:39 +0100},
  pages = {298--303},
  title = {A Logical Framework for Modular Integration of Ontologies},
  url = {download/2007/CKHS07a.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/CKHS07a.pdf}
}
@inproceedings{GHLS07a,
  author = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
  booktitle = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)},
  date-added = {2006-09-22 19:36:54 +0100},
  date-modified = {2007-05-02 18:20:53 +0100},
  pages = {399--404},
  title = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
  url = {download/2007/GHLS07a.pdf},
  year = {2007},
  bdsk-url-1 = {download/2007/GHLS07a.pdf}
}
@comment{{BibDesk Smart Groups




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