Home Discussions3 of 7 messages view all » Completeness of classification results -- has anyone else noticed something similar to this and has an explanation ? By songweihong - Apr 8 - 1 author - 0 replies [hermit-users:4] Re: Internal error: fresh classes in class assertions are not compatible with incremental ABox loading! By philipp - Mar 20 - 2 authors - 4 replies HermiT 1.3.6 released By Jack - Feb 24 - 1 author - 0 replies Report this group   XML       Send email to this group: hermit-users@googlegroups.com