論文の概要: When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies

• arxiv url: http://arxiv.org/abs/2210.03497v1
• Date: Fri, 7 Oct 2022 12:33:35 GMT
• ステータス: 処理完了
• システム内更新日: 2022-10-10 14:45:22.914826
• Title: When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies
• Title（参考訳）: 論理が十分でないとき-OWLオントロジーにおける一階アノテーションの統合
• Authors: Simon Fl\"ugel, Martin Glauer, Fabian Neuhaus, Janna Hastings
• Abstract要約: FOLアノテーションでOWLを拡張する'FOWL'の公理群の開発を支援するツールを提案する。 OWL ドメイン OBI に対して,FOL トップレベル BFOWL との強い統合により,いくつかの矛盾を検出することができることを示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In ontology development, there is a gap between domain ontologies which mostly use the web ontology language, OWL, and foundational ontologies written in first-order logic, FOL. To bridge this gap, we present Gavel, a tool that supports the development of heterogeneous 'FOWL' ontologies that extend OWL with FOL annotations, and is able to reason over the combined set of axioms. Since FOL annotations are stored in OWL annotations, FOWL ontologies remain compatible with the existing OWL infrastructure. We show that for the OWL domain ontology OBI, the stronger integration with its FOL top-level ontology BFO via our approach enables us to detect several inconsistencies. Furthermore, existing OWL ontologies can benefit from FOL annotations. We illustrate this with FOWL ontologies containing mereotopological axioms that enable new meaningful inferences. Finally, we show that even for large domain ontologies such as ChEBI, automatic reasoning with FOL annotations can be used to detect previously unnoticed errors in the classification.
• Abstract（参考訳）: オントロジー開発においては、Webオントロジー言語であるOWLと、一階述語論理で書かれた基礎オントロジーであるFOLとの差がある。 このギャップを埋めるために、我々は Gavel を紹介する。これはヘテロジニアスな "FOWL" オントロジーで、OWL を FOL アノテーションで拡張し、組み合わせた公理の集合を推論できるツールである。 FOLアノテーションはOWLアノテーションに格納されているため、FOWLオントロジーは既存のOWLインフラストラクチャと互換性がある。 OWL ドメインオントロジー OBI では,FOL トップレベルのオントロジー BFO との強い統合により,いくつかの矛盾を検出することができる。 さらに、既存のOWLオントロジーはFOLアノテーションの恩恵を受けることができる。 本稿では,新たな意味推論を可能にするメレオトポロジ的公理を含むFOWLオントロジーを用いてこれを解説する。 最後に,chebi のような大規模ドメインオントロジーにおいても,fol アノテーションを用いた自動推論によって分類の誤りを検出できることを示す。

関連論文リスト

• Enriching Ontologies with Disjointness Axioms using Large Language Models [5.355177558868206]
  大型モデル(LLM)は、クラス不整合公理を識別し、主張することで一貫性を提供する。 本研究の目的は,LLMに埋め込まれた暗黙の知識を活用して,存在論的不一致を分類することである。 以上の結果から, LLMは効果的なプロンプト戦略によって導かれることにより, 不整合性関係を確実に識別できることが示唆された。
  論文  参考訳（メタデータ） (2024-10-04T09:00:06Z)
• OWL2Vec4OA: Tailoring Knowledge Graph Embeddings for Ontology Alignment [14.955861200588664]
  本稿では,組込みシステムOWL2Vec*の拡張であるOWL2Vec4OAを提案する。 本稿では,提案する拡張の理論的基礎,実装の詳細,および実験的評価について述べる。
  論文  参考訳（メタデータ） (2024-08-12T17:24:19Z)
• OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies [3.0501524254444767]
  本稿では、オブジェクト指向プログラミング(OOP)パラダイムにおいて、オントロジーWeb言語(OWL)で形式化された論理公理のマッピング問題に取り組む。 本稿では,推論アルゴリズムを制限しないファクトリを利用したOWLOOP APIを提案する。
  論文  参考訳（メタデータ） (2024-04-14T17:07:59Z)
