Robert Piro

16 papers A* 3A 1B 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Maintenance of datalog materialisations revisited.
Artif. Intell.
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2016 — conf
Semantic Technologies for Data Analysis in Health Care.
ISWC (2)
Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman
2015 A* conf
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
IJCAI
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2015 J jnl
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
CoRR
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2015 — conf
RDFox: A Highly-Scalable RDF Store.
ISWC (2)
Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee
2014 J jnl
Handling owl: sameAs via Rewriting.
CoRR
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2014 J jnl
Hybrid reasoning on OWL RL.
Semantic Web
Jacopo Urbani, Robert Piro, Frank van Harmelen, Henri E. Bal
2014 A* conf
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.
AAAI
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
2014 — conf
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.
Description Logics
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
2013 J jnl
Model Theoretic Characterisations of Description Logics
CoRR
Robert Piro
2012 — —
Model-theoretic characterisations of description logics.
Robert Piro
2011 A* conf
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.
IJCAI
Carsten Lutz, Robert Piro, Frank Wolter
2011 J jnl
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
CoRR
Carsten Lutz, Robert Piro, Frank Wolter
2010 — conf
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.
Description Logics
Carsten Lutz, Robert Piro, Frank Wolter
2010 A conf
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.
ECAI
Carsten Lutz, Robert Piro, Frank Wolter
2008 B conf
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.
Advances in Modal Logic
Martin Otto, Robert Piro