【正文】 af:PersonalProfileDocument . 第 1章 基礎(chǔ)知識(shí) 查詢數(shù)據(jù)集 訪問圖形標(biāo)記 PREFIX foaf: SELECT ?src ?bobAge WHERE { GRAPH ?src { ?x foaf:mbox mailto: . ?x foaf:age ?bobAge } } src bobAge 32 35 第 1章 基礎(chǔ)知識(shí) 查詢數(shù)據(jù)集 由圖形標(biāo)記限制 PREFIX foaf: PREFIX data: SELECT ?age WHERE { GRAPH data:bobFoaf { ?x foaf:mbox mailto: . ?x foaf:age ?age } } age 35 第 1章 基礎(chǔ)知識(shí) 查詢數(shù)據(jù)集 查詢模式限制 PREFIX data: PREFIX foaf: PREFIX rdf: PREFIX rdfs: SELECT ?mbox ?age ?ppd WHERE { GRAPH data:aliceFoaf { ?alice foaf:mbox mailto: 。 foaf:knows ?whom . ?whom foaf:mbox ?mbox 。 rdfs:seeAlso ?ppd . ?ppd a foaf:PersonalProfileDocument . } . GRAPH ?ppd { ?w foaf:mbox ?mbox 。 foaf:age ?age } } mbox age ppd mailto: 35 第 1章 基礎(chǔ)知識(shí) 構(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/ CONSTRUCT { ?x vcard:N _:v . _:v vcard:givenName ?gname . _:v vcard:familyName ?fname } WHERE { { ?x foaf:firstname ?gname } UNION { ?x foaf:givenname ?gname } . { ?x foaf:surname ?fname } UNION { ?x foaf:family_name ?fname } . } Result: @prefix vcard: . _:v1 vcard:N _:x . _:x vcard:givenName Alice . _:x vcard:familyName Hacker . _:v2 vcard:N _:z . _:z vcard:givenName Bob . _:z vcard:familyName Hacker . 第 1章 基礎(chǔ)知識(shí) 布爾查詢 @prefix foaf: . @prefix rdf: . @prefix rdfs: . _:a foaf:name Alice . _:a foaf:homepage . _:b foaf:name Bob . _:b foaf:mbox mailto: . PREFIX foaf: ASK { ?x foaf:name Alice } TRUE. 第 1章 基礎(chǔ)知識(shí) SPARQL (RDF查詢語(yǔ)言） 查詢 RDF 數(shù)據(jù) ? Find pairs of siblings (same parents) ? SELECT ?x ?y FROM rdf_graph WHERE { ?x hasFather ?f . ?x hasMother ?m . ?y hasFather ?f . ?y hasMother ?m . FILTER( ?x != ?y) } John Janice Sammy Suzie Matt Martha Cathy Jack Cindy Tom 1 2 3 4 Result (bindings) ?x ?y Suzie Matt Matt Suzie Cathy Jack Jack Cathy Tom Cindy Cindy Tom 1 2 3 4 hasFather hasMother 66 第 1章 基礎(chǔ)知識(shí) GEOSPARL 67 第 1章 基礎(chǔ)知識(shí) GeoSPARQL目的 為實(shí)現(xiàn)者和用戶提供一個(gè)共同的目標(biāo) – Oracle, BBN Parliament, Virtuoso, OWLIM, Franz, … 利用 SPARQL的可擴(kuò)展性框架 對(duì)于一般用戶足夠簡(jiǎn)單，同時(shí)對(duì) GIS專業(yè)人士有足夠的能力 調(diào)解基于定性空間推理的系統(tǒng)和基于定量的幾何形狀的系統(tǒng) ISO 19107 – Spatial Schema ISO 13249 – SQL/MM Simple Features Well Known Text (WKT) GML KML GeoJSON 68 第 1章 基礎(chǔ)知識(shí) 一個(gè)簡(jiǎn)單的例子 :OGCSept2022TC :locatedIn :Reston . :Reston :hasPointGeometry [ ogc:asWKT “POINT( )”^^ogc:WKTLiteral ] . Example Data: December 2022 SOCoP Workshop is located in Reston, VA SELECT ?airport WHERE { ?airport rdf:type :Airport . ?airport :hasPointGeometry [ ogc:asWKT ?aPointGeom ] FILTER(ogcf:distance(?aPointGeom, “POINT( )”^^ogc:WKTLiteral, ogc:km) = 100) } Example Query: Find airports within 100 KM of Reston, VA 69 第 1章 基礎(chǔ)知識(shí) GeoSPARQL提供什么？ 滿足查詢模式的詞匯表 – 類 ? 空間對(duì)象，特征，幾何類型 – 屬性 ? 拓?fù)潢P(guān)系 ? 特性與幾何類型間的關(guān)聯(lián) – 幾何標(biāo)識(shí)的數(shù)據(jù)類型 ? ogc:WKTLiteral, ogc:GMLLiteral 查詢函數(shù) – 拓?fù)潢P(guān)系，距離，緩沖，相交， … 蘊(yùn)含組件 – RIF 規(guī)則 將屬性 屬性查詢拓展到幾何查詢 – 為定量和定性系統(tǒng)提供統(tǒng)一的接口 70 第 1章 基礎(chǔ)知識(shí) GeoSPARQL 詞表 71 第 1章 基礎(chǔ)知識(shí) serializations metadata ogc:SpatialObject ogc:Feature 0 .. * 0 .. 1 ogc:hasGeometry ogc:hasDefaultGeometry ogc:Geometry ogc:dimension : xsd:int ogc:coordinateDimension : xsd:int ogc:spatialDimension : xsd:int ogc:isEmpty : xsd:boolean ogc:isSimple : xsd:boolean ogc:asWKT : ogc:WKTLiteral ogc:asGML : ogc:GMLLiteral … GeoSPARQL 詞表 : 基本類和關(guān)系 Same as ISO GFI_Feature Same as ISO GM_Object 72 Geometry encoded as a Literal 第 1章 基礎(chǔ)知識(shí) 所有 RDFS類型的 ogc:WKTLiteral應(yīng)包含一個(gè)可選的 IRI，它用來標(biāo)識(shí)空間參考系統(tǒng)，是根據(jù) Simple Features Well Known Text (WKT) 來描述的 [ISO 191251]。 “ POINT( )”^^ogc:WKTLiteral European Petroleum Survey Group (EPSG) maintains a set of CRS identifiers. WGS84 longitude – latitude is the default CRS “POINT( )”^^ogc:WKTLiteral ogc:WKTLiteral 73 第 1章 基礎(chǔ)知識(shí) 所有 ogc:GMLLiterals應(yīng)包括一個(gè)元素，它來自于根據(jù)GM_Object的子類實(shí)現(xiàn)的 GML模式 [OGC 07036]。 ogc:GMLLiteral 74 gml:Point srsName=\ xmlns:gml=\ gml:pos /gml:pos /gml:Point^^ogc:GMLLiteral Note that GMLLiterals are NOT rdf:XMLLiterals 第 1章 基礎(chǔ)知識(shí) A/B A B A B A B A B A B B B A ogc:sfEquals ogc:sfTouches ogc:sfOverlaps ogc:sfContains ogc:sfWithin ogc:sfDisjoint ogc:sfIntersects ogc:sfCrosses 空間對(duì)象（ ogc:SpatialObject）之間的拓?fù)潢P(guān)系 Assumes Simple Features Relation Family 75 A 第 1章 基礎(chǔ)知識(shí) RCC8, Egenhofer 和簡(jiǎn)單要素 Simple Features Egenhofer RCC8 equals equal EQ disjoint disjoint DC intersects 172。 disjoint 172。 DC touches meet EC within inside+coveredBy NTPP+TPP contains contains+covers NTPPi+TPPi overlaps overlap PO 第 1章 基礎(chǔ)知識(shí) :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