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
@article{CHKKMMW13a,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Markus Kr\"{o}tzsch and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang},
  date-added = {2013-08-02 09:23:56 +0000},
  date-modified = {2014-09-16 11:56:49 +0000},
  doi = {http://dx.doi.org/10.1613/jair.3949},
  journal = {J.\ of Artificial Intelligence Research},
  month = {August},
  pages = {741--808},
  title = {Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies},
  url = {download/2013/CHKKMMW13a.pdf},
  volume = {47},
  year = {2013},
  bdsk-url-1 = {http://dx.doi.org/10.1613/jair.3949}
}
@inproceedings{SkLH13a,
  author = {Martin G.\ Skj\ae{}veland and Espen H.\ Lian and Ian Horrocks},
  booktitle = {Proc.\ of the 12th International Semantic Web Conference (ISWC 2013)},
  date-added = {2013-07-22 21:57:28 +0000},
  date-modified = {2013-07-22 21:57:28 +0000},
  series = {Lecture Notes in Computer Science},
  title = {Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data},
  url = {download/2013/SkLH13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/SkLH13a.pdf}
}
@inproceedings{ZNCH13a,
  author = {Yujiao Zhou and Yavor Nenov and Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 12th International Semantic Web Conference (ISWC 2013)},
  date-added = {2013-07-22 21:54:35 +0000},
  date-modified = {2013-07-22 21:54:35 +0000},
  series = {Lecture Notes in Computer Science},
  title = {Complete Query Answering Over {H}orn Ontologies Using a Triple Store},
  url = {download/2013/ZNCH13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/ZNCH13a.pdf}
}
@inproceedings{StMH13b,
  author = {Giorgio Stefanoni and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 2013 Description Logic Workshop (DL~2013)},
  date-added = {2013-07-22 21:53:09 +0000},
  date-modified = {2013-07-22 21:53:09 +0000},
  title = {Introducing Nominals to the Combined Query Answering Approaches for {EL}},
  url = {download/2013/StMH13b.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/StMH13b.pdf}
}
@inproceedings{JMCH13a,
  author = {Ernesto Jim\'{e}nez-Ruiz and Christian Meilicke and Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 2013 Description Logic Workshop (DL~2013)},
  date-added = {2013-07-22 21:51:59 +0000},
  date-modified = {2013-08-30 09:48:58 +0000},
  title = {Evaluating Mapping Repair Systems with Large Biomedical Ontologies},
  url = {http://ceur-ws.org/Vol-1014/paper_63.pdf},
  year = {2013},
  bdsk-url-1 = {download/2012/JMCH13a.pdf}
}
@incollection{Horr13a,
  author = {Ian Horrocks},
  booktitle = {Evolution of Semantic Systems},
  date-added = {2013-07-22 21:51:09 +0000},
  date-modified = {2013-07-22 21:51:09 +0000},
  editor = {Bernd-Olaf K\"{u}ppers and Udo Hahn and Stefan Artmann},
  pages = {175--188},
  publisher = {Springer},
  title = {What are ontologies good for?},
  url = {download/2013/Horr13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/Horr13a.pdf}
}
@inproceedings{MaKH-DL13,
  author = {Despoina Magka and Markus Kr\"{o}tzsch and Ian Horrocks},
  booktitle = {Proc.\ of the 2013 Description Logic Workshop (DL~2013)},
  date-added = {2013-07-22 21:48:48 +0000},
  date-modified = {2013-08-30 09:49:47 +0000},
  title = {Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling},
  url = {http://ceur-ws.org/Vol-1014/paper_35.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/MaKH-DL13.pdf}
}
@inproceedings{CGHMP13a,
  author = {Pierre Chaussecourte and Birte Glimm and Ian Horrocks and Boris Motik and Laurent Pierre},
  booktitle = {Proc.\ of the 12th International Semantic Web Conference (ISWC 2013)},
  date-added = {2013-07-22 18:46:28 +0000},
  date-modified = {2013-07-22 18:51:22 +0000},
  series = {Lecture Notes in Computer Science},
  title = {The Energy Management Adviser at {EDF}},
  url = {download/2013/CGHMP13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/CGHMP13a.pdf}
}
@inproceedings{MaKH-IJCAI2013,
  author = {Despoina Magka and Markus Kr\"{o}tzsch and Ian Horrocks},
  booktitle = {Proc.\ of the 23rd Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2013)},
  date-added = {2013-07-19 21:52:02 +0000},
  date-modified = {2013-07-19 21:54:21 +0000},
  location = {Beijing, China},
  month = {August},
  title = {Computing Stable Models for Nonmonotonic Existential Rules},
  url = {download/2013/MaKH-IJCAI2013.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/MaKH-IJCAI2013.pdf}
}
@inproceedings{StMH13a,
  author = {Giorgio Stefanoni and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 27th Nat.\ Conf.\ on Artificial Intelligence (AAAI~13)},
  date-added = {2013-07-19 15:43:51 +0000},
  date-modified = {2013-07-19 15:46:25 +0000},
  title = {Introducing Nominals to the Combined Query Answering Approaches for {EL}},
  url = {download/2013/StMH13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/StMH13a.pdf}
}
@article{DBLP:journals/corr/abs-1303-7430,
  author = {Giorgio Stefanoni and Boris Motik and Ian Horrocks},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  date-added = {2013-07-19 15:27:27 +0000},
  date-modified = {2013-08-30 09:14:31 +0000},
  ee = {http://arxiv.org/abs/1303.7430},
  journal = {CoRR},
  title = {Introducing Nominals to the Combined Query Answering Approaches for {EL}},
  url = {http://arxiv.org/pdf/1303.7430v2.pdf},
  volume = {abs/1303.7430},
  year = {2013},
  bdsk-url-1 = {http://arxiv.org/pdf/1303.7430v2.pdf}
}
@inproceedings{CMSH13a,
  author = {Bernardo {Cuenca Grau} and Boris Motik and Giorgos Stoilos and Ian Horrocks},
  booktitle = {Proc.\ of the 23rd Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2013)},
  date-added = {2013-07-19 15:11:06 +0000},
  date-modified = {2013-07-19 15:19:50 +0000},
  title = {Computing {D}atalog Rewritings beyond {H}orn Ontologies},
  url = {download/2013/CMSH13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/CMSH13a.pdf}
}
@article{DBLP:journals/corr/abs-1304-1402,
  author = {Bernardo {Cuenca Grau} and Boris Motik and Giorgos Stoilos and Ian Horrocks},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  date-added = {2013-07-19 15:00:55 +0000},
  date-modified = {2013-08-30 09:15:31 +0000},
  ee = {http://arxiv.org/abs/1304.1402},
  journal = {CoRR},
  title = {Computing {D}atalog Rewritings beyond {H}orn Ontologies},
  url = {http://arxiv.org/pdf/1304.1402v2.pdf},
  volume = {abs/1304.1402},
  year = {2013},
  bdsk-url-1 = {http://arxiv.org/pdf/1304.1402v2.pdf}
}
@inproceedings{ZhCH13a,
  author = {Yujiao Zhou and Bernardo {Cuenca Grau} and Ian Horrocks and Zhe Wu and Jay Banerjee},
  booktitle = {Proc.\ of the Twentysecond International World Wide Web Conference (WWW 2013)},
  date-added = {2013-02-16 22:45:37 +0000},
  date-modified = {2013-04-27 13:03:37 +0000},
  publisher = {ACM},
  title = {Making the Most of your Triple Store: Query Answering in {OWL 2} Using an {RL} Reasoner},
  url = {download/2013/ZhCH13a.pdf},
  year = {2013},
  bdsk-url-1 = {download/2013/ZhCH13a.pdf}
}
@article{DSKB+13a,
  author = {Emanuele {Della Valle} and Stefan Schlobach and Markus Kr{\"o}tzsch and Alessandro Bozzon and Stefano Ceri and Ian Horrocks},
  date-added = {2013-02-16 22:28:53 +0000},
  date-modified = {2013-02-16 22:55:51 +0000},
  journal = {Semantic Web},
  number = {2},
  pages = {219--231},
  title = {Order matters! {H}arnessing a world of orderings for reasoning over massive data},
  url = {download/2013/DSKB+13a.pdf},
  volume = {4},
  year = {2013},
  bdsk-url-1 = {download/2013/DSKB+13a.pdf}
}
@comment{{BibDesk Smart Groups




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