Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): IRIType QName EquivOrDisjoint DomainOrRange SameOrDifferent Relation Character PositiveOrNegative QuantifierType DatatypeCat CardinalityType Cardinality JunctionType Entity EntityType TypedOrUntyped Literal NNInt IntLit DecLit FloatLit ObjectPropertyExpression DataRange ClassExpression Annotation AnnotationValue ExtEntityType SymbItems SymbMapItems RawSymb Sign SignAxiom RoleKind RoleType DesKind DomainOrRangeOrFunc Extended ListFrameBit AnnoType AnnFrameBit Fact FrameBit Frame Axiom Ontology OntologyDocument OWLMorphism ProfSub NumberRestrictions OWLSub Profiles