Filippo De Bortoli's repositories
emcl-topicsDL
Files from the "Further Topics in Description Logics" seminar held at TU Dresden in WS 2017/18.
thunderbird-send-then-archive
Thunderbird add-on that automatically archives the messages you replied to.
unitn-logmat
Dispense (incomplete) per il corso di Fondamenti di Logica Matematica tenuto presso l'UniversitĂ di Trento.
cowl
A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
DeBo-Bac-17
Report for the final exam of my Bachelor's Degree. Topic: Recursive domain equations from a categorical-theoretic perspective.
emcl-logicprog
(Incomplete) notes from the "Logic Programming" course held at TU Dresden in WS 2017/18.
enum_meta
Add metadata to all enum variants in rust
oxiri
Simple and fast implementation of IRI validation and relative IRI resolution
rio
RDF parsers library
unitn-statmat
Dispense per il corso di Fondamenti di Statistica Matematica tenuto presso l'UniversitĂ di Trento.
xsd-types
XSD Types for Rust