![Page 1: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/1.jpg)
UNIVERSITA’ DEGLI STUDI DI MODENA E REGGIO EMILIAFACOLTA’ DI INGEGNERIA – SEDE DI MODENA
Corso di Laurea in Ingegneria Informatica
PROGETTAZIONE UML NELL’AMBITO DEL SEMANTIC WEB
RelatoreChiar.ma Prof.ssa Sonia Bergamaschi
Tesi di Laurea diPatrizia Ponchiroli
Anno Accademico 2003/2004
![Page 2: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/2.jpg)
Obiettivo della Tesi:Strumenti per lo sviluppo di ontologie
nel Semantic Web
Approccio tradizionale: Linguaggi KR tradizionali (Standard W3C)
Momis: ODLI3 (estensione di ODL)
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Adattabilità dell’UML nella rappresentazione di modelli formali come le ontologie ???
UML:
Comunicazione grafica human-to-human di analisi del software↓
Linguaggio machine-processable per lo sviluppo di ontologie
Alternativa proposta: Class diagram UML + vincoli OCL
![Page 3: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/3.jpg)
Generazioni del WebGenerazioni del Web
1° - Pagine statiche: HTML
2° - Pagine dinamiche:
Informazioni machine-readable Ricerche: match di keyword
3° - Web Semantico Tim Berners-Lee - Semantic web road map. Internal note, W3C. 1998
Informazioni machine-understandable Interoperabilità sintattica e semantica Creazione di linguaggi standard appropriati Mark-up dei contenuti / mark-up di presentazione Formalizzazione dei metadati Creazione di ontologie Utilizzo di agenti mobili
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 4: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/4.jpg)
RDBMS
Semantic Web:
agenti mobili raccolgono informazioni da sorgenti eterogenee, le elaborano e le scambiano automaticamente con altri programmi
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 5: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/5.jpg)
Linguaggi KR
(Knowledge Representation Languages)(Knowledge Representation Languages)
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Livello Dati RDF (1999) XML
Livello SchemaRDF-Schema (2000)
XML-Schema
Livello Logico
Definizione di Ontologie
Linguaggi KR: OWL - SHOIN(D) DAML+OIL - KIF (2001) DAML (2000) OIL - SHIQ (2000)
logiche del 1° ordine o Description Logics (DL)
Solo aspettistatici !
![Page 6: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/6.jpg)
MOMIS(Mediator envirOnment for Multiple Information
Sources)http://dbgroup.unimo.it/Momis
Integrazione virtuale ed intelligente di sorgenti eterogeneeLivello Logico: ODLI3 + OLCD (DL)
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Progetto nato dalla collaborazione tra i gruppi operativi dell’Università di Modena e Reggio Emilia e di Milano
Attualmente continua nell’ambito del progetto SEWASIE(SEmantic Webs and AgentS in Integrated Economies)
1. Sorgenti locali di dati strutturate o semistrutturate da integrare2. Wrapper: descrizione delle informazioni delle sorgenti in ODLI33. Mediatore: integrazione degli schemi locali generando un unico
schema globale, la GVV (Global Virtual View)4. Utente: interroga lo schema globale e riceve un’unica risposta
![Page 7: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/7.jpg)
Nasce come estensione di ODL (Object Definition Language), un linguaggio di descrizione dei dati object-oriented
Permette l’integrazione di sorgenti strutturate e semi-strutturate
ODLIODLI33::
Due nuovi costrutti: union e optional
Estensioni ai tipi valore ed ai tipi classe
Possibilità di definire attributi globali, oltre ai normali attributi locali
Vengono supportate le Mapping Rule
E’ possibile la definizione di regole di integrità denominate if-then rule
Annotazioni rispetto a WordNet
Nel caso di sorgenti relazionali è possibile definire delle foreign key
È possibile definire le relazioni terminologiche, intensionali ed estensionali, di: SYN (SYNonym-of): sinonimia BT (Border Terms): ipernimia NT (Narrow Terms): iponimia RT (Related Terms): associazione
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 8: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/8.jpg)
UML (Unified Modeling Language)
Linguaggio di modellazione grafica Object-Oriented
General purpose
Standard OMG (Object Management Group), basato su anni di esperienza nel campo dell’Ingegneria del Software, largamente adottato in campo industriale
OCL: linguaggio formale per la specifica di vincoli, per esprimere regole logiche
Nasce nel 1997 come fusione di: OMT (James Rumbaugh)OOSE (Ivar Jacobson)Metodologia di Booch (Grady Booch)
Meccanismi di estensione: VincoliValori etichettatiStereotipi
Case-tool: Rational-RoseArgoUML (open-source) } XMI (XML Metamodel Interchange)
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Ha la possibilità di esprimere processi e comportamenti dinamici
E’ provvisto di package e di altri meccanismi di modularità
![Page 9: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/9.jpg)
Categoria Diagrammi
Analisi dei requisiti Use-case
Struttura statica Package diagram
Class diagram
Object diagram
Interazione Sequence diagram
Collaboration diagram
Stato State chart
Activity diagram
Implementazione Component diagram
Deployment dagram
Diagrammi UML
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 10: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/10.jpg)
Metamodello UML
MOF (Meta Object Facility):
Class diagram UMLWeel-formedness rules – OCLStruttura a package
Metalivello Ontologie UML
Meta-metamodello Top-level Ontology
(N. Guarino)
Modello MOF
Metamodello Linguaggi KR Metamodello UML
Istanza del modello MOF
Metadati Ontologia Modello/schema UML definito dall’utente
Istanze del metamodello:Classi
Dati Database Sistema reale
Istanze del
modello:Oggetti
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 11: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/11.jpg)
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Limiti
UML non ha ancora una semantica formale, uniforme e standardizzataMetamodello: ridondanza
pUML (precise UML): Core di UML
Non è ancora efficacemente “Web-enabled”
UML: object-oriented vs Linguaggi KR: a frameL’UML non possiede una sintassi lineare
Sia l’UML che i linguaggi ontologici sono legati al formalismo XML, ma:DAML+OIL ha una rappresentazione standard XML l’OMG adotta XMI come modello per trasferire dati
Significative incompatibilità semantiche tra l’UML ed i Linguaggi KR
Semanticamente, OCL manca di una specifica formale
![Page 12: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/12.jpg)
Concetto di ProprietàK. Baclawski
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Linguaggi KR: Le proprietà sono elementi primitivi, possono esseredefinite senza riferimento a classi, e sono unidirezionali
Proprietà: più classi domainRDF(S): 1 classe rangeDAML+OIL: più classi range
Il concetto di Proprietà riassume i concetti di:Associazione (ObjectProperty)Attributo (DataTypeProperty)
Non c’è il concetto primitivo di Associazione Le associazioni possono esistere solo nel contesto di due o più classi
Associazione: 1 classe source e 1 classe target
UML:
![Page 13: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/13.jpg)
daml:Class “Persona"...daml:subClassOf
daml:Restrictiondaml:onProperty “possiede"daml:toClass “Cane"
… daml:Property “possiede"
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Concetto di PropertyK. Baclawski
Persona Canepossiede
1 0..n
Compagnia Veicolopossiede
1 0..n
“possiede”:
UML: 2 associazioniDAML+OIL: 1 proprietà
minCardinalitycardinality maxCardinality
![Page 14: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/14.jpg)
Unambiguous e Unique PropertyK. Baclawski
0..1 *
a1
Unambiguous Property
* 0..1
a2
Unique Property
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 15: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/15.jpg)
K. Baclawski prevede di estendere l’UML, definendo un prototipo UMLche mappi le specifiche UML in quelle DAML+OIL:
Stereotipi, specializzazioni di costrutti di modellazione,che corrispondano a elementi della sintassi DAML+OIL:
<<ontology>> (ontologia DAML+OIL)<<import>> (ontologie importate)<<instanceOf>> (type)<<equivalentTo >><<sameClassAs>><<samePropertyAs>><<inverseOf>><<TransitiveProperty>><<subProperty Of >>
Mapping UML / DAML+OILK. Baclawski
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Estensione al metamodello UML
![Page 16: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/16.jpg)
Esempio di Stereotipo
La proprietà “father” è un raffinamento della proprietà “parent”
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Le subProperty DAML+OIL sono mappate con la dipendenza stereotipata <<subPropertyOf>> tra 2 associazioni:
![Page 17: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/17.jpg)
Ogni estremo di associazione puòessere descritto da al più una proprietà
Una Property, come in DAML+OIL, puòessere vincolata da zero o più Restriction
Le Restriction sono Classifier ed ognuna è messa in relazione con almeno una classe
La Property è un Classifier e può esisteresenza essere associata a nessuna classe
Le istanze di una Restriction sono gli oggetti che soddisfano una condizione su una o più proprietà associate con la restrizione
Due nuovi costrutti: Proprietà e Restrizione
Estensione metamodello UMLP
roge
ttaz
ione
UM
L n
ell’
ambi
to d
el S
eman
tic
Web
–
15/1
2/04
Il fatto che nessuna Property può avere più di uno degli AssociationEnd di un’associazione può essere espresso con vincoli OCL
![Page 18: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/18.jpg)
Progetti in corsoTentativi di applicare UML nel campo della rappresentazione di ontologie
UBOT (Lockheed Martin Corporation) Mapping UML / DAML+OIL di K. Baclawski
Stephen Cranefied e Martin Purvis: hanno studiato l’uso dei class-diagram UMLper rappresentare ontologie e degli object-diagram UML per rappresentare istanze
Cranefield sta promuovendo lo sviluppo di ontologie usando UML e studiando il problema del mapping UML-RDF tool “UML-Data-Binding”
Progetto CODIP (Component for Ontology Driver Information Push): tool DUET (DAML-UML Enhanced Tool), basato su Rational Rose, che studia un profilo UML per DAML
F. Bergenti e A. Poggi hanno proposto un approccio basato sull’uso dell’UML per modellare vari aspetti dei sistemi multi-agente
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 19: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/19.jpg)
Ontology Engineer
Text or web pages
AeroTextText Extraction
DAML+OILOntologies
automatically generated DAML+OIL
annotatedtext or web pages
AeroDAML Extractionto DAML+OIL
UML GUI
UML↔DAML+OILTranslation
ConsVISor
XMI models
Consistencychecking
XMI models
UBOT (UML Based Ontology Tool-set)
http://ubot.lockheedmartin.com
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 20: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/20.jpg)
Ontology Engineer
UML-baseddesign tool
Javasource file
XMIDocument
Applications
RDF-Schema(in XML) + Estensioni
references
javac loads
references
Java class file
Knowledge(in RDF/XML)
references
XSLT
XSLT
UML-Data-BindingS. Cranefield
http://nzdis.otago.ac.nz/projects
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
![Page 21: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/21.jpg)
Conclusioni e sviluppi futuri
Problemi/limiti di mapping componenti statici dell’UMLMa l’UML è molto di più:
Ideale per modellare svariati aspetti del Web Semantico
gestione delle interazioni tra gli agenti software organizzazione dei servizi Web offerti
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Confronto dei tool UML DAML+OIL / RDF con i traduttori MOMIS ODLI3 RDF(S) / OWL etc...
Confronto validazione di schemi: ConsVISor / ODB-Tools
Confronto esprimibilità vincoli: OCL / ODLI3
Ricerche recenti hanno mostrato come vincoli di integrità UML possono essere espressi come trasformazioni di grafo del metamodello UML Implementazione di questo stile di deduzione in tool UML
![Page 22: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/22.jpg)
Bibliografia essenziale
Pro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
Tim Berners-Lee. Semantic web road map. Internal note, W3C. 1998http://www.w3.org/DesignIssues/Semantic.html
World Wide Web Consortium. http://www.w3.org
Valentina Tamma. Theoretical foundations of ontologies. An Ontology Model supporting Multiple Ontologies for Knowledge sharing. PhD Thesis, University of Liverpool, 2001
Nicola Guarino. Formal ontologies and information systems. Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS'98), Trento, Italy, 1998
MOMIS. http://dbgroup.unimo.it/Momis
UML. OMG Unified Modeling Language Specification, ver. 1.4
UBOT. http://ubot.lockheedmartin.com
S. Cranefield. UML and the Semantic Web. http://www.semanticweb.org/SWWS/program/full/paper1.pdf
![Page 23: UNIVERSITA DEGLI STUDI DI MODENA E REGGIO EMILIA FACOLTA DI INGEGNERIA – SEDE DI MODENA Corso di Laurea in Ingegneria Informatica PROGETTAZIONE UML NELLAMBITO](https://reader035.vdocuments.mx/reader035/viewer/2022062701/5542eb4c497959361e8b9b97/html5/thumbnails/23.jpg)
Grazie per l’attenzione
PROGETTAZIONE UML NELL’AMBITO DEL SEMANTIC WEB
Patrizia PonchiroliPro
gett
azio
ne U
ML
nel
l’am
bito
del
Sem
anti
c W
eb –
15
/12/
04
La tesi è consultabile e scaricabile dal sitowww.dbgroup.it