Integrazione di ragionamento su ontologie e Answer Set Programming.La ricerca ha per oggetto varie forme di combinazione di rappresentazione della conoscenza e ragionamento, anche defasibile, nelle logiche descrittive, con l’Answer Set Programming.

Verifica di processi con metodologie di rappresentazione della conoscenza e ragionamento. Oggetto della ricerca è la definizione, lo studio e la sperimentazione di metodologie per l’utilizzo di Answer Set Programming, ragionamento su ontologie, e loro combinazioni, per l’analisi di processi; in particolare, l’analisi di conformità di processi (es. aziendali) a norme, e l’analisi di conformità, anche temporale, di tracce di esecuzione rispetto a modelli di processi, con specifico interesse per il caso di linee guida cliniche.

-------------------------------------------------------------------------

Integration of ontology reasoning and Answer Set Programming. Several ways of combining knowledge representation and reasoning (including defeasibile reasoning) in description logics and Answer Set Programming.

Knowledge Representation and Reasoning for Process Analysis. Definining, studying and experimenting methodologies for using Answer Set Programming, ontology reasoning and their combinations, for process analysis; in particular, compliance analysis of processes (such as business processes) with norms, and analysis of conformance, including temporal conformance, of execution traces with respect to process models, with specific interest for clinical guidelines.