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.
[32m✔[0m Can convert a set of classes
[32m✔[0m Can convert different kind of associations
[32m✔[0m Can convert generalizations (disjoint, covering, etc.).
[32m✔[0m Can convert a complete sample model
Time: 57 ms, Memory: 4.00 MB
[30;42mOK (4 tests, 12 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Convert a UML model from JSON V1 format to V2.
[32m✔[0m Can convert a set of classes
[32m✔[0m Can convert different kind of associations
[32m✔[0m Can convert generalizations (disjoint, covering, etc.).
[32m✔[0m Can convert a complete sample model
Time: 19 ms, Memory: 4.00 MB
[30;42mOK (4 tests, 12 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Runner
[32m✔[0m Runner racer
[32m✔[0m Runner konclude
Time: 1.86 seconds, Memory: 4.00 MB
[30;42mOK (2 tests, 18 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
CrowdMetaWithCardAnalizer
[31m✘[0m 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
│
[31m✘[0m 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
[37;41mFAILURES![0m
[37;41mTests: 2[0m[37;41m, Assertions: 2[0m[37;41m, Failures: 2[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Analize the answer from a Berardi conertion
[32m✔[0m Can remove some useless XML things
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
[37;41mFAILURES![0m
[37;41mTests: 5[0m[37;41m, Assertions: 13[0m[37;41m, Failures: 4[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
CrowdMetaAnalizer
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
[37;41mFAILURES![0m
[37;41mTests: 8[0m[37;41m, Assertions: 24[0m[37;41m, Failures: 8[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Answer object to create and encapsulate answers
[31m✘[0m 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
│
[31m✘[0m 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
│
[31m✘[0m 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
│
[33m✘[0m 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
[37;41mERRORS![0m
[37;41mTests: 4[0m[37;41m, Assertions: 9[0m[37;41m, Errors: 1[0m[37;41m, Failures: 3[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
KFWicomCardinalities
[32m✔[0m 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.
[32m✔[0m 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.
[33m∅[0m 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
[33m∅[0m tests reasoning services using racer reasoner looking for stricter cardinalities. Now N cardinality must become stricter. Only for Roles Subsumptions. Role names are different.
[30;43mOK, but incomplete, skipped, or risky tests![0m
[30;43mTests: 3[0m[30;43m, Assertions: 6[0m[30;43m, Incomplete: 1[0m[30;43m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
KFWicomRacer
[32m✔[0m tests reasoning services using racer reasoner with all possible queries
[32m✔[0m tests reasoning services using racer reasoner for looking possible inferred subs
[32m✔[0m tests reasoning services using racer reasoner with some unsat classes and roles
[32m✔[0m tests reasoning services using racer reasoner looking for stricter cardinalities
[32m✔[0m tests reasoning services using racer reasoner with all unsat classes and roles
[33m∅[0m tests reasoning services using racer reasoner. Looking for role subsets
Time: 237 ms, Memory: 6.00 MB
Summary of non-successful tests:
KFWicomRacer
[33m∅[0m tests reasoning services using racer reasoner. Looking for role subsets
[30;43mOK, but incomplete, skipped, or risky tests![0m
[30;43mTests: 6[0m[30;43m, Assertions: 15[0m[30;43m, Incomplete: 1[0m[30;43m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Wicom
[33m✘[0m 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
[37;41mERRORS![0m
[37;41mTests: 1[0m[37;41m, Assertions: 0[0m[37;41m, Errors: 1[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
KFWicomKonclude
[32m✔[0m tests reasoning services using konclude reasoner with all possible queries
[32m✔[0m tests reasoning services using konclude reasoner for looking possible inferred subs
[32m✔[0m tests reasoning services using konclude reasoner with some unsat classes and roles
[32m✔[0m tests reasoning services using konclude reasoner looking for stricter cardinalities
[32m✔[0m tests reasoning services using konclude reasoner with all unsat classes and roles
Time: 139 ms, Memory: 6.00 MB
[30;42mOK (5 tests, 15 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
UMLJSonDocument tests
[32m✔[0m Convert an empty UML into JSON.
[32m✔[0m Convert a UML class without attributes into JSON.
[32m✔[0m Convert an UML class with attributes into JSON
[32m✔[0m Convert an UML generalization into JSON.
[32m✔[0m Convert an UML association into JSON.
[32m✔[0m Convert UML into a JSON representation.
Time: 11 ms, Memory: 4.00 MB
[30;42mOK (6 tests, 18 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
DLMetaWithCard
[33m✘[0m 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
[37;41mERRORS![0m
[37;41mTests: 1[0m[37;41m, Assertions: 0[0m[37;41m, Errors: 1[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
DLMetaCheck
[33m✘[0m 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
[37;41mERRORS![0m
[37;41mTests: 1[0m[37;41m, Assertions: 0[0m[37;41m, Errors: 1[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Berardi
[32m✔[0m Translate a simple class into OWL 2
[32m✔[0m Translate a binary role into OWL 2
[32m✔[0m Translate a many to many role into OWL 2
[32m✔[0m Translate a generalization into OWL 2
[32m✔[0m Translate a disjoint generalizatio into OWL 2
[32m✔[0m Translate a covering generalization into OWL 2
[33m✘[0m 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
[33m✘[0m 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
│
[37;41mERRORS![0m
[37;41mTests: 7[0m[37;41m, Assertions: 6[0m[37;41m, Errors: 1[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
DLMeta
[33m✘[0m 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
[37;41mERRORS![0m
[37;41mTests: 1[0m[37;41m, Assertions: 0[0m[37;41m, Errors: 1[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
HTMLBuilder
[33m✘[0m 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
[37;41mERRORS![0m
[37;41mTests: 1[0m[37;41m, Assertions: 0[0m[37;41m, Errors: 1[0m[37;41m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
OWL2Document
[32m✔[0m Generate an OWL2 Subclass
Time: 11 ms, Memory: 4.00 MB
[30;42mOK (1 test, 33 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
OWLlink Document class.
[32m✔[0m Can create a base OWLlink document.
[32m✔[0m Can insert a CreateKB tag.
[32m✔[0m Can add BioOnto prefixes
[32m✔[0m Can insert some classes.
[32m✔[0m Can insert subclass relationships
Time: 28 ms, Memory: 4.00 MB
[30;42mOK (5 tests, 150 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
Builder
[32m✔[0m Translate o w llink attribute
Time: 12 ms, Memory: 4.00 MB
[30;42mOK (1 test, 69 assertions)[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
BackingFromReasoning
[33m☢[0m Full reasoning UML SubsumptionInferred CompareJSON
[33m☢[0m Full reasoning UML CardinalityInferred CompareJSON
Time: 30 ms, Memory: 6.00 MB
[30;43mOK, but incomplete, skipped, or risky tests![0m
[30;43mTests: 2[0m[30;43m, Assertions: 0[0m[30;43m, Risky: 2[0m[30;43m.[0m
PHPUnit 7.5.6 by Sebastian Bergmann and contributors.
PHPUnit\Framework\WarningTestCase
[33m✘[0m Warning
│
│ No tests found in class "WicomTest".
│
Time: 32 ms, Memory: 6.00 MB
[30;43mWARNINGS![0m
[30;43mTests: 1[0m[30;43m, Assertions: 0[0m[30;43m, Warnings: 1[0m[30;43m.[0m
Test failed.
Tests ended at mar feb 9 12:45:26 -03 2021