Guarantee Interactive-Time Description-Logic Reasoning

Establish whether description-logic reasoning and the associated constraint-checking and explanation procedures can execute quickly enough to support interactive renegotiation with stakeholders in the ontology-mediated constraint-acquisition loop.

Background

The architecture uses description-logic reasoning to detect structural conflicts and produce symbolic justifications that are returned to LLM assistants during user renegotiation. For the loop to function interactively, these checks and explanations must be generated within acceptable response times as constraints arrive or change.

The paper does not evaluate the proposed extension or its timing behavior. It explicitly identifies interactive-time reasoning, together with the ConfigVoc-versus-ConfigDL placement and priority semantics, as unresolved research agenda items.

References

We describe an architecture rather than an evaluated system, and several questions remain open. The preference extension and the explanation feedback loop are proposed: the extension and the assistants are not yet built, and the loop has been exercised only on the OWL path. A first evaluation would target the acquisition loop rather than schedule quality: how often the static check catches a preference that could never be satisfied, how many renegotiation turns follow, and whether checking and solver encoding stay within interactive time. A first design question is where the preference semantics belong, the ConfigVoc-versus-ConfigDL choice detailed in Section~\ref{sec:loop}; because both paths supply inconsistency justifications, it governs how preferences are checked, not whether the loop can run. Modeling preferences as weighted soft constraints further raises the questions of how to set and compare priorities across stakeholder groups, and how to handle multiple competing soft constraints (multi-objective optimization); because the groups are self-interested, priority elicitation also carries a social-choice dimension, with the risk of strategic misreporting. The approach also assumes the LLM assistants translate faithfully between natural language and the ontology vocabulary; a mis-grounding that clashes with the hard limits is caught, but a consistent yet wrong one would propagate silently, making faithful grounding the make-or-break assumption. For grounding we would adopt existing practice rather than extend it: constrained decoding against the vocabulary, as in the configuration copilot, which yields well-formed constraints but not necessarily the intended ones. Furthermore, description-logic reasoning must remain fast enough for interactive renegotiation.

— Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders  (2609.29876 - Bischof et al., 24 Sep 2026) in Section 6, paragraph “Limitations and open questions”