Formal Representation of Scientific Knowledge

Abstract:

I introduce the Tetrapod conceptualization of formal knowledge, which separates knowledge into 4 specialized aspects (deduction, computation, data, and documentation).

Each aspect is typically leveraged in dedicated tools with little to no interoperability. This leads to the use of ontologies as a central mediating layer.I discuss the differences between the commonly used shallow ontologies (which represent a coarse model of the domain highly efficiently) and deep ones (which make the opposite trade-off).

Finally, I present the MMT systems as a deep ontology framework and a few case studies.