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-09 13:30:12.815135
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:
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コードに変換するアノテーションスキーマとアルゴリズムを提案する。提案手法はビルディング・コンストラクション・ドメインの例に応用した概念実証実装によって検証される。

関連論文リスト

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)
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)
GenAudit: Fixing Factual Errors in Language Model Outputs with Evidence [64.95492752484171]
GenAudit - 文書基底タスクの事実チェック LLM 応答を支援するためのツール。 GenAuditは、レファレンス文書でサポートされていないクレームを修正したり削除したりすることでLCMレスポンスを編集することを提案し、また、サポートしているように見える事実の参照から証拠を提示する。 GenAuditは、さまざまなドメインから文書を要約する際に、8つの異なるLCM出力でエラーを検出することができる。
論文参考訳（メタデータ） (2024-02-19T21:45:55Z)
Factcheck-Bench: Fine-Grained Evaluation Benchmark for Automatic Fact-checkers [121.53749383203792]
本稿では,大規模言語モデル (LLM) 生成応答の事実性に注釈を付けるための総合的なエンドツーエンドソリューションを提案する。オープンドメインの文書レベルの事実性ベンチマークを,クレーム,文,文書の3段階の粒度で構築する。予備実験によると、FacTool、FactScore、Perplexityは虚偽の主張を識別するのに苦労している。
論文参考訳（メタデータ） (2023-11-15T14:41:57Z)
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version) [1.3749490831384268]
情報を意図的に漏洩する非自明な並行プログラムのセキュリティを特定・証明する問題を考察する。本稿では,この問題を (a) 帰納的プログラム検証ですでに広く使用されているアノテーションを前提として,プログラムが情報のみを漏らすことを証明した手法を提案する。また,既存のプログラム論理 SecCSL の拡張によって条件 (a) がどのように強制されるか,そして (b) が簡単な内容の集合を証明してどのようにチェックできるかを示す。
論文参考訳（メタデータ） (2023-09-07T01:51:41Z)
Stateless and Rule-Based Verification For Compliance Checking Applications [1.7403133838762452]
本稿では,インテリジェントなコンプライアンスチェックシステムを構築するための形式的な論理ベースのフレームワークを提案する。 SARVは、ステートレスおよびルールベースの検証問題の全体的な検証プロセスを単純化するために設計された検証フレームワークである。 300のデータ実験に基づいて、SARVベースのコンプライアンスソリューションは、3125レコードのソフトウェア品質データセット上で機械学習メソッドよりも優れています。
論文参考訳（メタデータ） (2022-04-14T17:31:33Z)
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)

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