Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
betweenObjRel-groundfact
betweenObjRel-nongroundfact
betweenObjRel-rule-v1
betweenObjRel-rule-v2
class_membership
constant_variation
discount
empty-tuples
entail_everything
external-function1
external-function2
external-isopl-function
external-isopl-predicate
external-predicate1
external-predicate2
factorial1
factorial2
factorial3
family1
family2
function_application_as_slot_filler
ground-rule
mixed-use-of-oids-in-psoa-terms
multi-slot_psoa_fact
multi-valued_slot
multiple_entailment
music_album
nested_atoms1
nested_atoms2
objectification
own
passive_function
physics-comparison
physics-datetime
psoa-abridged-constants1
psoa-abridged-constants2
psoa-atom-dependency1
psoa-atom-dependency2
psoa-atom-dependency3
psoa-atom-dependency4
psoa-atom-dependency5
psoa_facts_with_slots_and_tuples
psoa_terms_test
recursive_frame_rule
recursive_rule
single-tuple_psoa_fact
slotribution1
slotribution2
startup
subclass-axiomization
subclass-bird
subclass-test1
subclass-test2
transfer
README.txt

README.txt

The directory stores a test suite used for the automated testing of 
PSOA implementations, e.g. by our Java-based PSOATransRun 
testing module. 

The testing module expects the following naming conventions:
Each test case is stored under one 
subdirectory, which we will call <testCaseName>. 
Under this subdirectory, there exists 
  one main KB file <testCaseName>-KB.psoa, 
  zero or more imported KB files, e.g. written as 
    <testCaseName>-KB-importedI.psoa, I=1,2,... (the testing 
    module will ignore all files whose names contain anything 
    between "KB" and ".psoa"), 
  one or more query files <testCaseName>-queryJ.psoa, J=1,2,..., and 
  one answer file <testCaseName>-answerJ.psoa for each query <testCaseName>-queryJ.psoa.
  
A query/answer pair of files (-queryJ/-answerJ) is called a "unit test".  

Query and answer files should be authored such that answer bindings 
use only constants drawn from the KB ("certain answers") instead of
system-generated ones (e.g., _oidcons, Skolem functions), which can 
vary under different command-line options and implementations.

An Eclipse Run configuration may be used to automate the test execution as follows:
Run Configurations
  Main
    Project: PSOATransRun
    Main class: org.ruleml.psoa.psoatransrun.PSOATransRunCmdLine
  Arguments
    Program Arguments: --test -i ...\git\PSOATransRunComponents\PSOATransRun\test
OR
    Program Arguments: --test -s -i ...\git\PSOATransRunComponents\PSOATransRun\test

The following command is used to manually execute
<testCaseName>-queryJ.psoa on <testCaseName>-KB.psoa
(the answers will go to the standard output):
java -jar PSOATransRunLocal.jar -i <testCaseName>-KB.psoa -q <testCaseName>-queryJ.psoa