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

updating the last pargraph of proving morphisms on ontologies section
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Idir AIT SADOUNE 2022-04-12 16:45:07 +02:00
parent acbaa582ef
commit abeb2f7f5e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/scholarly_paper/2021-ITP-PMTI/paper.thy
View File

@ -1013,7 +1013,7 @@ meta-data into another format along an ontological mapping are nearly trivial: a
the invariant and the morphism definitions, the preservation proof is automatic. The advantage
of using the \<^dof> framework compared to approaches like ATL or EXPRESS-X is
the possibility of formally verifying the \<^emph>\<open>mapping rules\<close>. \<^ie> proving the preservation
of invariants, as we will demonstrate in the following example.\<close>
of invariants, as we have demonstrated in the previous example.\<close>
(*
section*[ontoexample::text_section,main_author="Some(@{docitem ''idir''}::author)"]