Segui
Robert Piro
Robert Piro
Researcher at Computer Science, Oxford University UK
Email verificata su cs.ox.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
RDFox: A highly-scalable RDF store
Y Nenov, R Piro, B Motik, I Horrocks, Z Wu, J Banerjee
International Semantic Web Conference, 3-20, 2015
1912015
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
1762014
Description logic TBoxes: Model-theoretic characterizations and rewritability
C Lutz, R Piro, F Wolter
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
792011
Incremental update of datalog materialisation: the backward/forward algorithm
B Motik, Y Nenov, REF Piro, I Horrocks
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
782015
Enriching EL-concepts with greatest fixpoints
C Lutz, R Piro, F Wolter
Proceedings of the 2010 Conference on ECAI, 41-46, 2010
272010
Hybrid reasoning on OWL RL
J Urbani, R Piro, F van Harmelen, H Bal
Semantic Web 5 (6), 423-447, 2014
242014
Semantic technologies for data analysis in health care
R Piro, Y Nenov, B Motik, I Horrocks, P Hendler, S Kimberly, M Rossman
International Semantic Web Conference, 400-417, 2016
232016
Maintenance of datalog materialisations revisited
B Motik, Y Nenov, R Piro, I Horrocks
Artificial Intelligence 269, 76-136, 2019
212019
Combining rewriting and incremental materialisation maintenance for datalog programs with equality
B Motik, Y Nenov, R Piro, I Horrocks
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
192015
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
192008
Handling owl: sameAs via rewriting
B Motik, Y Nenov, R Piro, I Horrocks
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
182015
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
Description Logics, 311-323, 2014
82014
Model theoretic characterisations of description logics
R Piro
arXiv preprint arXiv:1305.5820, 2013
82013
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
52010
SOMM: industry oriented ontology management tool
E Kharlamov, BC Grau, E JimÚnez-Ruiz, S Lamparter, G Mehdi, ...
Proc. of International Semantic Web Conference (ISWC), Posters andá…, 2015
42015
Parallel materialisation of datalog programs in main-memory RDF databases
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
IN: AAAI, 2014
32014
Handling owl: sameAs via rewriting
IR Horrocks, B Motik, R Piro
AAAI Press, 2016
2016
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20