• Label Words are Anchors: An Information Flow Perspective for Understanding In-Context Learning [77.7070536959126]
  大規模言語モデル(LLM)の有望な能力としてインコンテキスト学習(ICL)が出現する 本稿では,情報フローレンズを用いたICLの動作機構について検討する。 本稿では,ICL性能向上のためのアンカー再重み付け手法,推論の高速化のための実演圧縮手法,GPT2-XLにおけるICLエラーの診断のための解析フレームワークを提案する。
  論文  参考訳（メタデータ） (2023-05-23T15:26:20Z)
• Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation [50.05281461410368]
  OWL表現の埋め込みを生成するため,順序保存型埋め込み法を提案する。 本手法は,いくつかの知識ベース完了タスクにおいて,最先端の組込み手法よりも優れていることを示す。
  論文  参考訳（メタデータ） (2023-05-11T22:27:51Z)
• Subsidiary Prototype Alignment for Universal Domain Adaptation [58.431124236254]
  Universal Domain Adaptation (UniDA)の大きな問題は、"known"クラスと"unknown"クラスの誤調整である。 ゴールタスクUniDAと協調して動作するクローズドセットSPAを実現するために,新しい単語ヒストグラム関連プレテキストタスクを提案する。 既存のUniDA技術上でのアプローチの有効性を実証し,3つの標準UniDAおよびOpen-Set DAオブジェクト認識ベンチマークの最先端性能を示す。
  論文  参考訳（メタデータ） (2022-10-28T05:32:14Z)
• FOLIO: Natural Language Reasoning with First-Order Logic [147.50480350846726]
  我々は、自然言語(NL)における推論のための人間注釈付き、論理的に複雑で多様なデータセットであるFOLIOを提示する。 FOLIOは1,430の例(一意の結論)で構成され、それぞれが487の前提のうちの1つと組み合わせて、それぞれの結論の妥当性を導出的に推論する。 NL推論とNL-FOL変換の両方において、複数の最先端言語モデルをベンチマークする。
  論文  参考訳（メタデータ） (2022-09-02T06:50:11Z)
• EBOCA: Evidences for BiOmedical Concepts Association Ontology [55.41644538483948]
  本論文は,生物医学領域の概念とそれらの関連性を記述するオントロジーであるEBOCAと,それらの関連性を支持するエビデンスを提案する。 DISNETのサブセットから得られるテストデータとテキストからの自動アソシエーション抽出が変換され、実際のシナリオで使用できる知識グラフが作成されるようになった。
  論文  参考訳（メタデータ） (2022-08-01T18:47:03Z)
• Contextual Semantic Embeddings for Ontology Subsumption Prediction [37.61925808225345]
  本稿では,Web Ontology (OWL) のクラスに BERTSubs というコンテキスト埋め込みの新たな予測手法を提案する。 これは、事前訓練された言語モデルBERTを利用してクラスの埋め込みを計算し、クラスコンテキストと論理的存在制約を組み込むためにカスタマイズされたテンプレートを提案する。
  論文  参考訳（メタデータ） (2022-02-20T11:14:04Z)
• OWL2Vec*: Embedding of OWL Ontologies [27.169755467590836]
  OWL2Vec* という名前のランダムウォークと単語埋め込みに基づく埋め込み手法を提案する。 OWL2Vec*は、グラフ構造、語彙情報、論理コンストラクタを考慮してOWLのセマンティクスを符号化する。
  論文  参考訳（メタデータ） (2020-09-30T13:07:50Z)
• Improving Graph Neural Network Expressivity via Subgraph Isomorphism Counting [63.04999833264299]
  グラフサブストラクチャネットワーク(GSN)は,サブストラクチャエンコーディングに基づくトポロジ的に認識可能なメッセージパッシング方式である。 Wesfeiler-Leman (WL) グラフ同型テストよりも厳密に表現可能であることを示す。 グラフ分類と回帰タスクについて広範囲に評価を行い、様々な実世界の環境において最先端の結果を得る。
  論文  参考訳（メタデータ） (2020-06-16T15:30:31Z)

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

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