kyrie2: Query Rewriting under Extensional Constraints in ELHIO | Publicación