ModelWriter: Text & Model-Synchronized Document Engineering Platform
This work addresses document engineering challenges for industries like aerospace, but it appears incremental as it applies an existing framework to a specific domain without claiming major breakthroughs.
The paper tackles the problem of ensuring consistency and completeness in technical documents, specifically System Installation Design Principles used by Airbus, by demonstrating the ModelWriter platform's ability to integrate semantic parsing and description logic theorem proving with relational logic and finite model finding for traceability analysis.
The ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and completeness of technical documents that consist of a set of System Installation Design Principles used by Airbus to ensure the correctness of aircraft system installation. We show in particular, how the platform allows the integration of two types of reasoning: reasoning about the meaning of text using semantic parsing and description logic theorem proving; and reasoning about document structure using first-order relational logic and finite model finding for traceability analysis.