ppt课件-o w l ontology web language（o w l本体网络语言）.pptVIP

OWL: Ontology Web Language Pierluigi D’Amadio a.a.2003/2004 Web Semantico: una visione? Estensione del WWW: Macchine capaci di processare e di “capire” il significato dei dati Linguaggi proposti dal W3C Ontologie: definizioni a confronto “a systematic explanation of being” (Philosophy) “… defines the basic terms and relations including the vocabulary of a topic area as well as the rules for combining terms and relations to define extensions to the vocabulary.” (Neches) “… an explicit specification of a conceptualization.” (Gruber) “An ontology is a formal and explicit specification of a shared conceptualization.” (Borst) “… a logical theory which gives an explicit, partial account of a conceptualization.” (Guarino) XML RDF versus XML RDF: Modello RDF: Esempio RDF Schema RDF Schema fornisce nozioni di modellazione per: esprimere classi (Class) e le interrelazioni tra classi (subClassOf). definire proprietà (Property,subPropertyOf) e associarle alle classi. domain, range definire le istanze (non necessariamente ground) con la proprietà type OWL: Sommario Origini di OWL Properties Symmetric, Transitive, Functional, Inverse Functional range, domain, subPropertyOf, inverseOf, equivalentProperty Class SubClassOf, intersectionOf, unionOf, complementOf, Enumeration, Equivalence, Disjoint Statements sulle istanze ground sameIndividualAs,DIfferentFrom,AllDifferent 3 facce di Owl Lite,DL,Full Origini di OWL Definire Property in OWL OWL usa rdfs:range, rdfs:domain, e rdfs:subPropertyOf. OWL introduce due classi di Property: owl:ObjectProperty è la classe di proprietà che hanno come valore un oggetto istanza di una classe (Resource2Resource) owl:DatatypeProperty è la classe di proprietà che hanno come valore un dato di tipo semplice o strutturato (rdfs:Literal o XML Schema built-in datatype) Gerarchia delle property classes Global vs Local rdfs:range stabilisce una global restriction su emptiesInto, ossia, rdfs:range value si applica a River e a tutte le sottoclass