web語義網(wǎng)與語義地理信息服務(wù)(文件)

　

【正文】 L查詢重寫擴展 91 基本圖形模式匹配可以利用語義信息，由依據(jù) RIF規(guī)則 [W3C RIF Core] 的 RIF Core Entailment Regime [W3C SPARQL Entailment] 來定義的 geor:sfequals, geor:sfdisjoint, geor:sfintersects, geor:sftouches, geor:sfcrosses, geor:sfwithin, geor:sfcontains, geor:sfoverlaps. 主要需求 : 第 1章 基礎(chǔ)知識 查詢重寫規(guī)則 基于默認(rèn)的幾何類型計算屬性 屬性空間關(guān)系 指定一個 RIF規(guī)則的組合 例 : ogcr:sfEquals (Forall ?f1 ?f2 ?g1 ?g2 ?g1Serial ?g2Serial (f1[ogc:sfEquals?f2] : And (?f1[ogc:hasDefaultGeometry?g1] ?f2[ogc:hasDefaultGeometry?g2] ?g1[ogc:asWKT?g1Serial] ?g2[ogc:asWKT?g2Serial] External(ogcf:sfEquals(?g1Serial,?g2Serial))) ) ) 92 第 1章 基礎(chǔ)知識 類關(guān)系的總結(jié) 93 Core Topology Vocabulary Extension (relation_family) Geometry Extension (serialization, version) Geometry Topology Extension (serialization, version, relation_family) Query Rewrite Extension (serialization, version, relation_family) RDFS Entailment Extension (serialization, version, relation_family) Parameters ? Serialization – WKT – GML ? Relation Family – Simple Features – RCC8 – Egenhofer Determines geometry c。 DC touches meet EC within inside+coveredBy NTPP+TPP contains contains+covers NTPPi+TPPi overlaps overlap PO 第 1章 基礎(chǔ)知識 :City rdfs:subClassOf ogc:Feature . :Park rdfs:subClassOf ogc:Feature . :exactGeometry rdfs:subPropertyOf ogc:hasGeometry . :Nashua rdf:type :City . :MinesFallsPark rdf:type :Park . :MinesFallsPark :opened “19500301”^^xsd:date . :MinesFallsPark :exactGeometry :geo1 . :geo1 ogc:asWKT “Polygon((…))”^^ogc:WKTLiteral . :Nashua :exactGeometry :geo2 . :geo2 ogc:asWKT “Polygon((…))”^^ogc:WKTLiteral . :MinesFallsPark ogc:sfWithin :Nashua . 元數(shù)據(jù) 非空間屬性 空間屬性 實例數(shù)據(jù) 77 第 1章 基礎(chǔ)知識 GeoSPARQL查詢函數(shù) 78 第 1章 基礎(chǔ)知識 – ogcf:distance(geom1: ogc:WKTLiteral, geom2: ogc:WKTLiteral, units: xsd:anyURI): xsd:double – ogcf:buffer(geom: ogc:WKTLiteral, radius: xsd:double, units: xsd:anyURI): ogc:WKTLiteral – ogcf:convexHull(geom: ogc:WKTLiteral): ogc:WKTLiteral GeoSPARQL查詢函數(shù) geom geom1 geom2 geom 第 1章 基礎(chǔ)知識 GeoSPARQL查詢函數(shù) – ogcf:intersection(geom1: ogc:WKTLiteral, 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 拓?fù)洳樵兒瘮?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 拓?fù)洳樵兒瘮?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] 定義的語義信息。 foaf:age ?age } } mbox age ppd mailto: 35 第 1章 基礎(chǔ)知識 構(gòu)造和輸出圖 Data: prefix foaf: . _:a foaf:givenname Alice . _:a foaf:family_name Hacker . _:b foaf:firstname Bob . _:b foaf:surname Hacker . Query: PREFIX foaf: PREFIX vcard: rdf/ CONST