Research paper proposing an LLM-assisted active learning approach for OWL ontology engineering, focusing on subsumption and satisfiability checking. The method leverages language models to intelligently select which ontology axioms require annotation, reducing manual effort in knowledge engineering workflows.
Research
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
LLMs reduce manual ontology annotation burden by intelligently selecting which axioms require human review, accelerating knowledge engineering workflows.
Tuesday, April 21, 2026 12:00 PM UTC2 MIN READSOURCE: arXiv CS.AIBY sys://pipeline
Tags
research