code: def skos_topConcept(rdf):
      
      for s, o in rdf.subject_objects(SKOS.hasTopConcept):
          rdf.add((o, SKOS.topConceptOf, s))
      for s, o in rdf.subject_objects(SKOS.topConceptOf):
          rdf.add((o, SKOS.hasTopConcept, s))
      for s, o in rdf.subject_objects(SKOS.topConceptOf):
          rdf.add((s, SKOS.inScheme, o))
docs: Infer skos:topConceptOf/skos:hasTopConcept (S8) and skos:inScheme (S7).