Running tests at mar feb 9 12:45:22 -03 2021 PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Convert a UML model from JSON V1 format to V2. ✔ Can convert a set of classes ✔ Can convert different kind of associations ✔ Can convert generalizations (disjoint, covering, etc.). ✔ Can convert a complete sample model Time: 57 ms, Memory: 4.00 MB OK (4 tests, 12 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Convert a UML model from JSON V1 format to V2. ✔ Can convert a set of classes ✔ Can convert different kind of associations ✔ Can convert generalizations (disjoint, covering, etc.). ✔ Can convert a complete sample model Time: 19 ms, Memory: 4.00 MB OK (4 tests, 12 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Runner ✔ Runner racer ✔ Runner konclude Time: 1.86 seconds, Memory: 4.00 MB OK (2 tests, 18 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. CrowdMetaWithCardAnalizer ✘ Parse owllink answers for KF Binary Relationship with Cardinalities. No class is inferred, just the current cardinalities are returned. │ │ 1 │ Failed asserting that two DOM documents are equal. │ --- Expected │ +++ Actual │ @@ @@ │ │ │ │ + │ │ │ │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaWithCardanalizertest.php:59 │ ✘ Parse owllink answers for KF Binary Relationship with Cardinalities. New cardinalities are returned. │ │ 1 │ Failed asserting that two DOM documents are equal. │ --- Expected │ +++ Actual │ @@ @@ │ │ │ │ - │ - │ - │ - │ - │ - │ - │ - │ │ │ │ @@ @@ │ │ │ │ + │ │ │ │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaWithCardanalizertest.php:98 │ Time: 228 ms, Memory: 6.00 MB FAILURES! Tests: 2, Assertions: 2, Failures: 2. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Analize the answer from a Berardi conertion ✔ Can remove some useless XML things ✘ Answer json │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["Person","OtherPerson"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":["Nope this one nope"],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : ["Person", "OtherPerson"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes" : ["Nope this one nope"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [], │ "disjunctions": [], │ "equivalences": [], │ "reasoner" : { │ "input" : "", │ "output" : "" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/berardianalizertest.php:216 │ ✘ Simple o w llink │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["Person"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : ["Person"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes" : [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [], │ "disjunctions": [], │ "equivalences": [], │ "reasoner" : { │ "input" : "", │ "output" : "" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/berardianalizertest.php:300 │ ✘ Try a real case │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["Hi World"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : ["Hi World"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes" : [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [], │ "disjunctions": [], │ "equivalences": [], │ "reasoner" : { │ "input" : "", │ "output" : "" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/berardianalizertest.php:360 │ ✘ Can detect unsatisfiable classes │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":[],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":["Test Class"],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes" : ["Test Class"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [], │ "disjunctions": [], │ "equivalences": [], │ "reasoner" : { │ "input" : "", │ "output" : "" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/berardianalizertest.php:434 │ Time: 18 ms, Memory: 6.00 MB FAILURES! Tests: 5, Assertions: 13, Failures: 4. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. CrowdMetaAnalizer ✘ Parse owllink answers for KF OBJECT TYPES │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"]],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog", │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [], │ "disjunctions_dp": [], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ] │ ], │ "equivalences_op": [], │ "equivalences_dp": [], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ ], │ "equivalences_op": [], │ "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:51 │ ✘ Parse owllink answers for KF Subsumptions │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Cat"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Cat"]],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog", │ "http://crowd.fi.uncoma.edu.ar/kb1#Person", │ "http://crowd.fi.uncoma.edu.ar/kb1#Cat" │ ], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [], │ "disjunctions_dp": [], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Cat" │ ] │ ], │ "equivalences_op": [], │ "equivalences_dp": [], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ ], │ "equivalences_op": [], │ "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:72 │ ✘ Parse owllink answers for KF Subsumptions with Disjoint and Completeness Constraints │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Cat"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Cat"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog"]],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Dog"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Cat"]],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog", │ "http://crowd.fi.uncoma.edu.ar/kb1#Person", │ "http://crowd.fi.uncoma.edu.ar/kb1#Cat" │ ], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing", │ "http://crowd.fi.uncoma.edu.ar/kb1#Cat" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing", │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog" │ ] │ ], │ "disjunctions_op": [], │ "disjunctions_dp": [], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Dog" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Cat" │ ] │ ], │ "equivalences_op": [], │ "equivalences_dp": [], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing", │ @@ @@ │ ], │ "equivalences_op": [], │ "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:93 │ ✘ Parse owllink answers for KF Binary Relationship 0..N Cardinalities │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Institution","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#enrolled"],"objectproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#institution"],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"]],"disjunctions_dp":[],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Institution"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#enrolled"]],"equivalences_op":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#institution"]],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Institution", │ "http://crowd.fi.uncoma.edu.ar/kb1#Person", │ "http://crowd.fi.uncoma.edu.ar/kb1#enrolled" │ ], │ "objectproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#person", │ "http://crowd.fi.uncoma.edu.ar/kb1#institution" │ ], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ] │ ], │ "disjunctions_dp": [], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Institution" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#enrolled" │ ] │ ], │ "equivalences_op": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#institution" │ ] │ ], │ "equivalences_dp": [], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ ] │ ], │ "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:114 │ ✘ Parse owllink answers for KF Binary Relationship with Cardinalities. This test should out the very same JSON than 0..N │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Institution","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#enrolled"],"objectproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#institution"],"dataproperties":[]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"]],"disjunctions_dp":[],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Institution"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#enrolled"]],"equivalences_op":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#institution"]],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Institution", │ "http://crowd.fi.uncoma.edu.ar/kb1#Person", │ "http://crowd.fi.uncoma.edu.ar/kb1#enrolled" │ ], │ "objectproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#person", │ "http://crowd.fi.uncoma.edu.ar/kb1#institution" │ ], │ "dataproperties": [] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ] │ ], │ "disjunctions_dp": [], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Institution" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#enrolled" │ ] │ ], │ "equivalences_op": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#institution" │ ] │ ], │ "equivalences_dp": [], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ ] │ ], │ "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:135 │ ✘ Parse owllink answers for KF Attributive Properties │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],"objectproperties":[],"dataproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name"]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[],"disjunctions_dp":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomDataProperty"]],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"]],"equivalences_op":[],"equivalences_dp":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name"]],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ "objectproperties": [], │ "dataproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name" │ ] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [], │ "disjunctions_dp": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomDataProperty" │ ] │ ], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ] │ ], │ "equivalences_op": [], │ "equivalences_dp": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name" │ ] │ ], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name" │ ] │ ], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:156 │ ✘ Parse owllink answers for KF MappedTo │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name_valueTypeRel"],"objectproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person_role","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name_role"],"dataproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name_mappedTo"]},"unsatisfiable":{"classes":[],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"]],"disjunctions_dp":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomDataProperty"]],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name_valueTypeRel"]],"equivalences_op":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Person_role"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name_role"]],"equivalences_dp":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#Name_mappedTo"]],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person", │ "http://crowd.fi.uncoma.edu.ar/kb1#Name", │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_valueTypeRel" │ ], │ "objectproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person_role", │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_role" │ ], │ "dataproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_mappedTo" │ ] │ }, │ "unsatisfiable": { │ "classes": [], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ] │ ], │ "disjunctions_dp": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomDataProperty" │ ] │ ], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_valueTypeRel" │ ] │ ], │ "equivalences_op": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Person_role" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_role" │ ] │ ], │ "equivalences_dp": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_mappedTo" │ ] │ ], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ "http://crowd.fi.uncoma.edu.ar/kb1#Name_mappedTo" │ ] │ ], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:177 │ ✘ Parse owllink answers for KF model UNSAT primitives │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#C","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#B","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#E","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_valueTypeRel"],"objectproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role0","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role1","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A_role","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_role"],"dataproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_mappedTo"]},"unsatisfiable":{"classes":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#D","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R2"],"objectproperties":["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R2role0","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R2role1"],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Thing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_valueTypeRel","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#B","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#C","http:\/\/www.w3.org\/2002\/07\/owl#Nothing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"],["http:\/\/www.w3.org\/2002\/07\/owl#Thing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_valueTypeRel","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#B","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#C","http:\/\/www.w3.org\/2002\/07\/owl#Nothing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing"]],"disjunctions_op":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_role","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A_role","http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role1","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role0","http:\/\/www.w3.org\/2002\/07\/owl#topObjectProperty"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_role","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A_role","http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role1","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role0","http:\/\/www.w3.org\/2002\/07\/owl#topObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"]],"disjunctions_dp":[["http:\/\/www.w3.org\/2002\/07\/owl#bottomDataProperty"]],"equivalences":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#C","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#E"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#B"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#D","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R2"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#C","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#E"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1"],["http:\/\/www.w3.org\/2002\/07\/owl#Nothing","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#D","http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R2"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_valueTypeRel"]],"equivalences_op":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role0"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#R1role1"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/www.w3.org\/2002\/07\/owl#bottomObjectProperty"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#A_role"],["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_role"]],"equivalences_dp":[["http:\/\/crowd.fi.uncoma.edu.ar\/kb1#N_mappedTo"]],"stricter_cardinalities":[],"reasoner":{"input":"","output":""},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb": true, │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#A", │ "http://crowd.fi.uncoma.edu.ar/kb1#C", │ "http://crowd.fi.uncoma.edu.ar/kb1#B", │ "http://crowd.fi.uncoma.edu.ar/kb1#E", │ "http://crowd.fi.uncoma.edu.ar/kb1#N", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1", │ "http://crowd.fi.uncoma.edu.ar/kb1#N_valueTypeRel" │ ], │ "objectproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role0", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role1", │ "http://crowd.fi.uncoma.edu.ar/kb1#A_role", │ "http://crowd.fi.uncoma.edu.ar/kb1#N_role" │ ], │ "dataproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_mappedTo" │ ] │ }, │ "unsatisfiable": { │ "classes": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#D", │ "http://crowd.fi.uncoma.edu.ar/kb1#R2" │ ], │ "objectproperties": [ │ "http://crowd.fi.uncoma.edu.ar/kb1#R2role0", │ "http://crowd.fi.uncoma.edu.ar/kb1#R2role1" │ ], │ "dataproperties": [] │ }, │ "subsumptions": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Thing", │ "http://crowd.fi.uncoma.edu.ar/kb1#N_valueTypeRel", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1", │ "http://crowd.fi.uncoma.edu.ar/kb1#A", │ "http://crowd.fi.uncoma.edu.ar/kb1#B", │ "http://crowd.fi.uncoma.edu.ar/kb1#C", │ "http://www.w3.org/2002/07/owl#Nothing", │ "http://crowd.fi.uncoma.edu.ar/kb1#N" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Thing", │ "http://crowd.fi.uncoma.edu.ar/kb1#N_valueTypeRel", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1", │ "http://crowd.fi.uncoma.edu.ar/kb1#A", │ "http://crowd.fi.uncoma.edu.ar/kb1#B", │ "http://crowd.fi.uncoma.edu.ar/kb1#C", │ "http://www.w3.org/2002/07/owl#Nothing", │ "http://crowd.fi.uncoma.edu.ar/kb1#N" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ ] │ ], │ "disjunctions_op": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_role", │ "http://crowd.fi.uncoma.edu.ar/kb1#A_role", │ "http://www.w3.org/2002/07/owl#bottomObjectProperty", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role1", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role0", │ "http://www.w3.org/2002/07/owl#topObjectProperty" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_role", │ "http://crowd.fi.uncoma.edu.ar/kb1#A_role", │ "http://www.w3.org/2002/07/owl#bottomObjectProperty", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role1", │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role0", │ "http://www.w3.org/2002/07/owl#topObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ] │ ], │ "disjunctions_dp": [ │ [ │ "http://www.w3.org/2002/07/owl#bottomDataProperty" │ ] │ ], │ "equivalences": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#A" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#C", │ "http://crowd.fi.uncoma.edu.ar/kb1#E" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#B" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing", │ "http://crowd.fi.uncoma.edu.ar/kb1#D", │ "http://crowd.fi.uncoma.edu.ar/kb1#R2" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#C", │ "http://crowd.fi.uncoma.edu.ar/kb1#E" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#R1" │ ], │ [ │ "http://www.w3.org/2002/07/owl#Nothing", │ "http://crowd.fi.uncoma.edu.ar/kb1#D", │ "http://crowd.fi.uncoma.edu.ar/kb1#R2" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_valueTypeRel" │ ] │ ], │ "equivalences_op": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role0" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#R1role1" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://www.w3.org/2002/07/owl#bottomObjectProperty" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#A_role" │ ], │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_role" │ ] │ ], │ "equivalences_dp": [ │ [ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_mappedTo" │ ] │ ], │ "reasoner": { │ "input": "", │ "output": "" │ }, │ "inferredSubs": [], │ "inferredCards": [], │ "inferredDisj": [], │ "inferredEquiv": [] │ } │ ". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ [ │ "http://www.w3.org/2002/07/owl#Nothing" │ @@ @@ │ "http://crowd.fi.uncoma.edu.ar/kb1#N_mappedTo" │ ] │ ], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "", │ "output": "" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/crowdmetaanalizertest.php:198 │ Time: 133 ms, Memory: 6.00 MB FAILURES! Tests: 8, Assertions: 24, Failures: 8. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Answer object to create and encapsulate answers ✘ Can create a JSON answer with some classes │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["name1","name2"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":["name3","name4"],"objectproperties":[],"dataproperties":[]},"subsumptions":[{"name":"suggestion1","classes":["classname1","classname2"],"multiplicity":null,"roles":[null,null],"type":"generalization","parent":"classname1","constraint":[]}],"subsumptions_op":[],"disjunctions":[],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"STRING WITH REASONER INPUT","output":"STRING WITH REASONER OUTPUT"},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : ["name1", "name2"], │ "objectproperties" : [], │ "dataproperties" : [] │ }, │ "unsatisfiable": { │ "classes" : ["name3", "name4"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [ │ { "name" : "suggestion1", │ "classes": ["classname1", "classname2"], │ "multiplicity":null, │ "roles":[null,null], │ "type":"generalization", │ "parent":"classname1", │ "constraint":[]} │ ], │ "disjunctions": [], │ "equivalences": [], │ "reasoner" : { │ "input" : "STRING WITH REASONER INPUT", │ "output" : "STRING WITH REASONER OUTPUT" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "constraint": [] │ } │ ], │ + "subsumptions_op": [], │ "disjunctions": [], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "STRING WITH REASONER INPUT", │ "output": "STRING WITH REASONER OUTPUT" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/answertest.php:166 │ ✘ Can create a JSON answer with a disjunction │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["name1","name2"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":["name3","name4"],"objectproperties":[],"dataproperties":[]},"subsumptions":[],"subsumptions_op":[],"disjunctions":[{"type":"disjoint","name":"suggestion1","classes":["classname1","classname2"]}],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"STRING WITH REASONER INPUT","output":"STRING WITH REASONER OUTPUT"},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : ["name1", "name2"], │ "objectproperties" : [], │ "dataproperties" : [] │ }, │ "unsatisfiable": { │ "classes" : ["name3", "name4"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [], │ "disjunctions": [ │ { "type" : "disjoint", │ "name": "suggestion1", │ "classes" : ["classname1", "classname2"] │ } │ ], │ "equivalences": [], │ "reasoner" : { │ "input" : "STRING WITH REASONER INPUT", │ "output" : "STRING WITH REASONER OUTPUT" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "dataproperties": [] │ }, │ "subsumptions": [], │ + "subsumptions_op": [], │ "disjunctions": [ │ { │ "type": "disjoint", │ @@ @@ │ ] │ } │ ], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "STRING WITH REASONER INPUT", │ "output": "STRING WITH REASONER OUTPUT" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/answertest.php:219 │ ✘ Can create an answer in JSON with a subsumption and a disjoint │ │ 1 │ Failed asserting that '{"satisfiable":{"kb":true,"classes":["name1","name2"],"objectproperties":[],"dataproperties":[]},"unsatisfiable":{"classes":["name3","name4"],"objectproperties":[],"dataproperties":[]},"subsumptions":[{"name":"suggestion1","classes":["classname1","classname2"],"multiplicity":null,"roles":[null,null],"type":"generalization","parent":"classname1","constraint":[]}],"subsumptions_op":[],"disjunctions":[{"type":"disjoint","name":"suggestion1","classes":["classname1","classname2"]}],"disjunctions_op":[],"disjunctions_dp":[],"equivalences":[],"equivalences_op":[],"equivalences_dp":[],"stricter_cardinalities":[],"reasoner":{"input":"STRING WITH REASONER INPUT","output":"STRING WITH REASONER OUTPUT"},"inferredSubs":[],"inferredCards":[],"inferredDisj":[],"inferredEquiv":[]}' matches JSON string "{ │ "satisfiable": { │ "kb" : true, │ "classes" : ["name1", "name2"], │ "objectproperties" : [], │ "dataproperties" : [] │ }, │ "unsatisfiable": { │ "classes" : ["name3", "name4"], │ "objectproperties": [], │ "dataproperties": [] │ }, │ "subsumptions" : [ │ { "name" : "suggestion1", │ "classes": ["classname1", "classname2"], │ "multiplicity":null, │ "roles":[null,null], │ "type":"generalization", │ "parent":"classname1", │ "constraint":[]} │ ], │ "disjunctions": [ │ { "type" : "disjoint", │ "name": "suggestion1", │ "classes" : ["classname1", "classname2"] │ } │ ], │ "equivalences": [], │ "reasoner" : { │ "input" : "STRING WITH REASONER INPUT", │ "output" : "STRING WITH REASONER OUTPUT" │ }, │ "inferredSubs" : [], │ "inferredCards" : [], │ "inferredDisj" : [], │ "inferredEquiv" : [] │ }". │ --- Expected │ +++ Actual │ @@ @@ │ "constraint": [] │ } │ ], │ + "subsumptions_op": [], │ "disjunctions": [ │ { │ "type": "disjoint", │ @@ @@ │ ] │ } │ ], │ + "disjunctions_op": [], │ + "disjunctions_dp": [], │ "equivalences": [], │ + "equivalences_op": [], │ + "equivalences_dp": [], │ + "stricter_cardinalities": [], │ "reasoner": { │ "input": "STRING WITH REASONER INPUT", │ "output": "STRING WITH REASONER OUTPUT" │ │ /var/www/html/crowd2/reasoning/tests/php/answers/answertest.php:283 │ ✘ Can create an answer in OWL 2 format │ │ PHPUnit\Framework\Exception: Could not load XML from empty string │ │ /var/www/html/crowd2/reasoning/tests/php/answers/answertest.php:329 │ Time: 28 ms, Memory: 6.00 MB ERRORS! Tests: 4, Assertions: 9, Errors: 1, Failures: 3. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. KFWicomCardinalities ✔ tests reasoning services using racer reasoner looking for stricter cardinalities. Now N cardinality must become stricter. Subroles and Suproles are the same so that relationships become equivalent. ✔ tests reasoning services using konclude reasoner looking for stricter cardinalities. Now N cardinality must become stricter. Subroles and Suproles are the same so that relationships become equivalent. ∅ tests reasoning services using racer reasoner looking for stricter cardinalities. Now N cardinality must become stricter. Only for Roles Subsumptions. Role names are different. Time: 400 ms, Memory: 6.00 MB Summary of non-successful tests: KFWicomCardinalities ∅ tests reasoning services using racer reasoner looking for stricter cardinalities. Now N cardinality must become stricter. Only for Roles Subsumptions. Role names are different. OK, but incomplete, skipped, or risky tests! Tests: 3, Assertions: 6, Incomplete: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. KFWicomRacer ✔ tests reasoning services using racer reasoner with all possible queries ✔ tests reasoning services using racer reasoner for looking possible inferred subs ✔ tests reasoning services using racer reasoner with some unsat classes and roles ✔ tests reasoning services using racer reasoner looking for stricter cardinalities ✔ tests reasoning services using racer reasoner with all unsat classes and roles ∅ tests reasoning services using racer reasoner. Looking for role subsets Time: 237 ms, Memory: 6.00 MB Summary of non-successful tests: KFWicomRacer ∅ tests reasoning services using racer reasoner. Looking for role subsets OK, but incomplete, skipped, or risky tests! Tests: 6, Assertions: 15, Incomplete: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Wicom ✘ Is satisfiable UML │ │ Error: Call to undefined method Wicom\Translator\Strategies\QAPackages\QueriesGenerators\BerardiQueries::gen_getDisjointObjProp() │ │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/queriesgenerators/queriesgenerator.php:49 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/queriesgenerators/berardiqueries.php:53 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/qapack.php:57 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/strategy.php:98 │ /var/www/html/crowd2/reasoning/wicom/translator/translator.php:131 │ /var/www/html/crowd2/reasoning/common/uml.php:86 │ /var/www/html/crowd2/reasoning/common/uml.php:60 │ /var/www/html/crowd2/reasoning/tests/php/wicom/uml_wicomtest.php:43 │ Time: 72 ms, Memory: 6.00 MB ERRORS! Tests: 1, Assertions: 0, Errors: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. KFWicomKonclude ✔ tests reasoning services using konclude reasoner with all possible queries ✔ tests reasoning services using konclude reasoner for looking possible inferred subs ✔ tests reasoning services using konclude reasoner with some unsat classes and roles ✔ tests reasoning services using konclude reasoner looking for stricter cardinalities ✔ tests reasoning services using konclude reasoner with all unsat classes and roles Time: 139 ms, Memory: 6.00 MB OK (5 tests, 15 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. UMLJSonDocument tests ✔ Convert an empty UML into JSON. ✔ Convert a UML class without attributes into JSON. ✔ Convert an UML class with attributes into JSON ✔ Convert an UML generalization into JSON. ✔ Convert an UML association into JSON. ✔ Convert UML into a JSON representation. Time: 11 ms, Memory: 4.00 MB OK (6 tests, 18 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. DLMetaWithCard ✘ Translate a simple model with some KF RELATIONSHIPS and 0..N CARDINALITIES into OWLlink with SAT queries. Cardinality global is N so that no stricter cardinality could be inferred ¿? │ │ file_get_contents(/var/www/html/reasoning/wicom/translator/strategies/strategydlmeta/kfmetaScheme.json): failed to open stream: No such file or directory │ │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/dlmetastratWithCardtest.php:48 │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/dlmetastratWithCardtest.php:73 │ Time: 29 ms, Memory: 6.00 MB ERRORS! Tests: 1, Assertions: 0, Errors: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. DLMetaCheck ✘ test for beauty_responses with subsumption inferred │ │ file_get_contents(/var/www/html/reasoning/wicom/translator/strategies/strategydlmeta/kfmetaScheme.json): failed to open stream: No such file or directory │ │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/dlmetachecktest.php:53 │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/dlmetachecktest.php:129 │ Time: 100 ms, Memory: 6.00 MB ERRORS! Tests: 1, Assertions: 0, Errors: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Berardi ✔ Translate a simple class into OWL 2 ✔ Translate a binary role into OWL 2 ✔ Translate a many to many role into OWL 2 ✔ Translate a generalization into OWL 2 ✔ Translate a disjoint generalizatio into OWL 2 ✔ Translate a covering generalization into OWL 2 ✘ Generate standard queries in OWL 2 │ │ Error: Call to undefined method Wicom\Translator\Strategies\QAPackages\QueriesGenerators\BerardiQueries::gen_getDisjointObjProp() │ │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/queriesgenerators/queriesgenerator.php:49 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/queriesgenerators/berardiqueries.php:53 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/qapack.php:57 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/strategy.php:98 │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/berarditest.php:676 │ Time: 45 ms, Memory: 6.00 MB Summary of non-successful tests: Berardi ✘ Generate standard queries in OWL 2 │ │ Error: Call to undefined method Wicom\Translator\Strategies\QAPackages\QueriesGenerators\BerardiQueries::gen_getDisjointObjProp() │ │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/queriesgenerators/queriesgenerator.php:49 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/queriesgenerators/berardiqueries.php:53 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/qapackages/qapack.php:57 │ /var/www/html/crowd2/reasoning/wicom/translator/strategies/strategy.php:98 │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/berarditest.php:676 │ ERRORS! Tests: 7, Assertions: 6, Errors: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. DLMeta ✘ Translate a simple model with some KF OBJECT TYPES into OWLlink with SAT queries │ │ file_get_contents(/var/www/html/reasoning/wicom/translator/strategies/strategydlmeta/kfmetaScheme.json): failed to open stream: No such file or directory │ │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/dlmetastrattest.php:51 │ /var/www/html/crowd2/reasoning/tests/php/translator/strategies/dlmetastrattest.php:75 │ Time: 53 ms, Memory: 6.00 MB ERRORS! Tests: 1, Assertions: 0, Errors: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. HTMLBuilder ✘ Translate │ │ Undefined offset: 0 │ │ /var/www/html/crowd2/reasoning/wicom/translator/builders/htmlbuilder.php:152 │ /var/www/html/crowd2/reasoning/wicom/translator/builders/htmlbuilder.php:99 │ /var/www/html/crowd2/reasoning/wicom/translator/builders/htmlbuilder.php:117 │ /var/www/html/crowd2/reasoning/wicom/translator/builders/htmlbuilder.php:91 │ /var/www/html/crowd2/reasoning/tests/php/translator/htmlbuildertest.php:43 │ Time: 89 ms, Memory: 4.00 MB ERRORS! Tests: 1, Assertions: 0, Errors: 1. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. OWL2Document ✔ Generate an OWL2 Subclass Time: 11 ms, Memory: 4.00 MB OK (1 test, 33 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. OWLlink Document class. ✔ Can create a base OWLlink document. ✔ Can insert a CreateKB tag. ✔ Can add BioOnto prefixes ✔ Can insert some classes. ✔ Can insert subclass relationships Time: 28 ms, Memory: 4.00 MB OK (5 tests, 150 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. Builder ✔ Translate o w llink attribute Time: 12 ms, Memory: 4.00 MB OK (1 test, 69 assertions) PHPUnit 7.5.6 by Sebastian Bergmann and contributors. BackingFromReasoning ☢ Full reasoning UML SubsumptionInferred CompareJSON ☢ Full reasoning UML CardinalityInferred CompareJSON Time: 30 ms, Memory: 6.00 MB OK, but incomplete, skipped, or risky tests! Tests: 2, Assertions: 0, Risky: 2. PHPUnit 7.5.6 by Sebastian Bergmann and contributors. PHPUnit\Framework\WarningTestCase ✘ Warning │ │ No tests found in class "WicomTest". │ Time: 32 ms, Memory: 6.00 MB WARNINGS! Tests: 1, Assertions: 0, Warnings: 1. Test failed. Tests ended at mar feb 9 12:45:26 -03 2021