Tools e ambienti per lo sviluppo di ontologie per il ... - CHERSI/libri

More documents

Recommendations

Info

Mentre nel calcolo proposizionale si può dedurre unicamente il valore di verità di una proposizione, come nell'esempio visto, Prolog , è in grado di dedurre, se la domanda è un predicato contenente variabili, i valori che soddisfano il predicato. Il cuore di Prolog è un motore di inferenza, cioè un (sotto)programma cha può “ragionare logicamente” sulle informazioni. Prolog cerca di inferire la verità di un’ipotesi (la domanda che è stata posta), interrogando la collezione di informazioni già note che sono dunque vere. La risposta comprende tutte le soluzioni possibili. Fatti e Regole I predicati possono esprimere sia proprietà degli oggetti che relazioni; in linguaggio naturale alcune proprietà possono essere "l'erba è verde" e "Maria è una ragazza", mentre sono relazioni: "a Mario piace guidare", "Parigi è la capitale della Francia". L'assunzione basilare è che i predicati sono ciò che è conosciuto; implicitamente ciò che è conosciuto è vero. Nella sintassi di Prolog un predicato si descrive con un nome di predicato seguito fra parentesi dall'oggetto o dagli oggetti su cui agisce; il tutto chiuso con un punto: tipo(ferrari,sportiva). tipo(maserati,sportiva). tipo(fiat,familiare). tipo(renault,utilitaria). piace(marco,auto). piace(elena,auto). piace(anna,bici). Le regole sono predicati in cui un fatto è "vero" se uno o più altri fatti sono veri. La regola che definisce quando "piace guidare a Mario" potrebbe essere la seguente: "a Mario piace guidare se l'automobile è sportiva". Quindi le regole sono formate da due parti, la prima 116
Domande Inserire il titolo della tesi di laurea come intestazione (testa) è un predicato che è reso vero dalla seconda (corpo), separata dalla prima tramite i simboli ":" (due punti meno col significato di se): piace(anna,auto):tipo(Automobile,familiare);tipo(Automobile,utilitaria). piace(mario,auto):tipo(Automobile,sportiva),Automobile "ferrari". La prima regola afferma che ad anna piace l'auto se e' familiare o utilitaria, l'alternativa è indicata in Prolog col segno ";" (l’AND con il segno “,”). Per la seconda regola, a mario piacciono le auto sportive purché non siano ferrari. In minuscolo si indicano i fatti conosciuti, mentre le variabili hanno un nome che inizia con una lettera maiuscola, come la variabile Automobile che compare nelle regole. Le regole permettono la deduzione di fatti da altri fatti, ma esse possono essere pensate come procedure per chiedere a Prolog di compiere azioni diverse dal provare dei fatti, quali la scrittura di qualcosa o la creazione di un archivio, e in genere, ciò che un linguaggio di programmazione tipicamente può fare. Una volta fornito a Prolog un insieme di predicati, gli si possono porre domande che riguardano tali predicati; dagli esempi del paragrafo precedente, alcune domande potrebbero essere: Domanda in linguaggio naturale Domanda Prolog Risposta Cosa piace ad Anna? piace(anna,Cosa) Cosa piace a Chi? piace(Chi,Cosa) Cosa=bici Cosa=auto Cosa=auto 3 Solutions Chi=antonio, Cosa=auto Chi=carla, Cosa=auto 117
Page 1 and 2:
Facoltà di Ingegneria Corso di Stu
Page 3 and 4:
Indice Introduzione 5 Prefazione 7
Page 5 and 6:
Introduzione Il Web è nato come un
Page 7 and 8:
Prefazione L’elaborato di tesi pr
Page 9 and 10:
Tools e ambienti per lo sviluppo di
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
1.3.3 RDF Tools e ambienti per lo s
Page 17 and 18:
Page 19 and 20:
Capitolo 2 Il Semantic Web 2.1 Cos
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
2.4 I linguaggi per la costruzione
Page 27 and 28:
Capitolo 3 Costruire un’ontologia
Page 29 and 30:
Page 31 and 32:
• E’ riusabile. Tools e ambient
Page 33 and 34:
4.2 Criteri per comparare i tool To
Page 35 and 36:
Una schermata di Apollo Tools e amb
Page 37 and 38:
Page 39 and 40:
4.3.3 OILEd Tools e ambienti per lo
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
GRAIL. Tools e ambienti per lo svil
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
4.3.9 SymOntoX Tools e ambienti per
Page 53 and 54:
Una schermata di SymOntoX Tools e a
Page 55 and 56:
Page 57 and 58:
4.3.11 WebOnto Tools e ambienti per
Page 59 and 60:
Slot Tools e ambienti per lo svilup
Page 61 and 62:
Page 63 and 64:
ecc. 4.3.15 URL Tools e ambienti pe
Page 65 and 66: Feature Apollo Link Factory OILEd O
Page 67 and 68: 4.4 Tool per l’integrazione e la
Page 69 and 70: Tools e ambienti per lo sviluppo di
Page 71 and 72: sono: Tools e ambienti per lo svilu
Page 73 and 74: • Visualizzazione simultanea dell
Page 79 and 80: 4.4.5 ODEMerge Tools e ambienti per
Page 85 and 86: 4.4.8 URL Tools e ambienti per lo s
Page 89 and 90: 4.5 Tool per la valutazione di onto
Page 97 and 98: La generazione di ontologie sinteti
Page 103 and 104: Capitolo 5 L’evoluzione delle ont
Page 107 and 108: Conclusioni Le ontologie svolgono i
Page 111 and 112: [8]. Y. Sure, S. Staab, J. Angele,
Page 113 and 114: Proceedings of Formal Ontology in I
Page 115: Appendice A PROLOG Il Prolog (PROgr
Page 119 and 120: Inserire il titolo della tesi di la
Page 121 and 122: PROLOG e la conoscenza implicita In
Page 123 and 124: trovacicli(X):attivita(X,Y,[]). a
show all

Tools e ambienti per lo sviluppo di ontologie per il ... - CHERSI/libri

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?