Cover Image

From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Haoruo, Tang, Wenshuo, Guthrie, Duncan, Sevegnani, Michele, Flynn, David, Harvey, Paul
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies
by: Cardillo, Franco Alberto, et al.
Published: (2023)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
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)

A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction
by: Shiraishi, Yukihiro, et al.
Published: (2024)

OWL2Vec4OA: Tailoring Knowledge Graph Embeddings for Ontology Alignment
by: Teymurova, Sevinj, et al.
Published: (2024)

Exploring a Large Language Model for Transforming Taxonomic Data into OWL: Lessons Learned and Implications for Ontology Development
by: Soares, Filipi Miranda, et al.
Published: (2025)

GLaMoR: Consistency Checking of OWL Ontologies using Graph Language Models
by: Mücke, Justin, et al.
Published: (2025)

LLM Reasoning Is Latent, Not the Chain of Thought
by: Wang, Wenshuo
Published: (2026)

BenGER: Benchmarking LLM Systems on Subsumption-Based Legal Reasoning in German Law
by: Nagl, Sebastian, et al.
Published: (2026)

Large Language Model for OWL Proofs
by: Yang, Hui, et al.
Published: (2026)

Steering LLM Thinking with Budget Guidance
by: Li, Junyan, et al.
Published: (2025)

LLMs Should Not Yet Be Credited with Decision Explanation
by: Wang, Wenshuo
Published: (2026)

Large Language Models Assisting Ontology Evaluation
by: Lippolis, Anna Sofia, et al.
Published: (2025)

Compact Optimality Verification for Optimization Proxies
by: Chen, Wenbo, et al.
Published: (2024)

Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)

Code vs Serialized AST Inputs for LLM-Based Code Summarization: An Empirical Study
by: Dong, Shijia, et al.
Published: (2026)

Bag of Tricks for Inference-time Computation of LLM Reasoning
by: Liu, Fan, et al.
Published: (2025)

A Digital Twinning Approach to Decarbonisation: Research Challenges
by: Archibald, Blair, et al.
Published: (2025)

When Corrective Hints Hurt: Prompt Design in Reasoner-Guided Repair of LLM Overcaution on Entailed Negations under OWL~2~DL
by: Qi, Yijiashun, et al.
Published: (2026)

OWL: Geometry-Aware Spatial Reasoning for Audio Large Language Models
by: Biswas, Subrata, et al.
Published: (2025)

OntoMetric: An Ontology-Driven LLM-Assisted Framework for Automated ESG Metric Knowledge Graph Generation
by: Yu, Mingqin, et al.
Published: (2025)

Knowledge Distillation Must Account for What It Loses
by: Wang, Wenshuo
Published: (2026)

OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation
by: Hu, Mengkang, et al.
Published: (2025)

Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation
by: Baimuratov, Ildar, et al.
Published: (2025)

System-Anchored Knee Estimation for Low-Cost Context Window Selection in PDE Forecasting
by: Wang, Wenshuo, et al.
Published: (2026)

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
by: Dörfler, Julian, et al.
Published: (2024)

OWL: Overcoming Window Length-Dependence in Speculative Decoding for Long-Context Inputs
by: Lee, Jaeseong, et al.
Published: (2025)

OWL: Probing Cross-Lingual Recall of Memorized Texts via World Literature
by: Srivastava, Alisha, et al.
Published: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

CollabLLM: From Passive Responders to Active Collaborators
by: Wu, Shirley, et al.
Published: (2025)

LLM-Driven Ontology Construction for Enterprise Knowledge Graphs
by: Oyewale, Abdulsobur, et al.
Published: (2026)

Reactive Multi-Robot Navigation in Outdoor Environments Through Uncertainty-Aware Active Learning of Human Preference Landscape
by: Huang, Chao, et al.
Published: (2024)

From Natural Language to Solver-Ready Power System Optimization: An LLM-Assisted, Validation-in-the-Loop Framework
by: Hu, Yunkai, et al.
Published: (2025)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
by: Cohen-Solal, Quentin, et al.
Published: (2026)

Integer Linear Programming Preprocessing for Maximum Satisfiability
by: Zhang, Jialu, et al.
Published: (2025)

Breaking Scale Anchoring: Frequency Representation Learning for Accurate High-Resolution Inference from Low-Resolution Training
by: Wang, Wenshuo, et al.
Published: (2025)

Leveraging LLM for Automated Ontology Extraction and Knowledge Graph Generation
by: Abolhasani, Mohammad Sadeq, et al.
Published: (2024)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
by: Jabs, Christoph, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)