@prefix : <http://example.com/uasl#> .
@prefix acr: <http://example.com/aircraft#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

# 2026-01-06版
# クラス定義
:UaslAdministrator rdf:type owl:Class ;
    rdfs:label "航路運営者"@ja .

:Uasl rdf:type owl:Class ;
    rdfs:label "航路"@ja .

:UaslSection rdf:type owl:Class ;
    rdfs:label "航路区画"@ja .

:UaslPoint rdf:type owl:Class ;
    rdfs:label "航路点"@ja .

:ExternalSystemInfo rdf:type owl:Class ;
    rdfs:label "外部システム情報"@ja .

#########################################################################
##### UaslAdministrator関連
#########################################################################
:uaslAdministratorId rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslAdministrator ;
    rdfs:range xsd:string ;
    rdfs:label "航路運営者ID"@ja .

:businessNumber rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslAdministrator ;
    rdfs:range xsd:string ;
    rdfs:label "事業者番号"@ja .

:hasUasl rdf:type owl:ObjectProperty ;
    rdfs:domain :UaslAdministrator ;
    rdfs:range :Uasl ;
    rdfs:label "航路を持つ"@ja ;
    owl:inverseOf :belongsToUaslAdministrator .

:belongsToUaslAdministrator rdf:type owl:ObjectProperty ;
    rdfs:domain :Uasl ;
    rdfs:range :UaslAdministrator ;
    rdfs:label "航路運営者に属する"@ja ;
    owl:inverseOf :hasUasl .

#########################################################################
##### Uasl関連
#########################################################################
:uaslId rdf:type owl:DatatypeProperty ;
    rdfs:domain :Uasl ;
    rdfs:range xsd:string ;
    rdfs:label "航路ID"@ja .

:uaslName rdf:type owl:DatatypeProperty ;
    rdfs:domain :Uasl ;
    rdfs:range xsd:string ;
    rdfs:label "航路名"@ja .

:flightPurpose rdf:type owl:DatatypeProperty ;
    rdfs:domain :Uasl ;
    rdfs:range xsd:string ;
    rdfs:label "航路目的"@ja .

:createdAt rdf:type owl:DatatypeProperty ;
    rdfs:domain :Uasl ;
    rdfs:range xsd:dateTime ;
    rdfs:label "作成日時"@ja ;
    rdfs:comment "ISO 8601形式。"@ja .

:updatedAt rdf:type owl:DatatypeProperty ;
    rdfs:domain :Uasl ;
    rdfs:range xsd:dateTime ;
    rdfs:label "更新日時"@ja ;
    rdfs:comment "ISO 8601形式。"@ja .

# 利用可能なドローンはリテラルとオブジェクトの2種類用意
:droneId rdf:type owl:DatatypeProperty ;
    rdfs:domain :Uasl ;
    rdfs:range xsd:integer ;
    rdfs:label "航路を利用可能なドローンの機体情報ID"@ja .

:hasUaslPoint rdf:type owl:ObjectProperty ;
    rdfs:domain :Uasl ;
    rdfs:range :UaslPoint ;
    rdfs:label "航路点を持つ"@ja ;
    owl:inverseOf :belongsToUasl .

:hasUaslSection rdf:type owl:ObjectProperty ;
    rdfs:domain :Uasl ;
    rdfs:range :UaslSection ;
    rdfs:label "航路区画を持つ"@ja ;
    owl:inverseOf :belongsToUasl .

:belongsToUasl rdf:type owl:ObjectProperty ;
    rdfs:domain :BelongsToUaslDomain ;
    rdfs:range :Uasl ;
    rdfs:label "航路に属する"@ja .

:BelongsToUaslDomain rdf:type owl:Class ;
    owl:unionOf :ListOfUaslPointUaslSection .

# 名前付きリスト :ListOfUaslPointUaslSection の定義(リストのスコーレム化)
:ListOfUaslPointUaslSection a rdf:List ;
    rdf:first :UaslPoint ;
    rdf:rest :ListOfUaslPointUaslSectionRest .

:ListOfUaslPointUaslSectionRest a rdf:List ;
    rdf:first :UaslSection ;
    rdf:rest rdf:nil .

#########################################################################
##### UaslPoint関連
#########################################################################
:uaslPointId rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range xsd:string ;
    rdfs:label "航路点ID"@ja .

:uaslPointName rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range xsd:string ;
    rdfs:label "航路点名"@ja .

:externalGuarantee rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range xsd:boolean ;
    rdfs:label "GSW登録"@ja ;
    rdfs:comment "航路点がGSWで登録された航路である場合にtrueとなる。"@ja .

:hasExternalSystemInfo rdf:type owl:ObjectProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range :ExternalSystemInfo ;
    rdfs:label "外部システム情報を持つ"@ja .

