testi - unical · testi + rdfs introduction by example + rdfs nw3c standard for an ontology...
TRANSCRIPT
![Page 1: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/1.jpg)
+
Linguaggi Logiche e Tecnologie per la Gestione Semantica deitesti
![Page 2: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/2.jpg)
+RDFSIntroduction by example
![Page 3: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/3.jpg)
+RDFS
n W3C standard for an ontology language
n RDFS introduces resources (URIs) with a predefined meaning
n Inference engines that support RDFS allow to take that meaning into account
n RDFS inferences extend the RDF graph by means of inference and hence, affect query answering
n RDFS is very simple compared to SWRL or OWL,however, it is very useful in many context, allowing for increased productivity, easy data integration and interesting AI applications
![Page 4: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/4.jpg)
+Building blocks
n New namespace rdfs: <http://www.w3.org/2000/01/rdf-schema#>
n New categories:
n Classes, resources that share something in common, allow us to group things together. For example, Employee, Company. Resources that identify classes have rdf:type rdfs:Class
n Instances, resources that are “members” of a class
Commonly, Class names are nouns
![Page 5: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/5.jpg)
+Building blocks
Resources can belong to multiple classes
![Page 6: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/6.jpg)
+Building blocks (cont.)
n Properties: Resources used as a predicate in statements
Commonly, Property names are multiple words, expressing direction and in camel-casing
![Page 7: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/7.jpg)
+RDFS Ontologies
n RDFS Axioms
n Are RDF triples!
n RDFS ontology is an RDF graph!
n An RDF graph may have a subgraph expressed in RDFS
n We call the RDFS axioms/triples the Tbox of the ontology (terminological information, predefined meaning)
n The rest is the Abox of the ontology (plain data, no predefined meaning)
![Page 8: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/8.jpg)
+Type propagation
n RDFS vocabulary:rdfs:subClassOf
n Key notions
n sub class (on the left)
n super class (on the right)
n Intuitive meaning, if :emp=1 is an instance of subclass it is also an instance of superclass
n Formal meaning: subsets
n Inference: type propagation Similar to inheritance in Object Oriented formalisms
![Page 9: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/9.jpg)
+Type propagation
n RDFS vocabulary:rdfs:subClassOf
n Key notions
n sub class (on the left)
n super class (on the right)
n Intuitive meaning, if :emp=1 is an instance of subclass it is also an instance of superclass
n Formal meaning: subsets
n Inference: type propagation Similar to inheritance in Object Oriented formalisms
![Page 10: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/10.jpg)
+Relation propagation
n RDFS vocabulary:rdfs:subPropertyOf
n Key notions
n sub property(on the left)
n super property(on the right)
n Intuitive meaning, if (x,y) are connected with subproperty they are also connected with superproperty
n Formal meaning: subsets (of binary tuples)
n Inference: relationship propagation
![Page 11: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/11.jpg)
+Relation propagation
n RDFS vocabulary:rdfs:subPropertyOf
n Key notions
n sub property(on the left)
n super property(on the right)
n Intuitive meaning, if (x,y) are connected with subproperty they are also connected with superproperty
n Formal meaning: subsets (of binary tuples)
n Inference: relationship propagation
![Page 12: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/12.jpg)
+Types by usage
n RDFS vocabulary:rdfs:domain, rdfs:range
n Key notions
n domain of a triple: the subject
n range of a triple: the object
n :p rdfs:domain :C -> the domain of any triple where :p is the predicate is an instance of :C (similar for rdfs:range)
n Formal meaning: if (x,y) in P, then x in :C
n Inference: type assignment by property usage
![Page 13: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/13.jpg)
+Types by usage
n RDFS vocabulary:rdfs:domain, rdfs:range
n Key notions
n domain of a triple: the subject
n range of a triple: the object
n :p rdfs:domain :C -> the domain of any triple where :p is the predicate is an instance of :C (similar for rdfs:range)
n Formal meaning: Inference: type assignment by property usage
![Page 14: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/14.jpg)
+Interactions
n All inferences interact to allow complex behavior
![Page 15: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/15.jpg)
+Interactions
n All inferences interact to allow complex behavior
![Page 16: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/16.jpg)
+Set intersection
n Proper set intersection is not possible in RDFS
n However, expressing necessary membership to multiple classes is possible, i.e., A subset B AND C
A rdfs:subClassOf BA rdfs:subClassOf C
considerx rdf:type A
![Page 17: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/17.jpg)
+Set intersection
n Proper set intersection is not possible in RDFS
n However, expressing necessary membership to multiple classes is possible, i.e., A subset B AND C
A rdfs:subClassOf BA rdfs:subClassOf C
considerx rdf:type A
![Page 18: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/18.jpg)
+Set intersection
n Proper set intersection is not possible in RDFS
n However, expressing necessary membership to multiple classes is possible, i.e., A subset B AND C
A rdfs:subClassOf BA rdfs:subClassOf C
considerx rdf:type A
One direction only!
![Page 19: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/19.jpg)
+Set intersection
n Similar for roles
![Page 20: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/20.jpg)
+Set intersection
n Similar for roles
![Page 21: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/21.jpg)
+Set union
n Proper set union is not possible in RDFS
n However, A OR B subsetOfC
B rdfs:subClassOf AC rdfs:subClassOf A
considerx rdf:type B
orx rdf:type C
![Page 22: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/22.jpg)
+Set union
n Proper set union is not possible in RDFS
n However, A OR B subsetOfC
B rdfs:subClassOf AC rdfs:subClassOf A
considerx rdf:type B
orx rdf:type C
![Page 23: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/23.jpg)
+Set union
n For roles. Aligning to a global vocabulary
![Page 24: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/24.jpg)
+Set union
n For roles. Aligning to a global vocabulary
![Page 25: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/25.jpg)
+Equivalence
n Merging vocabularies
n To account for same use of different terms (classes or properties)
n For classes or proeperties
![Page 26: testi - Unical · testi + RDFS Introduction by example + RDFS nW3C standard for an ontology language nRDFS introduces resources (URIs) with a predefined meaning nInference engines](https://reader033.vdocuments.site/reader033/viewer/2022042917/5f5a88a3718750019d5b9958/html5/thumbnails/26.jpg)
+Equivalence
n Merging vocabularies
n To account for same use of different terms (classes or properties)
n For classes or properties