Seuraa
Robert Piro
Robert Piro
Researcher at Computer Science, Oxford University UK
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
RDFox: A highly-scalable RDF store
Y Nenov, R Piro, B Motik, I Horrocks, Z Wu, J Banerjee
The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015
2712015
Parallel materialisation of datalog programs in centralised, main-memory RDF systems
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
2002014
Incremental update of datalog materialisation: the backward/forward algorithm
B Motik, Y Nenov, R Piro, I Horrocks
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
1012015
Description logic TBoxes: Model-theoretic characterizations and rewritability
C Lutz, R Piro, F Wolter
arXiv preprint arXiv:1104.2844, 2011
892011
Maintenance of datalog materialisations revisited
B Motik, Y Nenov, R Piro, I Horrocks
Artificial Intelligence 269, 76-136, 2019
532019
Enriching [Escr][Lscr]-Concepts with Greatest Fixpoints
C Lutz, R Piro, F Wolter
ECAI 2010, 41-46, 2010
342010
Handling owl: sameAs via rewriting
B Motik, Y Nenov, R Piro, I Horrocks
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
262015
Semantic technologies for data analysis in health care
R Piro, Y Nenov, B Motik, I Horrocks, P Hendler, S Kimberly, M Rossman
The Semantic Web–ISWC 2016: 15th International Semantic Web Conference, Kobe …, 2016
252016
Hybrid reasoning on OWL RL
J Urbani, R Piro, F van Harmelen, H Bal
Semantic Web 5 (6), 423-447, 2014
232014
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.
M Otto, R Piro
Advances in modal logic 7, 273-287, 2008
232008
Combining rewriting and incremental materialisation maintenance for datalog programs with equality
B Motik, Y Nenov, R Piro, I Horrocks
arXiv preprint arXiv:1505.00212, 2015
202015
Model theoretic characterisations of description logics
R Piro
arXiv preprint arXiv:1305.5820, 2013
152013
Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
Informal Proceedings of the 27th International Workshop on Description …, 2014
82014
SC-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
C Lutz, R Piro, F Wolter
23rd International Workshop on Description Logics DL2010, 43, 2010
62010
Parallel materialisation of datalog programs in main-memory RDF databases
B Motik, Y Nenov, R Piro, I Horrocks
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 0
3
Handling owl: sameAs via rewriting
I Horrocks, B Motik, I Nenov, R Piro
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
2015
An Opinion on Swarms
R Piro
Handling owl: sameAs in RDFox via Rewriting
B Motik, Y Nenov, R Piro, I Horrocks
Safety and Acyclicity of Description Logics with Nominal Variables
M Krötzsch, R Piro
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–19