Warning:
This wiki has been archived and is now read-only.

Test Case Positive Time

From RIF
Jump to: navigation, search

{PositiveEntailmentTest |author=Adrian Paschke |status=Proposed |dialect=Core |desc=Dynamic test case. Tests if the query can be derived in less than the stated time in milliseconds, i.e. a kind of performance test for the inference or rule execution environment. Expected conclusion is "true", if the query succeeds in the less than the stated time in millisecons. For instance, a test case "testTime(p(?Arg),1000^^xsd:long)" for a test data set "r(q)" and a rule "p(?Arg):-r(?Arg)" will succeed, if all results for the query "p(?Arg)" can be derived in less than one second. |pformat=Presentation |premise=testTime(?Query, ?TimeConstraint^^xsd:long) |cformat=Presentation |conc= true }