Issue No.02 - February (1994 vol.43)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.262123
<p>Addresses the problem of comparing and unifying temporal relationships between activities expressed in timing diagrams and natural language narrative (English). This problem often occurs in specifications expressing behavioral requirements and constraints. The approach followed is to translate both diagrams and text into a common knowledge representation (conceptual graphs) employing temporal relations developed for temporal interval logic. In this knowledge representation, the requirements may be integrated, checked for inconsistencies, and subjected to additional temporal reasoning. An algorithm of polynomial complexity for generating a compact representation of temporal relationships from timing diagrams is presented. Generation of comparable conceptual graphs from English statements is described by using examples. Integrating conceptual graphs from timing diagrams and sentences while checking for inconsistencies is also of polynomial complexity.</p>
knowledge representation; temporal reasoning; computational complexity; formal specification; natural languages; waveforms; temporal reasoning; timing diagrams; natural language; specifications; common knowledge representation; conceptual graphs; temporal interval logic; knowledge representation; polynomial complexity; consistency checking; multiview integration; natural language analysis; semantic networks; digital systems; specification.
W.R. Cyre, "Conceptual Representation of Waveforms for Temporal Reasoning", IEEE Transactions on Computers, vol.43, no. 2, pp. 186-200, February 1994, doi:10.1109/12.262123