pub fn check_instance(
profile: ReasonerId,
input: &ReasonerInput,
individual_iri: &str,
class_iri: &str,
) -> Result<InstanceCheckResult>pub fn check_instance(
profile: ReasonerId,
input: &ReasonerInput,
individual_iri: &str,
class_iri: &str,
) -> Result<InstanceCheckResult>