Actions over a Constructive Semantics for ALC. - Loris Bozzato; Mauro Ferrari 002; Paola Villa (Description Logics, 2008)

Actions Over a Constructive Semantics for Description Logics. - Loris Bozzato; Mauro Ferrari 002; Paola Villa (Fundam. Informaticae, 2009)

Semantics foundations for constructive description logics. - Paola Villa (2010)

A Description Logic Approach to Discover Suspicious Itineraries from Maritime Container Trajectories. - Paola Villa; Elena Camossi (GeoS, 2011)

KALC : a constructive semantics for ALC. - Paola Villa (J. Appl. Non Class. Logics, 2011)

Semantic-based Anomalous Pattern Discovery in Moving Object Trajectories - Elena Camossi; Paola Villa; Luca Mazzola (CoRR, 2013)