論文の概要: Computing CQ lower-bounds over OWL 2 through approximation to RSA

• arxiv url: http://arxiv.org/abs/2107.00369v1
• Date: Thu, 1 Jul 2021 11:13:00 GMT
• ステータス: 処理完了
• システム内更新日: 2021-07-02 13:39:21.363713
• Title: Computing CQ lower-bounds over OWL 2 through approximation to RSA
• Title（参考訳）: RSAへの近似によるOWL 2上のCQローバウンドの計算
• Authors: Federico Igne, Stefano Germano, Ian Horrocks
• Abstract要約: RSA合成手法を用いて,より近い(PAGOd OWLによる)下界近似を求める新しいアルゴリズムを提案する。 本稿では,性能の大幅な向上を示す予備評価を行った。
• 参考スコア（独自算出の注目度）: 12.737436528656131
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Conjunctive query (CQ) answering over knowledge bases is an important reasoning task. However, with expressive ontology languages such as OWL, query answering is computationally very expensive. The PAGOdA system addresses this issue by using a tractable reasoner to compute lower and upper-bound approximations, falling back to a fully-fledged OWL reasoner only when these bounds don't coincide. The effectiveness of this approach critically depends on the quality of the approximations, and in this paper we explore a technique for computing closer approximations via RSA, an ontology language that subsumes all the OWL 2 profiles while still maintaining tractability. We present a novel approximation of OWL 2 ontologies into RSA, and an algorithm to compute a closer (than PAGOdA) lower bound approximation using the RSA combined approach. We have implemented these algorithms in a prototypical CQ answering system, and we present a preliminary evaluation of our system that shows significant performance improvements w.r.t. PAGOdA.
• Abstract（参考訳）: 知識ベースに答える接続型クエリ(CQ)は重要な推論タスクである。 しかし、OWLのような表現的なオントロジー言語では、クエリ応答は非常に高価である。 PAGOdAシステムは、抽出可能な推論器を使用して下界と上界の近似を計算し、これらの境界が一致しない場合にのみ完全に分岐したOWL推論器にフォールバックする。 提案手法の有効性は近似の質に大きく依存するが,本論文では,トラクタビリティを維持しながらOWL2プロファイルを全て仮定するオントロジー言語であるRSAを用いて,近似のより近い計算手法を検討する。 本稿では, OWL 2 オントロジーの RSA への新しい近似法と, PAGOdA による RSA 合成手法を用いて, より近い(PAGOdA による)下界近似を求めるアルゴリズムを提案する。 我々は,これらのアルゴリズムをプロトタイプのcq応答システムに実装し,w.r.t.の性能向上を示す予備評価を行った。 PAGODA

関連論文リスト

• On additive error approximations to #BQP [0.34089646689382486]
  我々は、#BQPとして知られる数え上げクラスの量子一般化に対する加法近似について研究する。 まず,#BQP問題に対する加算近似を,対応する検証回路における証人量子ビット数の誤差指数に近似する効率的な量子アルゴリズムが存在することを示す。
  論文  参考訳（メタデータ） (2024-11-04T20:51:20Z)
• Tractable Offline Learning of Regular Decision Processes [50.11277112628193]
  この研究は、正則決定過程(RDP)と呼ばれる非マルコフ環境のクラスにおけるオフライン強化学習(RL)を研究する。 インスは、未来の観測と過去の相互作用からの報酬の未知の依存を実験的に捉えることができる。 多くのアルゴリズムは、まずこの未知の依存関係を自動学習技術を用いて再構築する。
  論文  参考訳（メタデータ） (2024-09-04T14:26:58Z)
• When can you trust feature selection? -- I: A condition-based analysis of LASSO and generalised hardness of approximation [49.1574468325115]
  近似入力を読み取る際に、LASSOのミニミサの正しいサポートセットを(確率$>1/2$で)決定できないことを示す。 不適切な入力の場合、アルゴリズムは永遠に動作するので、間違った答えを出すことはない。 無限条件数を持つ点を含む開集合上で定義される任意のアルゴリズムに対して、アルゴリズムが永久に実行されるか、間違った解を生成するような入力が存在する。
  論文  参考訳（メタデータ） (2023-12-18T18:29:01Z)
