A Lindström characterisation of the guarded fragment and of modal logic with a global modality. - Martin Otto 001; Robert Piro (Advances in Modal Logic, 2008)

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. - Carsten Lutz; Robert Piro; Frank Wolter (Description Logics, 2010)

Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. - Carsten Lutz; Robert Piro; Frank Wolter (ECAI, 2010)

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. - Carsten Lutz; Robert Piro; Frank Wolter (IJCAI, 2011)

Model-theoretic characterisations of description logics. - Robert Piro (2012)

Model Theoretic Characterisations of Description Logics - Robert Piro (CoRR, 2013)

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001; Dan Olteanu (AAAI, 2014)

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001; Dan Olteanu (Description Logics, 2014)

Hybrid reasoning on OWL RL. - Jacopo Urbani; Robert Piro; Frank van Harmelen; Henri E. Bal (Semantic Web, 2014)

Handling Owl: sameAs via Rewriting. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (IJCAI, 2015)

RDFox: A Highly-Scalable RDF Store. - Yavor Nenov; Robert Piro; Boris Motik; Ian Horrocks 001; Zhe Wu; Jay Banerjee (ISWC (2), 2015)

Semantic Technologies for Data Analysis in Health Care. - Robert Piro; Yavor Nenov; Boris Motik; Ian Horrocks 001; Peter Hendler; Scott Kimberly; Michael Rossman (ISWC (2), 2016)

Maintenance of datalog materialisations revisited. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (Artif. Intell., 2019)