CarK :python:<p>Recently, I submitted the first big paper on our <a href="https://social.tchncs.de/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> :python: based approach for <a href="https://social.tchncs.de/tags/FormalKnowledgeRepresentation" class="mention hashtag" rel="tag">#<span>FormalKnowledgeRepresentation</span></a>. </p><p>If accepted, it will be <a href="https://social.tchncs.de/tags/OpenAccess" class="mention hashtag" rel="tag">#<span>OpenAccess</span></a> </p><p>The preprint is OA anyway:</p><p><a href="https://www.preprints.org/manuscript/202401.0060/v1" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">preprints.org/manuscript/20240</span><span class="invisible">1.0060/v1</span></a></p><p>The approach allows to model the content of mathematical theorems (such as Pythagoras) as nodes and edges in a <a href="https://social.tchncs.de/tags/knowledgegraph" class="mention hashtag" rel="tag">#<span>knowledgegraph</span></a> </p><p>This is done via *qualifiers* – a concept borrowed from <a href="https://social.tchncs.de/tags/Wikidata" class="mention hashtag" rel="tag">#<span>Wikidata</span></a> </p><p><a href="https://social.tchncs.de/tags/PyIRK" class="mention hashtag" rel="tag">#<span>PyIRK</span></a></p>