The Run! button sends the query from the query editor and the program from the program editor for evaluation to the Prolog server.

You can either type a query or embed queries in a comment block in the program and select it from the Examples dropup menu. Queries are added to the History dropup menu for re-use.

NOTE: if a complex string containing special characters (s.a. #), surround it with escaped single quote (\'). See TRILL manual section in Help page for a list of possible queries.

Example queries embedded in your program must be formatted like this:

/** <examples>

?- instanceOf(\'http://my.ontology.org/ontologies/foo#myClass\',\'http://my.ontology.org/ontologies/foo#myIndividual\',ListExpl).
?- axiom(X).
*/

TRILL can compute the probability of queries using the commands shown below:

prob_instanceOf(Class,Individual,Prob)
Concept membership queries.
prob_sub_class(Class1,Class2,Prob)
Subsumption queries.
prob_unsat(ClassExpression,Prob)
Unsatifiability of a concept.
prob_inconsistent_theory(Prob)<
dd>Inconsistency of the knowledge base.
TRILL can test entailment or find an explanation Expl using the queries below:
instanceOf(Class,Individual),instanceOf(Class,Individual,Expl)
Concept membership queries.
sub_class(Class1,Class2),sub_class(Class1,Class2,Expl)
Subsumption queries.
unsat(ClassExpression),unsat(ClassExpression,Expl)
Unsatifiability of a concept.
inconsistent_theory,inconsistent_theory(Expl)
Inconsistency of the knowledge base.

For hints press Ctrl-Space.