Fugu-MT 論文翻訳(概要): Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation

論文の概要: Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation

arxiv url: http://arxiv.org/abs/2504.05951v1
Date: Tue, 08 Apr 2025 12:05:21 GMT
ステータス: 翻訳完了
システム内更新日: 2025-04-16 22:26:10.058206
Title: Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation
Title（参考訳）: テキストアノテーションによる自動コンプライアンスチェックのためのOWL DLにおける規範的規則の表現
Authors: Ildar Baimuratov, Denis Turygin,
Abstract要約: 本稿では,テキストアノテーションを機械解釈可能なOWL DLコードに変換するアノテーションスキーマとアルゴリズムを提案する。提案手法はビルディング・コンストラクション・ドメインの例に応用した概念実証実装によって検証される。
参考スコア（独自算出の注目度）: 0.138120109831448
License: http://creativecommons.org/licenses/by-nc-sa/4.0/
Abstract: Compliance checking is the process of determining whether a regulated entity adheres to these regulations. Currently, compliance checking is predominantly manual, requiring significant time and highly skilled experts, while still being prone to errors caused by the human factor. Various approaches have been explored to automate compliance checking, however, representing regulations in OWL DL language which enables compliance checking through OWL reasoning has not been adopted. In this work, we propose an annotation schema and an algorithm that transforms text annotations into machine-interpretable OWL DL code. The proposed approach is validated through a proof-of-concept implementation applied to examples from the building construction domain.
Abstract（参考訳）: コンプライアンスチェックは、規制対象がこれらの規制に従属するかどうかを決定するプロセスである。現在、コンプライアンスチェックは主に手動で行われており、かなりの時間と熟練した専門家を必要としています。しかし,OWL推論によるコンプライアンスチェックを可能にするOWL DL言語の規則は採用されていない。本研究では,テキストアノテーションを機械解釈可能なOWL DLコードに変換するアノテーションスキーマとアルゴリズムを提案する。提案手法はビルディング・コンストラクション・ドメインの例に応用した概念実証実装によって検証される。

関連論文リスト

A Law Reasoning Benchmark for LLM with Tree-Organized Structures including Factum Probandum, Evidence and Experiences [76.73731245899454]
本稿では,階層的なファクトラム,証拠,暗黙的な経験に富む透明な法理推論スキーマを提案する。このスキーマにインスパイアされた課題は、テキストのケース記述を取り込み、最終決定を正当化する階層構造を出力する。このベンチマークは、Intelligent Courtにおける透明で説明可能なAI支援法推論の道を開く」。
論文参考訳（メタデータ） (2025-03-02T10:26:54Z)
Towards Copyright Protection for Knowledge Bases of Retrieval-augmented Language Models via Ownership Verification with Reasoning [58.57194301645823]
大規模言語モデル (LLM) は、検索強化生成機構 (RAG) を通じて現実のアプリケーションに統合されつつある。これらの知識基盤を保護するための透かし技術として一般化できる既存の方法は、通常、中毒攻撃を伴う。我々は、無害な」知識基盤の著作権保護の名称を提案する。
論文参考訳（メタデータ） (2025-02-10T09:15:56Z)
Zero-Shot Verification-guided Chain of Thoughts [64.862738244735]
我々は,COTプロンプトによる自己生成推論ステップの自己検証に着目する。この設定を探索するため、我々はCOT STEPと呼ばれる新しいゼロショットプロンプトを設計し、推論ステップのゼロショット分解を支援する。我々は,検証者の推論連鎖の正しさを分類する能力を評価し,推論の導出に検証者のスコアを使用する方法を探究する。
論文参考訳（メタデータ） (2025-01-21T03:52:54Z)
VEL: A Formally Verified Reasoner for OWL2 EL Profile [0.0]
VEL はマシンチェック可能な正当性証明を備えた公式な EL++ 推論器である。本研究は,理論および実装レベルでの正確性を確保するために,推論アルゴリズムの機械化の必要性を実証するものである。
論文参考訳（メタデータ） (2024-12-11T19:17:28Z)
ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge [2.0159170788984024]
ARC(Automated Rule Checking, 自動ルールチェック)は、産業専門家が実施する従来のモデルレビューの、面倒で一貫性のない、エラーを起こしやすい性質に対処することで、建設産業を前進させる上で重要な役割を担っている。本研究では,ARCをルール情報抽出と検証コード生成の2つのタスクに分解する新しい手法を提案する。
論文参考訳（メタデータ） (2024-12-10T10:37:11Z)
RIRAG: Regulatory Information Retrieval and Answer Generation [51.998738311700095]
本稿では,質問を自動生成し,関連する規制通路と組み合わせる,問合せペアを生成するタスクを紹介する。我々は、Abu Dhabi Global Markets (ADGM) の財務規制文書から得られた27,869の質問を含むObliQAデータセットを作成する。本稿では,RIRAG(Regulation Information Retrieval and Answer Generation)システムをベースラインとして設計し,新しい評価基準であるRePASを用いて評価する。
論文参考訳（メタデータ） (2024-09-09T14:44:19Z)
From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification [70.08146540745877]
NLPタスクの共通制約を調査し、それらの引数の型に基づいて、それらを3つのクラスに分類する。本稿では,ACT(ConsTraintsのアラインメント)という統合フレームワークを提案し,制約に適応したユーザアライメントのための監視信号を自動的に生成する。
論文参考訳（メタデータ） (2024-03-10T22:14:54Z)
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version) [1.3749490831384268]
情報を意図的に漏洩する非自明な並行プログラムのセキュリティを特定・証明する問題を考察する。本稿では,この問題を (a) 帰納的プログラム検証ですでに広く使用されているアノテーションを前提として,プログラムが情報のみを漏らすことを証明した手法を提案する。また,既存のプログラム論理 SecCSL の拡張によって条件 (a) がどのように強制されるか,そして (b) が簡単な内容の集合を証明してどのようにチェックできるかを示す。
論文参考訳（メタデータ） (2023-09-07T01:51:41Z)
Compliance checking in reified IO logic via SHACL [0.0]
Reified Input/Output (I/O) logic[21]は、[11]の論理の観点で現実世界の規範をモデル化するために最近提案されている。本稿では,I/O 論理式を改訂した上でコンプライアンスチェックを行う手法を提案する。
論文参考訳（メタデータ） (2021-10-13T21:09:47Z)
Auditing AI models for Verified Deployment under Semantic Specifications [65.12401653917838]
AuditAIは、解釈可能な形式検証とスケーラビリティのギャップを埋める。 AuditAIは、画素空間の摂動のみを用いた検証の限界に対処しながら、検証と認定トレーニングのための制御されたバリエーションを得られるかを示す。
論文参考訳（メタデータ） (2021-09-25T22:53:24Z)
A Framework for Automatic Monitoring of Norms that regulate Time Constrained Actions [0.0]
提案されたT-NORMモデルは、時間間隔で実行すべき、あるいはすべきでないアクションのクラスを規制できる抽象的なノルムを表現するために使用できる。義務と禁止の形式化と、許可と免除の導入による禁止にモデルがどのように使用できるかを示す。
論文参考訳（メタデータ） (2021-05-01T09:29:32Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。