UONTED – CLEI – CLEC – CLEGA

L’economia del futuro (che non ha un futuro)

Archivio per Web Semantico

Semantic Web: installazione di un sistema Debian per un progetto di web semantico

Ciao, dato che sulla distribuzione Debian testing l’installazione di Tomcat non andava mai a buon fine, ho reinstallato la versione stable ed ho preso qualche appunto. Per chi volesse installare un sistema Debian stable in vista dello sviluppo di un progetto di web semantico pubblico questi appunti che non vogliono essere una guida passo passo spiegata in ogni dettaglio, ma comunque una buona traccia che, almeno sul mio computer, funziona.

Debian

Come primo passo si deve installare Debian stable (detta anche Etch): download e masterizzazione dell’immagine, avvio da cd-rom e seguire le poche istruzioni e video.

Partizionare il disco fisso manualmente mettendo:

  1. partizione primaria inizio del disco da 100 Mb, file system ext3, montata come /boot
  2. partizione prmaria di swap pari al doppio della RAM, file system swap, usata come area di swap
  3. Eventuale partizione primaria per windows, file system ntfs, montata come /windows
  4. partizione primaria (se non c’è quella per windows, partizione estesa se c’è) grande il 90% dello spazio restante, file system ext3, montata come /home
  5. partizione estesa fino a riempire il disco, file system ext3, montata come /

Tutte le istruzioni vanno inserite in un terminale (una shell)
Configurazione SUDO

su
(password)
nano /etc/sudoers

aggiungere la riga:

nome-utente ALL=(ALL) ALL

Setup Repository Debian Stable

sudo nano /etc/apt/sources.list

inserire questo….

## Debian Stable (etch)
deb http://ftp.it.debian.org/debian/ stable main contrib non-free
#deb-src http://ftp.it.debian.org/debian/ stable main contrib non-free
## Aggiornamenti della sicurezza
deb http://security.debian.org/ stable/updates main contrib
#deb-src http://security.debian.org/ stable/updates main contrib

Salvare e aggiornare con:

sudo apt-get update
sudo apt-get upgrade

Installazione Firmware Scheda Wireless

Con il comando lspci identificare il tipo di scheda wireless, e cercare il driver più appropriato. Io ho una Intel Pro Wireless 2100 per cui il mio driver si chiama ipw2100. Scarico da internet il firmware da sourceforge e lo installo:

sudo cp ipw2100-1.3.fw  ipw2100-1.3-i.fw ipw2100-1.3-p.fw /usr/lib/hotplug/firmware
sudo nano /etc/modprobe.d/aliases

Aggiungere le righe (in fondo):

alias wlan0 ipw2100
options ipw2100 ifname=wlan0

Editare /etc/network/interfaces

sudo nano /etc/network/interfaces

Aggiungere:

iface wlan0 inet dhcp
pre-up modprobe ipw2100 ifname=wlan0
post-down rmmod ipw2100

Per attivare/disattivare l’interfaccia

ifup wlan0
ifdown wlan0

