Examples:

Choose the reasoner:  dlv dlt dlvhex dlvhex+dlt dlp  Ontology: 

Try LoIDE

[clear]
Result Filter:

(comma-separated list of predicate names)

One fact per line    [evaluate]