logo

RDF Entailment Derivations

   

Added on  2019-09-22

2 Pages299 Words149 Views
 | 
 | 
 | 
a. In order to show using the entailment rules it is not possible to derive the following triple::hasAuthors rdfs:domain :PublicationLet’s draw all the possible derivations from the original triple.Figure 1: Possible DerivationsTherefore, it is not logically correct to have the triple given in the problem statement.b.Verifying the given set of triples S:_:m1 :has Authors _:l1 ._:m1 rdf:type :W3CStandard ._:m1 rdfs:subClassOf :ConferenceArticleThe original triple is given as:Figure 2: RDF graph GIt is not possible, with simple entailment obtain the given set of triples S.c.Verifying the given set of triples S:_:m1 :has Authors _:l1 ._:m1 rdf:type _:m2 ._:m2 rdfs:subClassOf :PublicationNow using the RDFS entailment, we can write:_m rdfs:domain :ConferenceArticleAlso, we have::ConferenceArticle rdfs:subClassOf PublicationTherefore,_:m rdfs:subClassOf :PublicationAn rdf:Seq is used to indicate that the order indicated by the numerical order of the container membership properties of the container is intended to be significant. Satisfyingthe other two triples in the subset S. Therefore, S is RDFS-entailed by G
RDF Entailment Derivations_1

End of preview

Want to access all the pages? Upload your documents or become a member.