QMT is an MMT-based query language. It was first described in the corresponding paper.
QMT uses three basic concepts: types, queries, and propositions.
ontology.QueryType. Types are either products of
ontology.QueryBaseTypes or the power type of such a product.
ontology.Query. They are typed expressions.
ontology.Prop. They are expressions that are used as side conditions within queries.
The specific types, queries, and propositions can be best understood by browsing the API documentation and the known subclasses for the respective class.
At the moment the only concrete syntax for queries is an ad hoc XML format.
The algorithms for parsing, type inference, and validity checking for queries are straightforward and defined in the respective companion objects
The MMT ontology is a fragment of the query language.
ontology.PathTypeis the type of MMT URIs.
On disk, the dimension
relational of an MMT archive maintains the relational knowledge, i.e., the set of known URIs and the instances of the unary and binary predicates.
In memory, this is done by the class
ontology.RelStore. Refer to this list of query examples for basic usage.
The relational dimension is written automatically when an import build target is used.
To load an archive’s relational knowledge into memory, the shell command
relational can be used.
The evaluation of queries is implemented in the
According to its type, every query evaluates to a tuple of base values or to a set of such tuples.
ontology.QueryType, there is a corresponding subclass of
ontology.BaseType, from which the return type of evaluation is built.
Evaluation results can be used in the API or exported in ad-hoc XML syntax.
There is an extension for adding new atomic functions to the query language.
Several such functions expose basic algorithms (parsing, type checking, presentation, etc.) to the query language. See the documentation of
The MMT HTTP interface opens a QMT query server that accepts a QMT query in XML encoding as the body of an HTTP POST request. Some example queries are:
retrieves all known MMT URIs of concept C.
<related> <literal uri="T"/> <toobject relation="Declares"/> </related>
retrieves all declarations of theory T.
<related> <literal uri="T"/> <sequence> <transitive> <toobject relation="Includes"/> </transitive> <toobject relation="Declares"/> </sequence> </related>
retrieves all declarations of any theory included into theory T.