A picture is worth a thousand formulae. Sara Di Bartolomeo

A picture is worth a thousand formulae

1990:1990:
Tim Berners Lee propone il World Wide Web,
introducendo il concetto di URL, HTTP e HTML

Ogni pagina ha un indirizzo che la identifica
univocamente
https://www.wikipedia.org
Content content content
content content content
Wikipedia
https://www.reddit.com
Reddit
www.amazon.com
Amazon
www.youtube.com
Youtube
www.wikipedia.org
Wikipedia

Le informazioni sul web sono progettate per il
consumo umano
https://www.wikipedia.org
Wikipedia
https://www.reddit.com
Reddit
www.amazon.com
Amazon
www.youtube.com
Youtube
www.wikipedia.org
Wikipedia

source:
The Web was designed as an information space, with the goal that it
should be useful not only for human-human communication, but also
that machines would be able to participate and help. Leaving aside the
artificial intelligence problem of training machines to behave like people,
the Semantic Web approach instead develops languages for expressing
information in a machine processable form.
[...]
Semantic Web Road map: A road map for the future, an architectural plan untested by
anything except thought experiments.

Persona
http://www.w3.org/ns/person#

Ad oggi, il web non funziona così, ma gli stessi principi
potrebbero tornarci utili in altri contesti.
Non solo per far capire ai programmi il linguaggio
progettato per gli umani, ma anche per far capire agli
umani un linguaggio progettato per le macchine

CUC TS_START TS_END ID_GROUP FLAG_CP FLAG_CF FATTURATO FLAG_FATT
124589 30-lug-
2004
1-gen-
9999
92736 S N 195000,00 N
140904 15-mag-
2001
15-giu-
2005
35060 N N 230600,00 N
124589 5-mag-
2001
13-
mag-
2001
92736 N S 195000,00 S
-452901 13-mag-
2001
27-lug-
2004
92770 S N 392000,00 N
129008 10-mag-
2001
1-gen-
999
62010 N S 247000,00 S
... ... ... ... ... ... ... ...
source: Ontology-based data management, Maurizio Lenzerini, ACM SIGMOD Blog

owl
RDF/XMLRDF/XML
<owl:Class rdf:ID="WineDescriptor" />
<owl:Class rdf:ID="WineColor">
  <rdfs:subClassOf rdf:resource="#WineDescriptor" />
</owl:Class>
<owl:ObjectProperty rdf:ID="hasWineDescriptor">
  <rdfs:domain rdf:resource="#Wine" />
  <rdfs:range  rdf:resource="#WineDescriptor" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="hasColor">
  <rdfs:subPropertyOf rdf:resource="#hasWineDescriptor" />
  <rdfs:range rdf:resource="#WineColor" />
</owl:ObjectProperty>
</rdfs:range>
TURTLETURTLE
:Teenager rdf:type owl:Class ;
    owl:equivalentClass [ rdf:type owl:Class ;
        owl:intersectionOf ( : Person
            [ rdf:type owl:Restriction ;
              owl:onProperty :hasAge ;
              owl:someValuesFrom [ rdf:type rdfs:Datatype ;
                  owl:onDatatype xsd:integer ;
                  owl:withRestrictions (
                      [ xsd:maxExclusive "20"^^xsd:integer ]
                      [ xsd:minExclusive "12"^^xsd:integer]
                      )
                  ]
              ]
           )
        ] .

select ?auto ?idTarga
where {
?auto rdf:type automobile
?auto x:haTarga ?targa
?targa x:idTarga ?idTarga
?auto x:colore ?colore
}

Select ?idVeicolo ?inizioStato ?fineStato ?idFormalitaGeneratrice ?
idFormalitaOriginaria ?codiceFormalitaOriginaria ?
dataAccettazioneFormalitaOriginaria ?
ufficioCompetenteFormalitaOriginaria ?serieTarga ?numeroTarga ?
serieTargaPrecedente ?numeroTargaPrecedente ?telaio ?kw ?
cilindrata ?peso ?portata ?tara ?classe ?uso ?carrozzeria ?specialita ?
alimentazione ?alimentazioneDTT ?dataImmatricolazione ?
codiceUltimaFormalitaDiParte ?dataUltimaFormalitaDiParte
where {
    ?veicolo :ID_veicolo ?idVeicolo.
    ?veicolo :ha_stato_di_veicolo ?stato.
    ?stato a :Stato_rappresentato_valido.
    ?stato :ha_targa ?targa.
    ?targa :numero_targa ?numeroTarga.
    ?targa :serie_targa ?serieTarga.
    ?stato :ha_formalita_originaria ?formalitaOriginaria.
    ?formalitaOriginaria :ID_formalita ?idFormalitaOriginaria.
    ?formalitaOriginaria :codice_tipo ?codiceFormalitaOriginaria.
    ?evento :determina_stato ?stato.
    ?formalitaGeneratrice :formalita_genera_evento ?evento.
    ?formalitaGeneratrice :ID_formalita ?idFormalitaGeneratrice.
    ?stato :inizio_stato_del_mondo ?inizioStato.
    ?stato :fine_stato_del_mondo ?fineStato.
    ?formalitaOriginaria :data_accettazione_formalita ?
dataAccettazioneFormalitaOriginaria.
    ?formalitaOriginaria :est_di_competenza_di_ufficio ?ufficio.
    ?ufficio :descrizione_ufficio ?ufficioCompetenteFormalitaOriginaria.
    ?stato :codice_tipo_ultima_formalita_di_parte ?
codiceUltimaFormalitaDiParte.
    ?stato :data_accettazione_ultima_formalita_di_parte ?
dataUltimaFormalitaDiParte.
    ?stato :ha_targa_precedente ?targaPrecedente.
    ?targaPrecedente :numero_targa ?numeroTargaPrecedente.
    ?targaPrecedente  :serie_targa ?serieTargaPrecedente.
    ?stato :numero_telaio ?telaio.
    ?stato :kw ?kw.
    ?stato :cilindrata ?cilindrata.
    ?stato :peso_complessivo ?peso.
    ?stato :portata ?portata.
    ?stato :tara ?tara.
    ?stato :classe_veicolo ?classe.
    ?stato :destinazione_di_uso ?uso.
    ?stato :carrozzeria ?carrozzeria.
    ?stato :descrizione_specialita ?specialita.
    ?stato :data_immatricolazione ?dataImmatricolazione.
    ?stato :alimentazione ?alimentazione.
    ?stato :alimentazione_DTT ?alimentazioneDTT
    FILTER(?idVeicolo >= '99966200000'^^xsd:string && ?
idVeicolo <= '99966207000'^^xsd:string)
}

Questions?
Sara Di Bartolomeo
dibartolomeo.sara@gmail.com
https://github.com/picorana
https://github.com/picorana/painless_sparql
 

A picture is worth a thousand formulae. Sara Di Bartolomeo

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Ähnlich wie A picture is worth a thousand formulae. Sara Di Bartolomeo

Ähnlich wie A picture is worth a thousand formulae. Sara Di Bartolomeo (20)

Mehr von Data Driven Innovation

Mehr von Data Driven Innovation (20)

A picture is worth a thousand formulae. Sara Di Bartolomeo