[main] INFO org.semanticweb.owlapi.io.DocumentSources - URL connection input stream is compressed using gzip
[main] INFO org.semanticweb.owlapi.io.DocumentSources - URL connection input stream is compressed using gzip
[main] INFO org.semanticweb.owlapi.io.DocumentSources - URL connection input stream is compressed using gzip
[main] INFO org.semanticweb.owlapi.io.DocumentSources - URL connection input stream is compressed using gzip
[main] INFO org.semanticweb.owlapi.io.DocumentSources - URL connection input stream is compressed using gzip
[main] INFO org.semanticweb.owlapi.io.DocumentSources - URL connection input stream is compressed using gzip

OWL2_DL: 4 violations
OWL2_QL: 459 violations
OWL2_EL: 748 violations
OWL2_RL: 397 violations
OWL2_FULL: 4 violations