As recently as the last decade or two, data-driven science workflows have become increasingly popular and semantic technology has been relied on to help align often parallel research efforts in the different domains and foster interoperability and data sharing. However, a key challenge is the size of the data and the pace at which it is being generated, so much that manual procedures lag behind. Thus, eliciting automation of most workflows. In this study, the effort is to continue investigating ways by which some tasks performed by experts in the nanotechnology domain, specifically in ontology engineering, could benefit from automation. An approach, featuring phrase-based topic modelling and formal topical concept analysis is further motivated, together with formal implication rules, to uncover new concepts and axioms relevant to two nanotechnology-related ontologies. A corpus of 2,715 nanotechnology research articles helps showcase that the approach can scale, as seen in a number of experiments conducted. The usefulness of document text ranking as an alternative form of input to topic models is highlighted as well as the benefit of implication rules to the task of concept discovery. In all, a total of 203 new concepts are uncovered by the approach to extend the referenced ontologies

Die Arbeit beschäftigt sich mit fast-idempotenten Halbringen, die eine Verallgemeinerung der idempotenten Halbringe darstellen. Es werden - ausgehend von Halbringen mit zwei Elementen - bis auf isomorphe Bilder sämtliche fast-idempotente Halbringe mit drei Elementen generiert, diejenigen Halbringe, die schon in durch zweielementige Halbringe erzeugten Varietäten liegen, aussortiert und die in den verbleibenden elf Halbringen gültigen Gleichungen charakterisiert. Der Verband L(IA3) der Varietäten generiert durch fast-idempotente Halbringe mit maximal drei Elementen wird mit Hilfe eines Kontexts mit 21 Halbringen als Attribute und 28 trennenden Gleichungen als Objekte vollständig bestimmt und besteht aus 19.901 Varietäten. Im Anschluss richtet sich der Fokus der Arbeit auf den Verband L(IA) der fast-idempotenten Halbringe. In diesem werden insbesondere die Varietät V = [xy = yx, xy = xy+x] und deren Untervarietäten V_k = [x^k = x^(k+1)], k >= 2; untersucht. Für all diese Varietäten wird jeweils eine Konstruktionsmethode für eine abzählbare Kette an Untervarietäten der gegebenen Varietät eingeführt und somit schließlich gezeigt, dass der Verband L(IA) aus mindestens abzählbar unendlich vielen Varietäten besteht.