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.
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:
- partizione primaria inizio del disco da 100 Mb, file system ext3, montata come /boot
- partizione prmaria di swap pari al doppio della RAM, file system swap, usata come area di swap
- Eventuale partizione primaria per windows, file system ntfs, montata come /windows
- partizione primaria (se non c’è quella per windows, partizione estesa se c’è) grande il 90% dello spazio restante, file system ext3, montata come /home
- 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)
Formule ben formate (FBF):
se e sono FBF allora , , , 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 |
|
falsa |
falsa |
vera |
falsa |
vera |
falsa |
vera |
falsa |
falsa |
vera |
vera |
falsa |
OR |
||
A |
B |
|
vera |
falsa |
vera |
vera |
vera |
vera |
falsa |
falsa |
falsa |
falsa |
vera |
vera |
IMPLICAZIONE |
||
A |
B |
|
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
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? è 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 e sono equivalenti se hanno stessi modelli (o se hanno la stessa tabella di verità).
Alcuni esempi:
Leggi di De Morgan
e ancora…
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?
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:
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 |
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?
Stabilisco un insieme di regole sulla base delle quali fare le deduzioni (regole di inferenza).
Se 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 diallora B è vera.
Non è possibile trovare la completezza di ….. (non ho capito)
Deduzione naturale
Creare un insieme di regole di inferenza che ….. ecc…
; ; ….