@inproceedings{DBLP:conf/nordichi/SoyluGJKZH14,
author = {Ahmet Soylu and Martin Giese and Ernesto Jim{\'{e}}nez{-}Ruiz and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/nordichi/SoyluGJKZH14},
booktitle = {Proc.\ of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational},
date-added = {2014-11-21 12:40:18 +0000},
date-modified = {2014-11-21 12:45:20 +0000},
doi = {10.1145/2639189.2670270},
pages = {1039--1042},
publisher = {{ACM}},
timestamp = {Sun, 09 Nov 2014 19:29:02 +0100},
title = {Why not simply Google?},
url = {download/2014/SoyluGJKZH14b.pdf},
year = {2014},
bdsk-url-1 = {http://doi.acm.org/10.1145/2639189.2670270},
bdsk-url-2 = {http://dx.doi.org/10.1145/2639189.2670270}
}
@inproceedings{DBLP:conf/mtsr/SoyluGJKZH14,
author = {Ahmet Soylu and Martin Giese and Ernesto Jim{\'{e}}nez{-}Ruiz and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/mtsr/SoyluGJKZH14},
booktitle = {Proc.\ of Metadata and Semantics Research --- 8th Research Conference, {MTSR} 2014},
date-added = {2014-11-21 12:34:03 +0000},
date-modified = {2014-11-21 12:45:09 +0000},
doi = {10.1007/978-3-319-13674-5_11},
pages = {107--119},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {Mon, 10 Nov 2014 14:38:02 +0100},
title = {Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation},
url = {download/2014/SoyluGJKZH14a.pdf},
volume = {478},
year = {2014},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-13674-5_11}
}
@inproceedings{DBLP:conf/semweb/CarralFGHH14,
author = {David Carral and Cristina Feier and Bernardo {Cuenca Grau} and Pascal Hitzler and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/semweb/CarralFGHH14},
booktitle = {Proc.\ of the 13th International Semantic Web Conference (ISWC 2014)},
date-added = {2014-11-21 12:22:56 +0000},
date-modified = {2016-08-03 16:07:37 +0000},
doi = {10.1007/978-3-319-11915-1_10},
pages = {148--163},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {Fri, 10 Oct 2014 14:06:38 +0200},
title = {Pushing the Boundaries of Tractable Ontology Reasoning},
url = {download/2014/CarralFGHH14.pdf},
volume = {8797},
year = {2014},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11915-1_10}
}
@inproceedings{PoMH14a,
author = {Anthony Potter and Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of 10th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS)},
date-added = {2014-09-19 21:16:06 +0000},
date-modified = {2014-11-22 11:20:50 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Querying Distributed RDF Graphs: The Effects of Partitioning},
url = {download/2014/PoMH14a.pdf},
year = {2014},
bdsk-url-1 = {download/2014/PoMH14a.pdf}
}
@inproceedings{DBLP:conf/dlog/SoyluKZJGH14,
author = {Ahmet Soylu and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ernesto Jim{\'{e}}nez{-}Ruiz and Martin Giese and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/SoyluKZJGH14},
booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
crossref = {DBLP:conf/dlog/2014},
date-added = {2014-09-16 13:49:31 +0000},
date-modified = {2014-09-16 13:49:31 +0000},
pages = {725--728},
timestamp = {Tue, 16 Sep 2014 15:49:16 +0200},
title = {OptiqueVQS: Visual Query Formulation for {OBDA}},
url = {http://ceur-ws.org/Vol-1193/paper_88.pdf},
year = {2014},
bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_88.pdf}
}
@inproceedings{DBLP:conf/dlog/ZhouNGH14,
author = {Yujiao Zhou and Yavor Nenov and Bernardo {Cuenca Grau} and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/ZhouNGH14},
booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
crossref = {DBLP:conf/dlog/2014},
date-added = {2014-09-16 13:47:45 +0000},
date-modified = {2014-09-16 13:47:58 +0000},
pages = {352--364},
timestamp = {Tue, 16 Sep 2014 15:47:26 +0200},
title = {Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner},
url = {http://ceur-ws.org/Vol-1193/paper_58.pdf},
year = {2014},
bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_58.pdf}
}
@inproceedings{DBLP:conf/dlog/MotikNPHO14,
author = {Boris Motik and Yavor Nenov and Robert Piro and Ian Horrocks and Dan Olteanu},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/MotikNPHO14},
booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
crossref = {DBLP:conf/dlog/2014},
date-added = {2014-09-16 13:46:31 +0000},
date-modified = {2014-09-16 13:46:31 +0000},
pages = {311--323},
timestamp = {Tue, 16 Sep 2014 15:46:10 +0200},
title = {Parallel {OWL} 2 {RL} Materialisation in Centralised, Main-Memory {RDF} Systems},
url = {http://ceur-ws.org/Vol-1193/paper_65.pdf},
year = {2014},
bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_65.pdf}
}
@proceedings{DBLP:conf/dlog/2014,
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/2014},
date-added = {2014-09-16 13:44:41 +0000},
date-modified = {2014-09-16 13:44:41 +0000},
editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
timestamp = {Tue, 16 Sep 2014 15:41:42 +0200},
title = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014},
url = {http://ceur-ws.org/Vol-1193},
volume = {1193},
year = {2014},
bdsk-url-1 = {http://ceur-ws.org/Vol-1193}
}
@inproceedings{DBLP:conf/dlog/CarralFRGHH14,
author = {David Carral and Cristina Feier and Ana {Armas Romero} and Bernardo {Cuenca Grau} and Pascal Hitzler and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/CarralFRGHH14},
booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
crossref = {DBLP:conf/dlog/2014},
date-added = {2014-09-16 13:42:27 +0000},
date-modified = {2014-09-16 13:43:04 +0000},
pages = {128--140},
timestamp = {Tue, 16 Sep 2014 15:41:42 +0200},
title = {Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs},
url = {http://ceur-ws.org/Vol-1193/paper_75.pdf},
year = {2014},
bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_75.pdf}
}
@article{KrSH14,
author = {Markus Kr\"{o}tzsch and Franti\v{s}ek Siman\v{c}\'{i}k and Ian Horrocks},
date-added = {2014-09-16 11:46:05 +0000},
date-modified = {2014-09-16 11:54:53 +0000},
journal = {IEEE Intelligent Systems},
number = {1},
pages = {12--19},
title = {{D}escription {L}ogics},
url = {download/2014/KrSH14.pdf},
volume = {29},
year = {2014},
bdsk-url-1 = {download/2014/KrSH14.pdf}
}
@article{MaKH14,
author = {Despoina Magka and Markus Kr\"{o}tzsch and Ian Horrocks},
date-added = {2014-09-16 11:41:16 +0000},
date-modified = {2014-09-16 11:54:16 +0000},
journal = {J.\ of Biomedical Semantics},
number = {17},
title = {A rule-based ontological framework for the classification of molecules},
url = {download/2014/MaKH14.pdf},
volume = {5},
year = {2014},
bdsk-url-1 = {download/2014/MaKH14.pdf}
}
@article{GHMSW14,
author = {Glimm, Birte and Horrocks, Ian and Motik, Boris and Stoilos, Giorgos and Wang, Zhe},
date-added = {2014-05-22 10:07:19 +0000},
date-modified = {2019-12-13 13:47:11 +0000},
doi = {10.1007/s10817-014-9305-1},
issn = {0168-7433},
journal = {J.\ of Automated Reasoning},
number = {3},
pages = {245--269},
publisher = {Springer Netherlands},
title = {{HermiT}: An {OWL} 2 Reasoner},
url = {download/2014/GHMSW14.pdf},
volume = {53},
year = {2014},
bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-014-9305-1}
}
@inproceedings{CFCHH14a,
author = {David Carral and Cristina Feier and Bernardo {Cuenca Grau} and Pascal Hitzler and Ian Horrocks},
booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2014)},
date-added = {2014-05-02 07:52:51 +0000},
date-modified = {2014-05-19 15:48:49 +0000},
pages = {464--479},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {$\mathcal{EL}$-ifying Ontologies},
url = {download/2014/CFCHH14a.pdf},
volume = {8562},
year = {2014},
bdsk-url-1 = {download/2014/CFCHH14a.pdf}
}
@inproceedings{ZNCH14a,
author = {Yujiao Zhou and Yavor Nenov and Bernardo {Cuenca Grau} and Ian Horrocks},
booktitle = {Proc.\ of the 28th Nat.\ Conf.\ on Artificial Intelligence (AAAI~14)},
date-added = {2014-04-23 16:55:02 +0000},
date-modified = {2014-08-12 22:11:03 +0000},
pages = {1142--1148},
publisher = {AAAI Press},
title = {Pay-as-you-go {OWL} Query Answering Using a Triple Store},
url = {download/2014/ZNCH14a.pdf},
year = {2014},
bdsk-url-1 = {download/2013/ZNCH13a.pdf}
}
@inproceedings{MNPHO14a,
author = {Boris Motik and Yavor Nenov and Robert Piro and Ian Horrocks and Dan Olteanu},
booktitle = {Proc.\ of the 28th Nat.\ Conf.\ on Artificial Intelligence (AAAI~14)},
date-added = {2014-04-08 10:19:47 +0000},
date-modified = {2014-08-12 22:11:40 +0000},
pages = {129--137},
publisher = {AAAI Press},
title = {Parallel Materialisation of {D}atalog Programs in Centralised, Main-Memory {RDF} Systems},
url = {download/2014/MNPHO14a.pdf},
year = {2014},
bdsk-url-1 = {download/2014/MNPHO14a.pdf}
}
@article{SiMH14a,
author = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik and Ian Horrocks},
date-added = {2014-01-24 09:56:50 +0000},
date-modified = {2014-09-16 11:55:18 +0000},
doi = {10.1016/j.artint.2014.01.002},
journal = {Artificial Intelligence},
pages = {29--77},
title = {Consequence-Based and Fixed-Parameter Tractable Reasoning in Description Logics},
url = {download/2014/SiMH14a.pdf},
volume = {209},
year = {2014},
bdsk-url-1 = {download/2014/SiMH14a},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.artint.2014.01.002}
}
@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
