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).
?- run.
?- known(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.

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.

/** <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.

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.