#########################################################################
##### ExternalSystemInfo関連
#########################################################################
:externalSystemId rdf:type owl:DatatypeProperty ;
    rdfs:domain :ExternalSystemInfo ;
    rdfs:range xsd:string ;
    rdfs:label "外部システムID"@ja .

:externalUaslId rdf:type owl:DatatypeProperty ;
    rdfs:domain :ExternalSystemInfo ;
    rdfs:range xsd:string ;
    rdfs:label "外部システムの航路ID"@ja ;
    rdfs:comment "外部システムの乗り入れ先の航路ID。"@ja .

:externalUaslPointId rdf:type owl:DatatypeProperty ;
    rdfs:domain :ExternalSystemInfo ;
    rdfs:range xsd:string ;
    rdfs:label "外部システムの航路点ID"@ja ;
    rdfs:comment "外部システムの接続点の航路点ID。"@ja .

#########################################################################
##### UaslSection関連
#########################################################################
:uaslSectionId rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslSection ;
    rdfs:range xsd:string ;
    rdfs:label "航路区画ID"@ja .

:uaslSectionName rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslSection ;
    rdfs:range xsd:string ;
    rdfs:label "航路区画名"@ja .

# 接続する航路点はリテラルとオブジェクトの2種類用意

:connectedUaslPointId rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslSection ;
    rdfs:range xsd:string ;
    rdfs:label "接続航路点ID"@ja ;
    rdfs:comment "航路区画に接している航路点ID。"@ja .

:connectsUaslPoint rdf:type owl:ObjectProperty ;
    rdfs:domain :UaslSection ;
    rdfs:range :UaslPoint ;
    rdfs:label "航路点を接続する"@ja ;
    owl:inverseOf :isConnectedToUaslSection .

:isConnectedToUaslSection rdf:type owl:ObjectProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range :UaslSection ;
    rdfs:label "航路区画に接続されている"@ja ;
    owl:inverseOf :connectsUaslPoint .


#########################################################################
##### 航路点の位置情報（GeoSPARQL）
#####
##### 航路点の通過領域と逸脱領域はそれぞれUaslAreaとDeviationAreaで表現する。
##### UaslAreaとDeviationAreaはgeo:Featureを継承し、geo:hasGeometryを持つ。
#####
##### :UaslPoint
#####   ├── :hasUaslArea      ── :UaslArea      ─── geo:hasGeometry ── geo:Geometry, sf:Polygon ── geo:asWKT
#####   └── :hasDeviationArea ── :DeviationArea ─┘
#########################################################################
:hasUaslArea rdf:type owl:ObjectProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range :UaslArea ;
    rdfs:label "航路点の通過領域を持つ"@ja .

:hasDeviationArea rdf:type owl:ObjectProperty ;
    rdfs:domain :UaslPoint ;
    rdfs:range :DeviationArea ;
    rdfs:label "航路点の逸脱領域を持つ"@ja .

:UaslArea rdf:type owl:Class ;
    rdfs:subClassOf geo:Feature ;
    rdfs:label "航路点の通過領域"@ja ;
    rdfs:comment "3次元であるためGeoJSONではPOLYGON Zで表現する。"@ja .

:DeviationArea rdf:type owl:Class ;
    rdfs:subClassOf geo:Feature ;
    rdfs:label "航路点の逸脱領域"@ja ;
    rdfs:comment "3次元であるためGeoJSONではPOLYGON Zで表現する。"@ja .

#########################################################################
##### 航路の代表点
#####
##### 航路の代表点位置情報(緯度/経度)を表現する。
#####
##### :Uasl
#####   └── :hasRepresentativePoint ── :UaslRepresentativePoint
#####                                      ├── :latitude
#####                                      └── :longitude
#########################################################################
:hasRepresentativePoint rdf:type owl:ObjectProperty ;
    rdfs:domain :Uasl ;
    rdfs:range :UaslRepresentativePoint ;
    rdfs:label "代表点を持つ"@ja ;
    rdfs:comment "航路の代表的な点をノードとして表現する。"@ja .

:UaslRepresentativePoint rdf:type owl:Class ;
    rdfs:label "航路代表点"@ja ;
    rdfs:comment "航路の代表的な点を表現するクラス。"@ja .

:latitude rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslRepresentativePoint ;
    rdfs:range xsd:decimal ;
    rdfs:label "緯度"@ja ;
    rdfs:comment "代表点の緯度（WGS84、度単位）。"@ja .

:longitude rdf:type owl:DatatypeProperty ;
    rdfs:domain :UaslRepresentativePoint ;
    rdfs:range xsd:decimal ;
    rdfs:label "経度"@ja ;
    rdfs:comment "代表点の経度（WGS84、度単位）。"@ja .