web語義網與語義地理信息服務-wenkub

　

【正文】 Tim BernesLee, James Hendler, Ora Lassila, The Semantic Web, Scientific American, May 2022 5 第 1章 基礎知識 語義技術棧 Standards based 6 ? 基本技術 ? URI ? 統一資源標識符Uniform resource identifier ? RDF ? 資源描述框架 ? Resource description framework ? RDFS ? RDF框架 ? RDF Schema ? OWL ? Web本體語言 ? Web ontology language 第 1章 基礎知識 語義數據管理特點 ? 發現數據關系通過 ? 結構化數據 (database, apps, web services) ? 非結構化數據 (, office documents) Multidata types (graphs, spatial, text, sensors) ? 文本挖掘和 網絡挖掘架構 ? Terabytes of structured amp。現在可以給出答案。 Source: 21 第 1章 基礎知識 3rd 使用更多的知識之后 ……. Source: 22 第 1章 基礎知識 可以支持更豐富的查詢操作！ ? 數據集 “F”現在可以查詢 : ? “donnesmoi la page d?accueil de l?auteur de l?originale” ? well… “give me the home page of the original?s ?auteur?” ? 數據集 “F” or “A”都不包含這類信息 … ? …現在，可以查到這個信息，因為： ? 合并了數據集 “A”和數據集 “F” ? 增加了幾個簡單的斷言，起到了“膠水”的作用 . Source: 23 第 1章 基礎知識 OWL本體語言 24 第 1章 基礎知識 RDF基本元素 ? 例示 例如： :John :MovieXYZ, :PurchaseOrder432 ? 類 ? Class represents a group/category/categorization of instances 例如： :John rdf:type :Student ? 屬性 ? 將數據連接到一起 例如， :John :brother :Mary, :John :hasAge “33”^^xsd:integer. 25 第 1章 基礎知識 RDF 框架 (RDFS) ? 核心語言的構造 ? rdfs:subClassOf ? :A rdfs:subClassOf :B ? instance of A is also instance of B ? rdfs:subPropertyOf (property transfer) ? :p1 rdfs:subPropertyOf :p2, :a :p1 :b ? :a :p2 :b ? :firstAuthor rdfs:subPropertyOf :Author ? skos:prefLabel rdfs:subPropertyOf rdfs:label ? rdfs:domain 和 rdfs:range (指定如何使用屬性 ) ? :p1 rdfs:domain :D, :a :p1 :b ? :a rdf:type :D ? :p2 rdfs:range :R, :a :p2 :b ? :b rdf:type :R ? 例如 :performSurgeryOn rdfs:domain :Surgeon :performSurgeryOn rdfs:range :Patient ? rdfs:label, seeAlso, isDefinedBy, … ? :Jack rdfs:seeAlso 26 使用推理導出隱含關系 第 1章 基礎知識 Web Ontology Language (OWL) ? 與 RDFS相比有更強的表達力 ? 與 Property有關的結構 ? owl:inverseOf ? . :write owl:inverseOf :authoredBy ? owl:SymmetricProperty ? :relatedTo rdf:type owl:SymmetricProperty ? foaf:knows is not defined as a symmetric property! ? owl:TransitiveProperty ? :partOf rdf:type owl:TransitiveProperty. ? skos:broader rdf:type owl:TransitiveProperty ? owl:equivalentProperty ? owl:FunctionalProperty ? :hasBirthMother rdf:type owl:FunctionalProperty ? owl:InverseFunctionalProperty ? foaf:mbox rdf:type owl:InverseFunctionalProperty ? Instances (owl:sameAs, owl:differentFrom) 27 使用推理導出隱含關系 第 1章 基礎知識 OWL ? 與 Class有關的結構 ? 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 28 第 1章 基礎知識 29 ? 與 Class相關的結構 ? 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 owl:someValuesFrom ?:ApprovedPurchaseOrder owl:equivalentClass [ a owl:Restriction 。 owl:allValuesFrom :VegetarianFood ] :Jen rdf:type :Vegetarian . :Jen :eats :Marzipan . ? :Marzipan rdf:type :VegetarianFood . We SHOULD not use :eats rdfs:range :VegetarianFood 第 1章 基礎知識 31 OWL ? 與 Class相關的結構 ? 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:hasValue ?:HighPriorityIt owl:equivalentClass [ a owl:Restriction 。 owl:onProperty :hasPlayer。 foaf:knows ?whom . ?whom foaf:mbox ?mbox 。 ogc:GMLLiteral 74 gml:Point srsName=\ xmlns:gml=\ gml:pos /gml:pos /gml:Point^^ogc:GMLLiteral Note that GMLLiterals are NOT rdf:XMLLiterals 第 1章 基礎知識 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 空間對象（ ogc:SpatialObject）之間的拓撲關系 Assumes Simple Features Relation Family 75 A 第 1章 基礎知識 RCC8, Egenhofer 和簡單要素 Simple Features Egenhofer RCC8 equals equal EQ disjoint disjoint DC intersects 172。 主要的需要 : 第 1章 基礎知識 Simple Features 幾何類型 ogc:Point ogc:Geometry ogc:Curve ogc:Surface ogc:GeometryCollection ogc:LineString ogc:Polygon ogc:PolyhedralSurface ogc:Line ogc:LinearRing ogc:Triangle ogc:TIN ogc:MultiSurface ogc:MultiCurve ogc:MultiPoint ogc:MultiPolygon ogc:MultiLineString 第 1章 基礎知識 SELECT ?water WHERE { ?water rdf:type :WaterBody . ?water ogc:rcc8Within :NH } 查出新罕布什爾的所有水體 RCC8 Backward Chaining SELECT ?water WHERE { ?water rdf:type :WaterBody . ?water ogc:hasDefaultGeometry ?wGeo . ?wGeo ogc:asWKT ?wWKT . :NH ogc:hasDefaultGeometry ?nGeo . ?nGeo ogc:asWKT ?nWKT . FILTER(ogcf:rcc8Within(?wWKT, ?nWKT)) } Same Query Specification Qualitative Quantitative Query Rewrite Specified with a RIF rule GeoSPARQL 查詢重寫擴展 90 第 1章 基礎知識 GeoSPARQ