Un formalismo basato sulla Frame Logic per il ragionamento spaziale. Un applicazione al problema della visualizzazione di relazioni spaziali qualitative