Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 5 Wiki Activity
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1222 Commits
7 Branches
24 MiB
 
 
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Isabelle_DOF/CITATION

42 lines
2.4 KiB
Raw Permalink Blame History 

  1. To cite Isabelle/DOF in publications, please use

  2. 

  3.   

  4.   Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, and Burkhart

  5.   Wolff. Using The Isabelle Ontology Framework: Linking the Formal

  6.   with the Informal. In Conference on Intelligent Computer Mathematics

  7.   (CICM). Lecture Notes in Computer Science, Springer-Verlag, 2018.

  8.   

  9. A BibTeX entry for LaTeX users is

  10. 

  11. @InCollection{ brucker.ea:isabelle-ontologies:2018,

  12. 	abstract  = {While Isabelle is mostly known as part of Isabelle/HOL (an 

  13.                      interactive theorem prover), it actually provides a framework

  14.                      for developing a wide spectrum of applications. A particular 

  15.                      strength of the Isabelle framework is the combination of text 

  16.                      editing, formal verification, and code generation.\\\\

  17.                      Up to now, Isabelle's document preparation system lacks a mechanism 

  18.                      for ensuring the structure of different document types (as, e.g.,

  19.                      required in certification processes) in general and, in particular,

  20.                      mechanism for linking informal and formal parts of a document.\\\\

  21.                      In this paper, we present Isabelle/DOF, a novel Document Ontology 

  22.                      Framework on top of Isabelle. Isabelle/DOF allows for conventional 

  23.                      typesetting \emph{as well} as formal development. We show how to model 

  24.                      document ontologies inside Isabelle/DOF, how to use the resulting 

  25.                      meta-information for enforcing a certain document structure, and discuss 

  26.                      ontology-specific IDE support.},

  27. 	address	  = {Heidelberg},

  28. 	author	  = {Achim D. Brucker and Idir Ait-Sadoune and Paolo Crisafulli and Burkhart Wolff},

  29. 	booktitle = {Conference on Intelligent Computer Mathematics (CICM)},

  30. 	doi	  = {10.1007/978-3-319-96812-4_3},

  31. 	keywords  = {Isabelle/Isar, HOL, Ontologies},

  32. 	language  = {USenglish},

  33. 	location  = {Hagenberg, Austria},

  34. 	number	  = {11006},

  35. 	pdf	  = {https://www.brucker.ch/bibliography/download/2018/brucker.ea-isabelle-ontologies-2018.pdf},

  36. 	publisher = {Springer-Verlag},

  37. 	series	  = {Lecture Notes in Computer Science},

  38. 	title	  = {Using the {Isabelle} Ontology Framework: Linking the Formal with the Informal},

  39. 	url	  = {https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelle-ontologies-2018},

  40. 	year	  = {2018},

  41. }