|
Enter premise and query as predicate subject object, with ?varname for must-bind variables and with namespaces prepended. One triple per blank. To specify a may-bind variable, use ~varname, and for a don't-bind variable, use !varname.
To use KIF for your premise or query, use parentheses around your entries. KIF is required for any premises or queries which have more than 2 arguments per slot.
You may also directly enter DAML for your premise or query. Simply enter something like <rdf:RDF ...
Some namespace abbreviations are defined for you. They are: rdf, rdfs, daml, owl, owql, var, tkb. tkb is the target KB namespace. For examples, see below.
|