Matteo Bianchetti's repositories
ontology-and-proofs
Ontological analysis of mathematical proofs
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.
Language:HTMLMIT000
geometry_subjects_overlap
Study adoption of geometric terms in non-geometric subjects.
Language:PythonMIT000
latex-ontology-editing
latex-editing
Language:Python000
RMLStreamer
The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a streaming way.
MIT000