closes #12, delete disjointWith axioms

Closes #12

See merge request !15

closes #4

Closes #4

See merge request !7

Closes issue 13

Closes #13

See merge request !8

closes #7 and #17

Closes #7 and #17

See merge request !13

Moved sources to labs.etsi.org/rep

See merge request !5

The dataset in the example document shall be Consistent. Violations are:

- [SubClassOf(<https://saref.etsi.org/saref4ener/Power> <https://saref.etsi.org/core/Power>), ObjectPropertyAssertion(<https://saref.etsi.org/core/isMeasuredIn> <https://saref.etsi.org/saref4envi/v1.1.2/example/example1ENVI/PowerTESS005-UCM> <http://www.wurvoc.org/vocabularies/om-1.8/watt>), ObjectPropertyDomain(<https://saref.etsi.org/core/isMeasuredIn> <https://saref.etsi.org/core/Measurement>), DisjointClasses(<https://saref.etsi.org/core/Measurement> <https://saref.etsi.org/core/Property>), SubClassOf(<https://saref.etsi.org/core/Power> <https://saref.etsi.org/core/Property>), ClassAssertion(<https://saref.etsi.org/saref4ener/Power> <https://saref.etsi.org/saref4envi/v1.1.2/example/example1ENVI/PowerTESS005-UCM>)]

The following terms are exemplified in SAREF4ENVI v1.1.2, but not defined in sources: saref:hasConsumption, saref:hasName