The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014
- 1 -
動産
記
妥当性検証
ン
構築
Construction of an ontology for the validation of real property registration application
乗松
真
*1*2
村
研
*2
Shinji Norimatsu Kenji Murakami
*1
株式会社
ーガ
*2
愛媛大学大学院
LEGAL CORPORATION Ehime University
This paper constructs a validation ontology for real property registration application using OWL, SWRL and an extended rule. Furthermore, by reasoning using these ontology and rules, we propose a validation system for real property registration application.
1.
じめに
土地 売買， ン ョン購入 ，物権 変 動 生 場
合 動産 記 行 わ ． 記申 請 ，申請 情報
記 記 載 く ， 本 人 性 や 記 原 因 証 明
添付情報 提供 必要 あ ． 記申請 行わ ， 記
官 申請情報 記載内容 実 証 情報 あ 添付情報 ，
記 簿 等 記 載 内容 齟 齬 い 確 認 形 式 審査
行い，妥当 あ ば 記 受理 記簿 記載 ．
現在， 法務 省や 民間 ベン ン ン 記 申請 行 う
ソ 提 供 さ ， コ ン ュ ー 記 申 請 支 援
環境 整い あ ， 申請用ソ ，XML
様等 基 く ッセー 形式や コ 様 ッ
行う機能 装備さ ，申請情報 意味 踏 込
妥当 性 検証 い．結 果，申 請書 作成支 援ソ
申請情報 ー く送信 ， 記官 審査
，補正や却 可能性 あ ． 近年 記案件 大規
模 化 や 複 雑 化 傾 向 あ ， 記 正 確 性 ， 迅 速 性 観 点
申 請 情 報 意 味 踏 込 妥 当 性 検 証 行 え
望 い ．
一般 記申請 行う 多く 法 知識 関連知識
必 要 ， 法 専 門 家 協 力 く 情 報 処 理 技 術 者
妥当性検証 行う 構築 困難 あ ．さ
法改 正等 検 証条件 ン ン 的 行 え
ば い．
そ ，法 専門家 情報技術者 知識共有基盤 ，
記 知識 や検証 ー 関 ン ン [溝口 2005]
[Allemang 2010] 考 え ，OWL(Web Ontology Language) ， SWRL(Semantic Web Rule Language)， 張 ー 用い 記
述，構築 ． 張 ー OWLやSWRL 記述
い ー や処理 補完 あ ． ン ー
用 い 推 論 行 う え 申 請 内 容 妥 当 性
検証 提案 ．[乗松 2013]
2.
ム概要
本 ， え 記 申請情報 必要 さ 記載
添 付 情 報 持 ， そ 記 載 実 表 情 報
記簿，添付情報等 齟齬 い 確認 ， 記
官 行 う形 式審査 様 記 申請情報 対 妥当 性 検
証 あ ． 本 概要 示 ． 申請
ン 検証 ン 述 記知識 検証 ー
ン あ ， 申 請 ー 検 証 対 象 記 情 報 OWL
記 述 あ ． 入 力 ， 検 証 推 論
行 い結果 ン 出 力 ． 結果 ン 申 請情
報 妥当性 検証結果 含 ，推論過程 含 ン
確認可能 あ ．
本 検 証 実 装 Java 言 語 用 い ，
OWL，SWRL 解釈 OWLAPI[OWLAPI] 利用 い ．
，OWL，SWRL 推論 行う Reasoner ，
Pellet[Clark&Parsia] 用い ．OWL 表示，編集 ，
ン Protégé 利用 い ．
概要
3.
ム詳細
本 ，申請 ー 個体 個体間 パ
え 推論 行い， 検証対象 個体 妥当 あ 表
ン ン う 定 妥当 性 検
証 行 う． ， え ー 記述 申 請 ン
，検証 目 妥当 あ 表 やそ 出
推論規則 あ 検証 ー 記述 検証 ン 構
築 ．検証 ン 基 く推論 実行
妥当性検証 行う．
3.1 申請オン ロ と申請 ータ
申 請 ン 申 請 情 報 ， 添 付 情 報 ， 記 簿 等 申 請 内
容 記述 必 要 や パ 等 OWL，
SWRL 用い 記述 ン ン あ ．申請 ー
連 絡 ： 乗 松 真 ， 株 式 会 社 ー ガ ， 愛 媛 県 伊 予 郡 砥 部 町
重 248-3，TEL:089-957-0494，[email protected]
2E3-3
申請オン ロ
OWL,SWRL)
オン ロ エ ィタ Protégé
申請 ータ
OWL)
検証オン ロ
OWL,SWRL)
結果オン ロ
OWL,SWRL)
OWL,SWRL
推論エン ン
(OWLAPI,Pellet)
The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014
- 2 -
， 具 体 的 申 請 情 報 実 表 情 報 添 付 情 報 ， 記 簿
等 あ ， 個 体 個 体 間 関 係 申 請 ン パ
用い OWL 記述 あ ．
本 目 的 実 際 記 申 請 情 報 検 証 あ ， 妥
当性検証 申請 ン 表現さ 申請 ー 対
行う ，実際 申請情報 機械的 申請 ン 表
現 等 価 変 換 必 要 あ ． そ 申 請 ン 構
築 ，法 出 点 実務 書式 用い 手 構
築 ．
1. 動産 記法 定義さ 内容 や パ
候補 抽出 ．
2. 申 請 情 報 記 載 目 や 添付 情報 等 必 要 情 報 ，
省 や 動 産 記 関 例 ， 実 務 用 い
記申請書 書式，専門家 ン ュー 得 ，
や パ 候補 抽出 ．
3. 調 査 書式 ， 添付 情 報 等 中心 ， ，
パ ， ー パ 行 う．書 式
記載 目 ，そ 目 対 具体的 値 示
多く，記載 目 あ 候補，値 ー
パ 候 補 ． 値 抽 出
関 係 検 討 ． 書 式 記 載 目 概 念 ベ
や 表 組 行 わ 多 く， 参 考 申
請 情 報 全 体 ― 部 関 係 考 え， 間
パ 候補 検討 ．様々 書式 対
検討 行い， 動産 記 法 定義等 抽出
， パ 等 対 応 ， や パ 確
定 ．
4. 個 体 パ 推 論 う ， パ
定義域 Domain ，値域 Range 適 設定 ．
や パ 制 約 等 法 要 件 等 適
設定 ．
そ 申請 ン 構築 ， 動産 記法，省 や 動
産 記 関 例 ， 実 務 用 い 記 申 請 書 書 式 ，
専門家 ン ュー や パ 定義 ．
2 所有権移転 中心 定義例 示 ．
2 申請 ン 概要
語彙 用い 所有権 移 転売買 申請 ー 一部
記述 ー 3 示 ．
3 申請 ー ー
3.2 検証オン ロ
本 ，検証 目 Y 妥当 あ 表
YC ， え 個体X 検証 目Y 対 妥当
う ， X YC ン ン あ ，妥当 定 ．
そ ， え 申 請 ー 妥 当 う ， 申 請 情 報
妥当 あ 表 OK 申請情報 ，申請情報 個
体 OK申請情報 ン ン う 定 本
， 検 証 目 対 応 OK 検 証 目 う
，検証 目 前 OK 付 命 ．
一方，検証 目Y 妥当 あ 確認 検証処理 ，
IF 前 提 条 件 満 THEN 検 証 目 Y 妥 当 あ
YC
いう検証 ー 考 え ． ，帰結 あ
，検証 目Y 妥当 あ 表 YC あ
．あ い 、帰結 直接帰結 、個体間 関係
表 パ 帰 結 、 推 論 間 接 的
YC 帰結 ．
検証 ン 構成 い 詳細 述 ．
(1) OK申請情報
記 申 請 ， 記 載 目 定 型 ー 化 く，
申請内 容 必要 さ 記 載 異 性質 持 ．申
請 対 必 要 検 証 目 決 定 ， 申 請 情 報
必 要 記 載 決 定 必 要 あ ． 必 要 記 載
， 記 目的 記 原因 そ 多 く 決定 ，
本 ，そ 現 実的 組 合 検 証 パ ーン 定
義 ． そ 申 請全 体 妥 当性 OK 申 請情 報 ，検
証パ ーン そ 検証パ ーン 必要 さ 記載内容 対
妥当性検証 目 組 合わ 定義 ．
申請情報 妥当 あ 表 OK 申請情報
定義 一部 示 ． 、所有権保 申請情報 所有権
移転売買申請 情報 記 目 的 記原因 決定さ 検
証 パ ー ン あ ． そ 外 記 載 内 容 対 妥 当 性 検 証
目 妥当 あ 表 あ ．
Class: OK申請情報 EquivalentTo:
OK 所 有権保 申 請情 報 or OK 所 有権移 転売 買申 請情
報 or …
Class: OK所有権保 申請情報 EquivalentTo:
所 有 権 保 申請 情 報 and OK 全 動産 表 示 and OK
全権利者 and …
has不動産 表示
has義務者 申請情報
登記簿
has不動産 表示
has権利者
1234567890123 has不動産番号
1234567890123 has不動産番号
山田太郎
has氏名
渋谷区○町四丁目
has住所
0.5 has持分
山田太郎
has氏名
渋谷区○町四丁目
has住所
1.0 has持分
has登記原因
has登記 目的
所 権移転
has目的表記 売買
has原因表記 ○年△□
The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014
- 3 -
Class: OK所有権移転売買申請情報 EquivalentTo:
所 有 権 移 転 売 買 申 請 情 報 and OK 全 動 産 表 示 and
OK全権利者 and OK全義務者 and OK全持 移動 and
OK全印鑑証明書記載 and …
検証パ ーン OK 申請情 報 定義 利用さ ，申
請 情 報 ン ン 対 象 階 層 定 義 必 要 あ
一方， 記 目的 記原因 内容 ， 記 目的
記原因 ン ン ー パ え
，検 証 パ ーン 表 ， 記 目 的や 記 原 因
え ー パ 値 等価公理 用い 推論
出 う 定義 ． 例えば検証パ ーン あ 所有
権 移 転 売 買 申 請 情 報 ， 記 目 的 所 有 権 移 転 ，
記原因 売買 あ 申請情報 派生 ， う
定義 ．
Class: 所有権移転 EquivalentTo:
記 目的 and (has目的表記 value "所有権移転")
Class: 売買 EquivalentTo:
記原因 and (has原因表記 value "売買")
Class: 所有権移転売買申請情報 EquivalentTo:
申 請 情 報 and (has 記 目 的 some 所 有 権 移 転) and (has 記原因 some 売買)
(2) 記載内容等 検証 ー
個々 記載内容 関 妥当性検証 ー
IF 前提条件 満 THEN 検証 目 妥当 あ
形 記述 ， 推 論 行 い， 最終 的 妥 当 あ 表
出 ． 出方法 ， 適用可
能 状況 検討 記述 ．
<1> パ 帰結 、間接的 帰結 検証
ー OWL，SWRL
<2> 直接帰結 検証 ー OWL，SWRL
<3> 張 ー 検証処理 OWL，SWRL
記述 い検証 ー
，OWL，SWRL 方 記 述 可 能 ー ，OWL
記述 ． そ 適用範 具体例 示 ．
＜ ＞ パ 帰結 、間接的 帰結 検証
ー
詳 細 検 証 目 多 く ， 申 請情 報 記 載 内 容 実 表
情 報 添 付 情 報 や 記 簿 等 記 載 内 容 齟 齬 い
確 認 あ ． う 記 載 情 報 真 実 性 確 認
検 証 ー ， 記載 内 容 個体 実 表 情 報 個 体， 関
連 や パ 等 パ ーン ッ ン 考え
，そ 多く SWRL 記述可能 あ ．
SWRL 帰結部 ，検証 目 妥当 あ 表
直 接 記 述 ， 記 載 情 報 個 体 実 表 情 報 個
体 対 ，検 証結果 妥当 あ 根 関連付
パ 宣 言 帰 結 ． 帰 結 パ
定義域 く 値域 検証 目 妥当 あ 表
定義 く ，推論 妥当 あ 出
形 ． 本 個 体 個 体 間 パ
推論 等 出 ー 沿 あ ，
さ 推 論 利 用 く， 記 載
実情報 ン 関係 妥 当性 根 明示 利点 あ ．
＜ ＞ 直接帰結 検証 ー
検証 目 中 ， 実情報 無関係 記載内容自体
要件 対 検証 目 あ ． OWL 等価公理等 用
い 記述 SWRL 記述 あ 、OWL
記述 OWL 記 述 ． 例えば，申請 情報
人 権利者 在 い 表 OK権利者 在 い
う ，等価公理 用い う 記述 ．
Class: OK権利者 在 EquivalentTo:
申請情報and (has権利者 some 権利者)
＜ ＞ 張 ー 検証処理
OWL，SWRL ，開世 界仮 Open World Assumption
採 用 ， 単一 仮 Unique Name Assumption 採 用 い
い ，全 個体 満 条件 推論や否定 関
推論， 数え 等 困 難 記 述 可能 あ ． ，OWL，
SWRL ン 言語 い ，複雑 計算処理等，
記述 い処理 多い．
例 え ば ，OK 全 動 産 表 示 検 証 ー 前 提 条 件
申請情報 全 動産 表示 ン ン OK 動産
表 示 ン ン あ あ ， 条 件
OWL，SWRL 用 い 推 論 困難 あ ． 一 般 ，
う 推 論 行 え う ， 世 界 閉
特 構 造 表 現 や 個 体 関 追 加 宣 言 等 必 要 ，
複雑化 現実的 く ．
そ ，OWL，SWRL 推論 制限等 記述
い検証 ー ，Java 言語 OWLAPI 用い 実装 ，
張 ー 実装 ． 張 ー い 推論 Java 言
語 ー 適 用 行 い ， 最 終 的 妥 当 あ 表
出 ．但 ， 張 ー 適 用 範 最
限 ．例えば， パ 帰結 場合， パ
出 規 則 ，検証 ン OWL，SWRL
用い 定義 ．
張 ー 実行，実装 い 主 特徴 あ ．
張 ー 適用 推 論 ，OWL，SWRL 推 論
行 う ． ，OWL，SWRL 推 論 出 さ
内容 元 張 ー 実行 ．
張 ー 実装 ， 開世 界仮 前 提 ， え
個 体 閉 世 界 処 理 行 う ，
全 個 体 満 条 件 や ， 個 体 個 数 等 定 行
え ．
張 ー 実装 ， 開世 界仮 前 提 ， え
個 体 閉 世 界 処 理 行 う ，
全 個 体 満 条 件 や ， 個 体 個 数 等 定 行
え ．
Java言語 実装 ， ー ベー 等 情報
連携 可能 あ ．
OK 全 動 産 表 示 例 ， 張 ー Java 言 語
OWLAPI 用 い ， 申 請 情 報 ン ン 得 has
動産 表示 個体 列挙 ，そ 個体全 OK 動産
表示 属 い ，申請情報 ン ン OK 全
動産 表 示 ン ン あ 宣 言 う 実 装 ．
処 理 開世 界 仮 採 用 ， え 動 産 表 示
The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014
- 4 -
3.3 検証 ム 動作
検証 動作 う 定義 ．
1. 申 請 ン ， 検 証 ン ， 申 請 ー 込
状態 ン O ．
2. O 対 ，OWL，SWRL 推 論 実行 ，そ 結果
ン OR ．
3. OR 対 ， 全 張 ー 適 用 ， そ 結 果
OE ．
4. OR != OE ，新 知識 追加 あ ，
戻 ．
5. OR == OE ，新 知識 追加 い ，OE
OWL 保 終了． ，申請情報
ン ン OK 申 請 情 報 属 場 合 ，
妥当 申請情報 定 表示 ．
2 例 対 検証 実行 妥当性検証結果
ー 4 示 ．推論 詳細 各検証 目 検証
結果 位 検証 目 結果 映さ ，最終的 申請情報
ン ン OK 申請情報 ン ン
妥当 申請情報 あ 定 ．
本 検証結果 OWL 出力さ
，推論結果 く，推論過程 出さ や
パ 含 い ． ，妥当 あ 定さ
申請 ー 対 ，妥当 断さ 詳細 目 確認
， 何 く ， 何 悪 確 認 ． ， 申 請
情報 記載 目 実 表 情報 間 パ
ン 持 ，そ 根 関係 確認 ．
4.
おわりに
動産 記申請 妥当性検証 OWL，SWRL 張 ー
推 論 用 い 行 う 提 案 行 ． 記
申請 関 支援 ， 送信 ー ッセー 形式や
コ 様 ッ い 対 ， 申 請 内 容
検証 行う 示 ．
一般 法 関 係 構 築 行う際 問 題 ，
法 知 識 表 現 や そ 維 持 あ ， ン 基
本 ，法 専門家 情報処理技術者間 共通基盤
．
本 妥当性検証 枠組 ，既 ッセー 形式
や コ 様 ッ 組 合 わ ， 間 違 い
い 記申請情報 作成 可能 ．
参考文献
[溝口 2005] 溝口理一郎: ン ー工 学，株 式会 社 ー
社, 2005．
[Allemang 2010] Dean Allemang James Hendler セ ン ッ
Web委員会訳: 実践セ ン ッ Web, 株式会社
, 2010．
[乗松 2013] 乗松真 ,村 研 : OWL SWRL 用い
動 産 記 申 請 妥 当 性 検 証 提 案 ， 人 工 知 能 学
会研究会資料，SIG-SWO-A1302-02 ，2013． [OWLAPI] http://owlapi.sourceforge.net/ . [Clark&Parsia] http://clarkparsia.com/pellet/
has不動産 表示
has義務者
申請情報
OK不動産 表示
登記簿
has不動産 表示
has権利者
OK義務者
1234567890123 has不動産番号
1234567890123 has不動産番号
has検証登記簿
has登記簿不動産 表示 ンク
検証登記簿
山田太郎
has氏名
渋谷区○町四丁目
has住所
0.5 has持分
山田太郎
has氏名
渋谷区○町四丁目
has住所
1.0 has持分
has登記簿義務者ンク
OK全不動産 表示
OK全義務者
has登記原因
has登記 目的
所 権移転
has目的表記
売買
has原因表記
○年△ □
has原因日付
所 権移転
登記 目的
売買 登記原因
∩
OK所 権移転
売買申請情報
OK申請情報
所 権移転
売買申請情報
