【正文】 geom2: ogc:WKTLiteral): ogc:WKTLiteral – ogcf:union(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): ogc:WKTLiteral geom1 geom2 geom1 geom2 第 1章 基礎(chǔ)知識 GeoSPARQL查詢函數(shù) – ogcf:difference(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): ogc:WKTLiteral – ogcf:symDifference(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): ogc:WKTLiteral geom1 geom2 geom1 geom2 第 1章 基礎(chǔ)知識 – ogcf:envelope(geom: ogc:WKTLiteral): ogc:WKTLiteral – ogcf:boundary(geom1: ogc:WKTLiteral): ogc:WKTLiteral – ogcf:getSRID(geom: ogc:WKTLiteral): xsd:anyURI GeoSPARQL查詢函數(shù) geom geom 第 1章 基礎(chǔ)知識 – ogcf:relate(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral, patternMatrix: xsd:string): xsd:boolean GeoSPARQL 拓撲查詢函數(shù) DE9IM Intersection Matrix geom2 Interior Boundary Exterior geom1 Interior T T T Boundary F F T Exterior F F T geom1 geom2 ogc:contains patternMatrix: TTTFFTFFT 第 1章 基礎(chǔ)知識 – ogcf:sfEquals(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfDisjoint(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfIntersects(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfTouches(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfCrosses(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfWithin(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfContains(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean – ogcf:sfOverlaps(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral): xsd:boolean GeoSPARQL 拓撲查詢函數(shù) 84 Assumes Simple Features Relation Family 第 1章 基礎(chǔ)知識 PREFIX : PREFIX ogc: PREFIX ogcf: PREFIX epsg: SELECT ?parcel WHERE { ?parcel rdf:type :Residential . ?parcel :exactGeometry ?pGeo . ?pGeo ogc:asWKT ?pWKT . :District1 :exactGeometry ?dGeo . ?dGeo ogc:asWKT ?dWKT . :City1 :extent ?cGeo . ?cGeo ogc:asWKT ?cWKT . FILTER(ogcf:sfWithin(?pWKT, ogcf:intersection(?dWKT,?cWKT)))} 查出所有位于 :City1和 :District1相交區(qū)域內(nèi) :Residential類型的土地 查詢例子 85 第 1章 基礎(chǔ)知識 PREFIX : PREFIX ogc: PREFIX ogcf: PREFIX epsg: SELECT ?restaurant WHERE { ?restaurant rdf:type :Restaurant . ?restaurant :cuisine :Mexican . ?restaurant :pointGeometry ?rGeo . ?rGeo ogc:asWKT ?rWKT } ORDER BY ASC(ogcf:distance(“POINT(…)”^^ogc:WKTLiteral, ?rWKT, ogc:KM)) LIMIT 3 查出最近的三個墨西哥餐廳 查詢例子 86 第 1章 基礎(chǔ)知識 GeoSPARQL蘊含組件 87 第 1章 基礎(chǔ)知識 GeoSPARQL RDFS邏輯蘊含擴展 88 基本圖形的模式匹配可以使用由 RDFS Entailment Regime [W3C SPARQL Entailment] 定義的語義信息。 literal subjects are allowed – Matching a triple pattern to a graph: bindings between variables and RDF Terms Matching of Basic Graph Patterns – A Pattern Solution of Graph Pattern GP on graph G is any substitution S such that S(GP) is a subgraph of G. x v rdf:type rdf:Property rdf:type rdf:type rdf:Property SELECT ?x ?v WHERE { ?x ?x ?v } ?book dc:title ?title 第 1章 基礎(chǔ)知識 基本圖形模式 多重匹配 PREFIX foaf: SELECT ?name ?mbox WHERE { ?x foaf:name ?name . ?x foaf:mbox ?mbox } prefix foaf: . _:a foaf:name Johnny Lee Outlaw . _:a foaf:mbox mailto: . _:b foaf:name Peter Goodguy . _:b foaf:mbox mailto: . name mbox Johnny Lee Outlaw mailto: Peter Goodguy mailto: Group Graph Pattern (set of graph patterns) also! 數(shù)據(jù) Query Query Result 第 1章 基礎(chǔ)知識 基本圖形模式 空結(jié)點 PREFIX foaf: SELECT ?x ?name WHERE { ?x foaf:name ?name } prefix foaf: . _:a foaf:name Alice . _:b foaf:name Bob . x name _:c “Alice“ _:d “Bob” 數(shù)據(jù) Query Query Result 第 1章 基礎(chǔ)知識 圖形模式 Basic Graph Pattern – set of Triple Patterns Group Pattern a set of graph patterns must all match Value Constraints restrict RDF terms in a solution Optional Graph Patterns . additional patterns may extend the solution Alternative Graph Pattern – two or more possible patterns are tried Patterns on Named Graphs patterns are matched against named graphs 第 1章 基礎(chǔ)知識 組模式 PREFIX foaf: SELECT ?name ?mbox WHERE { ?x foaf:name ?name . ?x foaf:mbox ?mbox } PREFIX foaf: SELECT ?name ?mbox WHERE { {?x foaf:name ?name。 owl:someValuesFrom :Manager ] :PO1 :approvedBy :managerXyz :managerXyz rdf:type :Manager ? :PO1 rdf:type :ApprovedPurchaseOrder 第 1章 基礎(chǔ)知識 30 OWL ? 與 Class相關(guān)的結(jié)構(gòu) ? owl:equivalentClass ? owl:disjointWith ? :Boys owl:disjointWith :Girls ? owl:plementOf ? :Boys owl:plementOf :Non_Boys ? owl:unionOf, owl:intersectionOf, owl:oneOf ? owl:Restriction is used to define a class whose members have certain restrictions a property ? owl:someValuesFrom ? owl:allValuesFrom ? owl:hasValue owl:allValuesFrom ?:Vegetarian rdfs:subClassOf [ a owl:Restriction 。 donnesmoi le titre de l?original 187。 Source: 20 第 1章 基礎(chǔ)知識 更多的例子 … ? 比如，從常識知道， a:author 和 f:auteur 是同一個概念。 owl:onProperty :hasPriority 。 rdfs:seeAlso ?ppd . ?ppd a foaf:PersonalProfileDocument . } . GRAPH ?ppd { ?w foaf:mbox ?mbox