Slide 1Slide 2Slide 3Slide 4Slide 5Slide 6Slide 7Slide 8Chapter 3RDF and RDF Schema – Part 3Grigoris AntoniouFrank van HarmelenEdited by Jeff PartykaEdited by Keven L. AtesLecture Outline1. Basic Ideas of RDF 2. RDF Serializations3. Basic Concepts of RDF Schema4. Τhe Language of RDF Schema5. Direct Semantics based on Inference RulesSemantics based on Inference RulesSemantics in terms of RDF triples instead of restating RDF in terms of first-order logic… and sound and complete inference systems This inference system consists of inference rules of the form:IF E contains certain asserted triplesTHEN add to E certain additional inferred tripleswhere E is an arbitrary set of RDF triplesExamples of Inference Rules IF E contains the triple:(?x, ?p, ?y)THEN E also contains the triple:(?p, rdf:type, rdf:property)Examples of Inference Rules Subclass is a Transitive Relation:If C is subclass of B and B is subclass of A, then C is subclass of AIF E contains the triples:(?u, rdfs:subClassOf, ?v) and (?v, rdfs:subclassOf, ?w)THEN E also contains the triple: (?u, rdfs:subClassOf, ?w)IF E contains the triples:(?x, rdf:type, ?u) and (?u, rdfs:subClassOf, ?v)THEN E also contains the triple: (?x, rdf:type, ?v)Examples of Inference Rules (2)Any resource ?y which appears as the value of a property ?p can be inferred to be a member of the range of ?p–This shows that range definitions in RDF Schema are not used to restrict the range of a property, but rather to infer the membership of the rangeIF E contains the triples:(?x, ?p, ?y) and (?p, rdfs:range, ?u)THEN E also contains the triple:(?y, rdf:type, ?u)Basic RDFS Inference Rulesrdfs:subClassOfGiven(:ClassA rdfs:subClassOf :ClassB)(:ObjX rdf:type :ClassA),then (:ObjX rdf:type :ClassB)rdfs:subPropertyOfGiven(:PropQ rdfs:subPropertyOf :PropP)(:PredY rdf:type :PropQ),then (:PredY rdf:type :PropP)Basic RDFS Inference Rules (2)rdfs:domainGiven:(:PredP rdfs:domain :ClassA)(:ObjX :PredP :ObjY)then (:ObjX rdf:type :ClassA)rdfs:rangeGiven(:PredP rdfs:range :ClassA)(:ObjX :PredP :ObjY),then (:ObjY rdf:type