Source author record

Alessio Fiorentino

Alessio Fiorentino appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG Artificial Intelligence Logic in Computer Science

Catalog footprint

What is connected

6works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting all RDFS datatypes. Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment. None of them, however, fully satisfy all the following desiderata: (i) being freely available and regularly maintained; (ii) supporting query answering and SPARQL queries; (iii) properly applying the sameAs property without adopting the unique name assumption; (iv) dealing with concrete datatypes. To fill the gap, we present DaRLing, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. In particular, we describe its architecture, the rewriting strategies it implements, and the result of an experimental evaluation that demonstrates its practical applicability. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).

preprint2020arXiv

On Frobenius' theta formula

Mumford's well-known characterization of the hyperelliptic locus of the moduli space of ppavs in terms of vanishing and non-vanishing theta constants is based on Neumann's dynamical system. Poor's approach to the characterization uses the cross ratio. A key tool in both methods is Frobenius' theta formula, which follows from Riemann's theta formula. In a 2004 paper Grushevsky gives a different characterization in terms of cubic equations in second order theta functions. In this note we first show the connection between the methods by proving that Grushevsky's cubic equations are strictly related to Frobenius' theta formula and we then give a new proof of Mumford's characterization via Gunning's multisecant formula.

preprint2019arXiv

Precomputing Datalog evaluation plans in large-scale scenarios

With the more and more growing demand for semantic Web services over large databases, an efficient evaluation of Datalog queries is arousing a renewed interest among researchers and industry experts. In this scenario, to reduce memory consumption and possibly optimize execution times, the paper proposes novel techniques to determine an optimal indexing schema for the underlying database together with suitable body-orderings for the Datalog rules. The new approach is compared with the standard execution plans implemented in DLV over widely used ontological benchmarks. The results confirm that the memory usage can be significantly reduced without paying any cost in efficiency. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).

preprint2015arXiv

A new proof of the Caporaso-Sernesi theorem via Weber's formula

In this paper we give a new proof of Caporaso and Sernesi's result which states that the general plane quartic is uniquely determined by its 28 bitangents. Our proof uses classical geometric results, as it is based on Weber's formula and on the injectivity of the $θ^{(4)}$ map.

preprint2015arXiv

Vector-valued modular forms and the Gauss map

We use the gradients of theta functions at odd two-torsion points --- thought of as vector-valued modular forms --- to construct holomorphic differential forms on the moduli space of principally polarized abelian varieties, and to characterize the locus of decomposable abelian varieties in terms of the Gauss images of two-torsion points.

preprint2014arXiv

Plane quartics: the matrix of bitangents

Aronhold's classical result states that a plane quartic can be recovered by the configuration of any Aronhold systems of bitangents, i.e. special 7-tuples of bitangents such that the six points at which any subtriple of bitangents touches the quartic do not lie on the same conic in the projective plane. In 2005 Lehavi proved that a smooth plane quartic can be explicitly reconstructed from its 28 bitangents; this result improved Aronhold's method of recovering the curve. In a 2011 paper Plaumann, Sturmfels and Vinzant introduced an eight by eight symmetric matrix parametrizing the bitangents of a nonsingular plane quartic. The starting point of their construction is Hesse's result for which every smooth quartic curve has exactly 36 equivalence classes of linear symmetric determinantal representations. In this paper we tackle the inverse problem, i.e. the construction of the bitangent matrix starting from the 28 bitangents of the plane quartic.