History

Nicolas Méric 234ff18ec0 ci/woodpecker/push/build Pipeline failed Details Use a name space for Onto Classes - Use a name space table to store ontological class objects - Remove docclass_tab table and accesses		2023-02-15 17:49:29 +01:00
..
CC_ISO15408/PikeOS_study	Removed empty README.	2022-03-11 07:14:35 +00:00
CENELEC_50128	More formal management of ontologies in Isabelle/ML/Isar with output via Isabelle/Scala exports	2022-12-04 00:09:29 +01:00
cytology	Minor syntax cleanup.	2022-03-20 14:55:56 +00:00
scholarly_paper	Enable high-level invariants checking everywhere	2022-12-20 16:31:09 +01:00
technical_report	Use a name space for Onto Classes	2023-02-15 17:49:29 +01:00
README.md	Fixed file attributes.	2022-04-18 09:44:44 +01:00
ROOTS	Fixed file attributes.	2022-04-18 09:44:44 +01:00

Examples

Scholarly (Academic) Papers

The examples in the directory scholarly_paper
are examples of typical conference papers (usually, in computer science).

The examples in the directory technical_report
are examples of typical technical reports. This includes also the Isabelle/DOF User and Implementation Manual.