Piro, Robert

3 publications

IJCAI 2015 Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

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

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