Installazione Flash Player
Scaricare il player Flash (http://www.adobe.com/shockwave/download/download.cgi?P1_Prod_Version=ShockwaveFlash)

tar xvfz install_flash_player_9_linux.tar.gz
cd install_flash_player_9_linux/
sudo mv libflashplayer.so usr/lib/iceweasel/plugins/

Riavviare Iceweasel

Installazione Apache 2 e PHP
Guida (http://guide.debianizzati.org/index.php/LAMP:_Linux%2C_Apache%2C_MySQL_e_PHP#Apache_2.0)

sudo apt-get install apache2-mpm-prefork
sudo apt-get install libapache2-mod-php4

Creare la cartella $home/public_html (nella quale mettere i file web) ed abilitarla con:

sudo a2enmod userdir
sudo apache2ctl restart

I file saranno accessibili attraverso 127.0.0.1/~nome-utente/

Velocizzazione del disco fisso settando il DMA

sudo hdparm -d /dev/hda

Installazione di un ambiente di compilazione

sudo apt-get install doc-debian debian-policy make g++ gcc perl autoconf sed debmake devscripts fakeroot

Installazione di Java Development Kit
Download dal sito ufficiale del JAVA SDK versione 6, il binario jdk-6u6-linux-i586.bin

sudo apt-get install java-package

Qui c’è uno sbattimento da fare poichè Java-Package non è aggiornato con gli ultimi update del software SUN.

cd /usr/share/java-package/
sudo cp -a sun-j2sdk1.5 sun-j2sdk1.6
sudo gedit sun-j2sdk1.6/install

Sostituire la prima linea con: suffix=j2sdk1.6-sun

sudo gedit sun-j2sdk.sh

aggiungere:

"jdk-6u6-linux-i586.bin")
j2se_version=1.6
j2se_expected_min_size=16
found=true
;;

Fine sbattimento
Da utente normale fai:

fakeroot make-jpkg jre-6u5-linux-i586.bin

Accetta il contratto, ecc…
Installiamo il pacchetto compilato (controlla il nome del file):

sudo dpkg -i sun-j2sdk1.6_1.6_i386.deb

Installazione di TOMCAT

sudo aptitude install tomcat5.5 tomcat5.5-admin tomcat5.5-webapps

Ferma il server

/etc/init.d/tomcat5.5 stop

Edita il file di configurazione:

sudo gedit /var/lib/tomcat5.5/conf/tomcat-users.xml

Inseriamo:

<?xml version='1.0' encoding='utf-8'?>
<tomcat-users>
<role rolename="admin"/>
<role rolename="manager"/>
<role rolename="tomcat"/>
<user username="tomcat"
password="47544"
roles="tomcat,admin,manager"/>
</tomcat-users>

Ripartire il server

/etc/init.d/tomcat5.5 start

Verifica se tutto funziona all’indirizzo http://localhost:8180/
Amministra al link http://localhost:8180/manager/html

Installazione di software utile

sudo apt-get install amule amsn vlc

Installazione dei driver NVIDIA (non quelli del sito Nvidia altrimenti ogni volta che cambia il kernel o che viene aggiornato xorg dà sempre errore e sono da reinstallare)

Installare:

sudo apt-get install module-assistant
sudo m-a -i prepare
sudo m-a a-i nvidia

Sostituire, nella sezione device, “nv” con “nvidia”

sudo gedit /etc/X11/xorg.conf

(questa parte è da rivedere)

Installare Skype
Download del file deb dal sito web

sudo apt-get install libqt4-core libqt4-gui
sudo dpkg -i skype-debian_2.0.0.63-1_i386.deb

(continua....)

Semantic Web Lezione 2

Numero di studenti a lezione: 2

Vediamo oggi un esempio di formalismo per rappresentare la conoscenza secondo la logica proposizionale. Il primo passo è definire la sintassi del formalismo, ovvero un insieme di formule atomiche (potenzialmente infinito) in genere limitato all’interno di un certo contesto. Il formalismo per indicare gli elementi di questo insieme sarà A, B, C, …., Ai

Definiamo dei connettivi logici AND, OR, NOT, ALLORA (implicazione)

lezione 2 - img 01 - websemantico

Formule ben formate (FBF):
se lezione 2 - img 11 - websemantico e lezione 2 - img 12 - websemantico sono FBF allora lezione 2 - img 02 - websemantico , lezione 2 - img 04 - websemantico,lezione 2 - img 05 - websemantico ,lezione 2 - img 06 - websemantico sono FBF, formule ben formate.

La sintassi è legata al concetto di verità. Le asserzioni di base da cui partire sono in generale date come vere

 

La semantica

Un assegnamento è la specifica dei valori di verità per tutte le formule atomiche.

A = (Tutti gli uomini sono mortali) è vero (oppure valore 1)

B = (Socrate è un uomo) è vero (oppure valore 1)

Indichiamo con 1 il valore di verità, indichiamo con 0 la non-verità (logica binaria).

Altro esempio: sia A=1, B=0, C=1.

Dati i valori di verità, allora tutti i valori di verità prodotti dalle inferenze successive risultano automaticamente determinati. Cioè, se ho una regola che mostra come la verità si propaga mediante la connessione, ad esempio, di due formule atomiche, allora assegnando i valori iniziali di verità, essendo l’applicazione delle inferenze un puro processo meccanico, allora i risultati sono automaticamente determinati senza incertezze.

AND

A

B

lezione 2 - img 07 - websemantico

falsa

falsa

vera

falsa

vera

falsa

vera

falsa

falsa

vera

vera

falsa

 

OR

A

B

lezione 2 - img 3 - websemantico

vera

falsa

vera

vera

vera

vera

falsa

falsa

falsa

falsa

vera

vera

IMPLICAZIONE

A

B

lezione 2 - img 08 - websemantico

falsa

falsa

vera

falsa

vera

vera

vera

falsa

falsa

vera

vera

vera

 

 

Posso generare delle formule che mi portino ad avere tutte le possibili combinazioni di zeri e uno? si… ad esempio per ottenere 1000 potrei avere lezione 2 - img 09 - websemantico

Alcune definizioni:

Def: Un modello per una formula T è un assegnamento che rende vera F.

Def: una FBF (formula ben formata) F si dice soddisfacibile se esiste un assegnamento che è un modello per F

E’ sempre possibile fare formule del genere? lezione 2 - img 10 - websemanticoè sempre falsa.

Def: una FBF F è detta insoddisfacibile se non esiste un modello per F.

Def: una FBF F è valida se tutti gli assegnamenti sono modelli per F (tautologia). Le tautologie sono poco interessanti poiché qualcosa che è sempre e comunque vero non aiuta, non aggiunge molta conoscenza.

 

Def: due FBF lezione 2 - img 11 - websemantico e lezione 2 - img 12 - websemantico sono equivalenti se hanno stessi modelli (o se hanno la stessa tabella di verità). lezione 2 - img 12 - websemantico

Alcuni esempi:

lezione 2 - img 13 - websemantico

lezione 2 - img 14 - websemantico

lezione 2 - img 15 - websemantico

Leggi di De Morgan

lezione 2 - img 16 - websemantico

 

lezione 2 - img 17 - websemantico

e ancora…

 

lezione 2 - img 18 - websemantico

Le leggi di De Morgan mostrano come non tutti i connettori logici siano necessari, ma utilizzando solo OR e NOT riesco a rappresentare tutte le formule possibili.

Concetto della conseguenza logica: voglio sapere quali sono le formule ben formate che implichino la verità, che soddisfano la seguente relazione?

lezione 2 - img 19 - websemantico

Una formula G (generica) è conseguenza logica di un insieme di formule F (formule in AND fra di loro) se per ogni assegnamento che è un modello per F allora questo è un modello anche per G.

Se per tutte le righe della tabelle di verità in cui F è vera anche G è vera, cioè ha lo stesso risultato, allora G è conseguenza logica di F.

Esempio.

Sia F una specifica di formule costituita da:

lezione 2 - img 20 - websemantico

lezione 2 - img 21 - websemantico

lezione 2 - img 22 - websemantico

Come verifico se G è conseguenza logica di F?

Posso costruire tutte le righe della tabella di verità e le confronto con quelle di G.

A

B

lezione 2 - img 21 - websemantico

lezione 2 - img 22 - websemantico

B

0

0

1

0

0

0

1

1

0

1

1

0

0

0

0

1

1

1

1

1

Sia G=B. B è conseguenza logica di F.

L’algoritmo che verifica la conseguenza logica ha complessità esponenziale.

 

Come si fanno le deduzioni?

lezione 2 - img 20 - websemantico

lezione 2 - img 21 - websemantico

Stabilisco un insieme di regole sulla base delle quali fare le deduzioni (regole di inferenza).

 

lezione 2 - img 23 - websemanticoSe nel mio insieme di formule ho formule che hanno questa struttura, ad esempio al posto di A e B posso avere anche altre formule più complesse, se ho la stessa struttura del modus ponens, allora posso aggiungere al mio insieme di conoscenza anche B, cioè B è vero. Questa deduzione deriva dalla regola di inferenza modus ponens.

Questo metodo deduttivo è corretto? E’ completo? Genero qualcosa che sia vero? Devo verificare che la regola di inferenza logica sia corretta. Dato che B è conseguenza logica dilezione 2 - img 22 - websemanticoallora B è vera.

Non è possibile trovare la completezza di ….. (non ho capito)

Deduzione naturale

Creare un insieme di regole di inferenza che ….. ecc…

lezione 2 - img 23 - websemantico; lezione 2 - img 24 - websemantico; ….