|
Docente
|
NICOLOSI ASMUNDO MARIANNA
(programma)
- Introduzione al web semantico: motivazioni, esempi, cenni alla modellazione semantica.
- Resource Description Framework (RDF): triple RDF, grafi RDF, Merging di grafi RDF, N-triple, Turtle.
- SPARQL Protocol and RDF Query Language: graph pattern, query SELECT e CONSTRUCT, inferenze.
- RDF Schema (RDFS): classi, proprietà, relazioni fra classi (subClassOf), fra proprietà (subPropertyOf) e fra proprietà e classi (domain e range). Operatori logici di combinazione di classi e proprietà. RDFS plus.
- Ontology Web Language 2 (OWL 2): restrizioni su proprietà, su classi (someValuesFrom, allValuesFrom), restrizioni di cardinalità. Inferenze in OWL 2. Profili OWL 2 EL, OWL 2 QL,OWL 2 RL e loro applicazioni. Nozioni di contraddizione, soddisfacibilità, insoddisfacibilità in ontologie.
- Pratiche buone e cattive per la modellazione di ontologie. Errori comuni.
- Esempi di ontologie ed esercizi di modellazione e inferenza con Protégé.
- Introduzione alla logica classica. Le logiche descrittive: motivazioni e nozioni base. Le logiche AL, EL, FL, ALC, ALCN. La logica alla base di OWL 2: SROIQ(D). I reasoner Pellet e Hermit.
- Datalog. The Semantic Rule Web Language (SWRL).
A semantic Web Primer (third edition). Grigoris Antoniou, Paul Groth, Frank van Harmelen, and Rinke Hoekstra, 2012. The MIT Press, Cambrigde, Massachusetts, London, England.
Semantic Web for the Working Ontologist (Second Edition).DeanAllemang andJamesHendler, 2011. Elsevier.
|
