Robert Piro

According to our database, Robert Piro authored at least 15 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Maintenance of datalog materialisations revisited.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

Artif. Intell., 2019

2016

Semantic Technologies for Data Analysis in Health Care.

Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman

Proceedings of the Semantic Web - ISWC 2016, 2016

2015

RDFox: A Highly-Scalable RDF Store.

Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee

Proceedings of the Semantic Web - ISWC 2015, 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.

Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.

Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Hybrid reasoning on OWL RL.

Jacopo Urbani, Robert Piro, Frank van Harmelen, Henri E. Bal

Semantic Web, 2014

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Model Theoretic Characterisations of Description Logics

Robert Piro

CoRR, 2013

2012

Model-theoretic characterisations of description logics.

Robert Piro

PhD thesis, 2012

2011

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.

Carsten Lutz, Robert Piro, Frank Wolter

Proceedings of the IJCAI 2011, 2011

2010

Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.

Carsten Lutz, Robert Piro, Frank Wolter

Proceedings of the ECAI 2010, 2010

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.

Carsten Lutz, Robert Piro, Frank Wolter

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2008

A Lindström characterisation of the guarded fragment and of modal logic with a global modality.

Martin Otto, Robert Piro

Proceedings of the Advances in Modal Logic 7, 2008