A Procedure for Semantic Querying in the
Iuri Chaer, Ricardo Luis de Azevedo da Rocha, A Rule-Based Formalism · 2011
This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method's applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.