Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Initial commit.

This commit is contained in:
Achim D. Brucker 2024-04-26 02:37:29 +01:00
parent cd58f6b056
commit d9ba72a222
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
metadata.txt Normal file
View File

@ -0,0 +1,30 @@
Title: Isabelle/DOF
Short Name: Isabelle_DOF
Topics:
Computer science/Semantics and reasoning
License: BSD
Abstract: Isabelle/DOF provides an implementation of a document ontology framework on top of Isabelle/HOL. The framework allows both for defining ontologies and enforcing them during document development and document evolution. Isabelle/DOF targets use-cases such as mathematical texts referring to a theory development or technical reports requiring a particular structure. The documentation generation features are sufficiently powerful to typeset the most common cases without using LaTeX. Isabelle/DOF is integrated into Isabelle's IDE, which allows for smooth ontology development as well as immediate ontological conformance-checks during the editing of a document. Its checking facilities leverage the collaborative development of documents required to be consistent with an underlying ontological structure. This entry provides a user-manual with in-depth presentation of the design concepts of Isabelle/DOF's Ontology Definition Language (ODL) and describe comprehensively its major commands. Many examples show typical best-practice applications of the system.
Authors:
[brucker] Achim D. Brucker, [brucker_homepage] https://www.brucker.ch/
[meric] Nicolas Méric (ORCID id: 0000-0002-0756-7072), [meric_email] nicolas.meric@universite-paris-saclay.fr
[wolff] Burkhart Wolff, [wolff_email] burkhart.wolff@lri.fr
Contact:
[brucker] Achim D. Brucker, [brucker_email2] adbrucker@0x5f.org
[meric] Nicolas Méric (ORCID id: 0000-0002-0756-7072), [meric_email] nicolas.meric@universite-paris-saclay.fr
[wolff] Burkhart Wolff, [wolff_email] burkhart.wolff@lri.fr
Related Publications:
10.1007/978-3-319-96812-4_3
10.1007/978-3-030-30446-1_15
10.1007/978-3-030-34968-4_4