• Recursive Causal Structure Learning in the Presence of Latent Variables and Selection Bias [27.06618125828978]
  本稿では,潜伏変数と選択バイアスの存在下での観測データからシステムの因果MAGを学習する問題を考察する。 本稿では,音と完全性を備えた計算効率のよい制約ベースの新しい手法を提案する。 提案手法と人工と実世界の両方の構造に関する技術の現状を比較した実験結果を提供する。
  論文  参考訳（メタデータ） (2021-10-22T19:49:59Z)
• How to Approximate Ontology-Mediated Queries [22.99749220980996]
  ALC と ALCI の記述論理に基づいて,オントロジーによるクエリに対する近似のいくつかの概念を紹介し,研究する。 近似式は,(1) オントロジーを ELI や特定の TGD などのトラクタブル言語で定式化された1つに置き換える,(2) ツリー幅が定数で有界なデータベースのクラスのようなトラクタブルクラスの1つに置き換える,の2種類からなる。
  論文  参考訳（メタデータ） (2021-07-12T12:29:50Z)
• Lower Bounds and Optimal Algorithms for Smooth and Strongly Convex Decentralized Optimization Over Time-Varying Networks [79.16773494166644]
  通信ネットワークのノード間を分散的に保存するスムーズで強い凸関数の和を最小化するタスクについて検討する。 我々は、これらの下位境界を達成するための2つの最適アルゴリズムを設計する。 我々は,既存の最先端手法と実験的な比較を行うことにより,これらのアルゴリズムの理論的効率を裏付ける。
  論文  参考訳（メタデータ） (2021-06-08T15:54:44Z)
• Adaptive Sampling for Best Policy Identification in Markov Decision Processes [79.4957965474334]
  本稿では,学習者が生成モデルにアクセスできる場合の,割引マルコフ決定(MDP)における最良の政治的識別の問題について検討する。 最先端アルゴリズムの利点を論じ、解説する。
  論文  参考訳（メタデータ） (2020-09-28T15:22:24Z)
• Berrut Approximated Coded Computing: Straggler Resistance Beyond Polynomial Computing [34.69732430310801]
  本稿では,ストラグラー効果に対処する代替手法として,Berrut Approximated Coded Computing (BACC)を提案する。 BACCは計算複雑性が低い数値的に安定であることが証明されている。 特に、BACCは、サーバのクラスタ上でディープニューラルネットワークをトレーニングするために使用される。
  論文  参考訳（メタデータ） (2020-09-17T14:23:38Z)
• Approximation Algorithms for Sparse Principal Component Analysis [57.5357874512594]
  主成分分析(PCA)は、機械学習と統計学において広く使われている次元削減手法である。 スパース主成分分析(Sparse principal Component Analysis)と呼ばれる,スパース主成分負荷を求める様々な手法が提案されている。 本研究では,SPCA問題に対するしきい値の精度,時間,近似アルゴリズムを提案する。
  論文  参考訳（メタデータ） (2020-06-23T04:25:36Z)
• Refined bounds for algorithm configuration: The knife-edge of dual class approximability [94.83809668933021]
  トレーニングセットが、トレーニングセット上でのパラメータの平均メトリックのパフォーマンスが、予想される将来的なパフォーマンスに最も近いことを保証するために、どの程度の規模が必要かを調査する。 この近似が L-無限ノルムの下で成り立つなら、強いサンプル複雑性境界を与えることができる。 我々は、コンピュータ科学において最も強力なツールの一つである整数プログラミングの文脈において、我々の限界を実証的に評価する。
  論文  参考訳（メタデータ） (2020-06-21T15:32:21Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。