@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
Horrocks
version
1
conjunction
0
group name
Horrocks
conditions
comparison
2
key
value
version
1
conjunction
0
group name
Last Import
conditions
