Mttbnchtt
Ontologist. Knowledge graph enginner. Researcher in formal logic, philosophy of mathematics, semantics of natural language.
ADP
Pinned Repositories
ecocore
An ontology of core ecological entities
envo
A community-driven ontology for the representation of environments
foodon
The core repository for the FOODON food ontology project. This holds the key classes of the ontology; larger files and the results of text-mining projects will be stored in other repos.
fibo
The Financial Industry Business Ontology (FIBO) defines the sets of things that are of interest in financial business applications and the ways that those things can relate to one another. In this way, FIBO can give meaning to any data (e.g., spreadsheets, relational databases, XML documents) that describe the business of finance.
geometry_subjects_overlap
Study adoption of geometric terms in non-geometric subjects.
latex-ontology-editing
latex-editing
Mttbnchtt
Config files for my GitHub profile.
ontology-and-proofs
Ontological analysis of mathematical proofs
obo-relations
RO is an ontology of relations for use with biological ontologies
sdgio
The repository for the Sustainable Development Goals Interface Ontology
Mttbnchtt's Repositories
Mttbnchtt/Mttbnchtt
Config files for my GitHub profile.
Mttbnchtt/ontology-and-proofs
Ontological analysis of mathematical proofs
Mttbnchtt/fibo
The Financial Industry Business Ontology (FIBO) defines the sets of things that are of interest in financial business applications and the ways that those things can relate to one another. In this way, FIBO can give meaning to any data (e.g., spreadsheets, relational databases, XML documents) that describe the business of finance.
Mttbnchtt/geometry_subjects_overlap
Study adoption of geometric terms in non-geometric subjects.
Mttbnchtt/latex-ontology-editing
latex-editing
Mttbnchtt/RMLStreamer
The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a streaming way.