Papers for

software language engineers

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Method for ongoing ontology checking using external knowledge sources

Continuous Ontology Assurance through External Resources -- An Ontology Engineering Method with a Case Study in Software Language Engineering

Abstract: Domain ontologies require review against knowledge recorded in evolving external resources. We propose COATER, a method that manages executable review components called arrows. Each arrow compares a scoped part of an ontology with a relevant resource and reports support or challenges to its axioms. Challenges may prompt proposals for completion, correction, or restructuring and become tasks for human or agent-assisted triage. Per-axiom coverage summarizes the assessments. We illustrate COATER with the FSL ontology in software language engineering (SLE): arrows review language coverage, language conceptualization, and software-engineering activities. An LLM-assisted linkage exercise increases compliance with a defined Wikipedia-linkage policy from 405 to 600 of 600 entities. A structured catalogue of SLE resources organizes review opportunities.

Fri 16 OctArtificial Intelligence
The gist
Ontologies are structured ways to represent knowledge, but they need to stay current with changing information elsewhere. The authors present COATER, a method that continually checks parts of an ontology against outside resources, spotting where it agrees or conflicts. When problems appear, COATER can suggest fixes or flag tasks for humans or helpers to review. They tested this on a software language engineering ontology, improving how well it links to Wikipedia and organizes software concepts.
Open → 2610.24322v1