Recently, I submitted the first big paper on our #Python based approach for #FormalKnowledgeRepresentation.

If accepted, it will be #OpenAccess

The preprint is OA anyway:

https://www.preprints.org/manuscript/202401.0060/v1

The approach allows to model the content of mathematical theorems (such as Pythagoras) as nodes and edges in a #knowledgegraph

This is done via *qualifiers* – a concept borrowed from #Wikidata

#PyIRK

Medien: 1