Integration of Contextual Descriptors in Ontology Alignment for Enrichment of Semantic Correspondence
Fuente:
arXiv
Saved in:
| Main Authors: | Manziuk, Eduard, Barmak, Oleksander, Radiuk, Pavlo, Kuznetsov, Vladislav, Krak, Iurii, Yakovlev, Sergiy |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Multi-Stage Segmentation and Cascade Classification Methods for Improving Cardiac MRI Analysis
by: Slobodzian, Vitalii, et al.
Published: (2024)
by: Slobodzian, Vitalii, et al.
Published: (2024)
SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)
by: Arndt, Dörthe, et al.
Published: (2025)
A Sequent Calculus for General Inductive Definitions
by: Eede, Robbe Van den, et al.
Published: (2026)
by: Eede, Robbe Van den, et al.
Published: (2026)
A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)
by: Barlatier, Patrick, et al.
Published: (2025)
$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)
by: Burgess, Mark
Published: (2025)
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)
by: Huang, Xuanxiang, et al.
Published: (2025)
TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, et al.
Published: (2025)
by: Steen, Alexander, et al.
Published: (2025)
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)
by: Jung, Jean Christoph, et al.
Published: (2023)
Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)
Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)
by: Tang, Shuai, et al.
Published: (2025)
Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)
by: Tang, Shuai
Published: (2025)
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
by: Ceragioli, Leonardo, et al.
Published: (2025)
by: Ceragioli, Leonardo, et al.
Published: (2025)
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
by: Ceragioli, Leonardo, et al.
Published: (2025)
by: Ceragioli, Leonardo, et al.
Published: (2025)
LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
by: Yadamsuren, Borchuluun, et al.
Published: (2025)
by: Yadamsuren, Borchuluun, et al.
Published: (2025)
MIRAGE: Scaling Test-Time Inference with Parallel Graph-Retrieval-Augmented Reasoning Chains
by: Wei, Kaiwen, et al.
Published: (2025)
by: Wei, Kaiwen, et al.
Published: (2025)
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
by: Mustafa, Daham, et al.
Published: (2026)
by: Mustafa, Daham, et al.
Published: (2026)
Large Language Models as Oracles for Ontology Alignment
by: Lushnei, Sviatoslav, et al.
Published: (2025)
by: Lushnei, Sviatoslav, et al.
Published: (2025)
Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)
by: Rago, Antonio, et al.
Published: (2024)
Samyama: A Unified Graph-Vector Database with In-Database Optimization, Agentic Enrichment, and Hardware Acceleration
by: Mandarapu, Madhulatha, et al.
Published: (2026)
by: Mandarapu, Madhulatha, et al.
Published: (2026)
Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game
by: Li, Lixing
Published: (2026)
by: Li, Lixing
Published: (2026)
Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)
by: Indrzejczak, Andrzej, et al.
Published: (2024)
Agent Semantics, Semantic Spacetime, and Graphical Reasoning
by: Burgess, Mark
Published: (2025)
by: Burgess, Mark
Published: (2025)
LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
by: Lucas, Tom, et al.
Published: (2026)
by: Lucas, Tom, et al.
Published: (2026)
Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)
by: Maher, Michael J.
Published: (2024)
WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
by: Dalal, Aryan Singh, et al.
Published: (2026)
by: Dalal, Aryan Singh, et al.
Published: (2026)
Reasoning and Planning with Dynamically Changing Norms
by: Olson, Taylor, et al.
Published: (2026)
by: Olson, Taylor, et al.
Published: (2026)
By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
by: Vernie, Julius, et al.
Published: (2026)
by: Vernie, Julius, et al.
Published: (2026)
Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations
by: Xia, Gus G.
Published: (2025)
by: Xia, Gus G.
Published: (2025)
Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)
by: Coniglio, Marcelo E., et al.
Published: (2024)
Robust Computation Tree Logic
by: Nayak, Satya Prakash, et al.
Published: (2022)
by: Nayak, Satya Prakash, et al.
Published: (2022)
On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)
by: Catta, Davide, et al.
Published: (2026)
An Explainable Collaborative Dialogue System using a Theory of Mind
by: Cohen, Philip R., et al.
Published: (2023)
by: Cohen, Philip R., et al.
Published: (2023)
Comparing State-Representations for DEL Model Checking
by: Behnke, Gregor, et al.
Published: (2025)
by: Behnke, Gregor, et al.
Published: (2025)
Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)
by: Schmitt, Ingo
Published: (2024)
On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)
by: Cate, Balder ten, et al.
Published: (2024)
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2025)
by: Galimullin, Rustam, et al.
Published: (2025)
Trustworthiness Preservation by Copies of Machine Learning Systems
by: Ceragioli, Leonardo, et al.
Published: (2025)
by: Ceragioli, Leonardo, et al.
Published: (2025)
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
by: Burgess, Mark
Published: (2025)
by: Burgess, Mark
Published: (2025)
Beyond Imperfect Alternatives with Rulemapping: A Neuro-Symbolic Case Study on Online Hate Speech
by: von Cossel, Oskar
Published: (2026)
by: von Cossel, Oskar
Published: (2026)
Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)
by: Raggi, Daniel, et al.
Published: (2025)
Similar Items
-
Multi-Stage Segmentation and Cascade Classification Methods for Improving Cardiac MRI Analysis
by: Slobodzian, Vitalii, et al.
Published: (2024) -
SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025) -
A Sequent Calculus for General Inductive Definitions
by: Eede, Robbe Van den, et al.
Published: (2026) -
A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025) -
$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)