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

First attempt to use lncs template
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Nicolas Méric 2022-04-04 16:34:40 +02:00
parent 258fcc2f8e
commit 8f2e194501
4 changed files with 29 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
examples/scholarly_paper/2021-ITP-PMTI/ROOT
View File

@ -8,6 +8,7 @@ session "2021-ITP-PMTI" = "Isabelle_DOF" +
"root.bib"
"preamble.tex"
"lipics-v2021.cls"
"spmpscinat.bst"
"cc-by.pdf"
"lipics-logo-bw.pdf"
"orcid.pdf"

2
examples/scholarly_paper/2021-ITP-PMTI/document/isadof.cfg
View File

@ -1,2 +1,2 @@
Template: lipics-v2021
Template: lncs
Ontology: scholarly_paper

33
examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex
View File

@ -12,15 +12,20 @@
\newcommand{\fixIsarList}{\vspace{-\topsep}\vspace{-\baselineskip}\mbox{}\\[0pt]\noindent}
\nolinenumbers
%\title{<TITLE>}
%\nolinenumbers
\title{<TITLE>}
%\author{<AUTHOR>}
\titlerunning{Proving Ontology-Relations, Testing Ontology Instances}
%\author{First Author\inst{1}\orcidID{0000-1111-2222-3333}}
%\author{First Author\inst{1}\orcidID{0000-1111-2222-3333} \and
%Second Author\inst{2,3}\orcidID{1111-2222-3333-4444}}
%\institute{Inst1}
%\institute{ Inst1 \and Inst2 \and Inst3}
%\titlerunning{Proving Ontology-Relations, Testing Ontology Instances}
\author{Idir Ait-Sadoune}
{LMF, CentraleSupélec, Université Paris-Saclay, Paris, France}
{idir.aitsadoune@centralesupelec.fr}
{https://orcid.org/0000-0002-6484-8276}
{}
% {LMF, CentraleSupélec, Université Paris-Saclay, Paris, France}
% {idir.aitsadoune@centralesupelec.fr}
% {https://orcid.org/0000-0002-6484-8276}
% {}
%\author{Nicolas Méric}
% {LMF, Université Paris-Saclay, Paris, France}
% {nicolas.meric@universite-paris-saclay.fr}
@ -31,10 +36,10 @@
% {burkhart.wolff@universite-paris-saclay.fr}
% {}
% {}
\Copyright{Idir Ait-Sadoune, Nicolas Méric, and Burkhart Wolff}
\authorrunning{I. Ait-Sadoune, N. Méric and B. Wolff}
\keywords{Ontologies, Formal Documents, Formal Development, Isabelle/HOL, Ontology Mapping}
\ccsdesc{Computing methodologies~Ontology engineering}
\ccsdesc{Information systems~Ontologies}
\ccsdesc{Theory of computation~Interactive proof systems}
\ccsdesc{Theory of computation~Higher order logic}
%\Copyright{Idir Ait-Sadoune, Nicolas Méric, and Burkhart Wolff}
%\authorrunning{I. Ait-Sadoune, N. Méric and B. Wolff}
%\keywords{Ontologies, Formal Documents, Formal Development, Isabelle/HOL, Ontology Mapping}
%\ccsdesc{Computing methodologies~Ontology engineering}
%\ccsdesc{Information systems~Ontologies}
%\ccsdesc{Theory of computation~Interactive proof systems}
%\ccsdesc{Theory of computation~Higher order logic}

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

@ -78,11 +78,13 @@ setup\<open>(* std_text_antiquotation \<^binding>\<open>my_text\<close> #
(*>*)
title*[tit::title]\<open>A Framework for Proving Ontology-Relations and Runtime Testing Ontology Instances\<close>
author*[idir,
(*author*[idir,
email ="\<open>idir.aitsadoune@centralesupelec.fr\<close>",
orcid ="''0000-0002-6484-8276''",
affiliation ="\<open>LMF, CentraleSupélec, Université Paris-Saclay, Paris, France\<close>"]\<open>Idir Ait-Sadoune\<close>
affiliation ="\<open>LMF, CentraleSupélec, Université Paris-Saclay, Paris, France\<close>"]\<open>Idir Ait-Sadoune\<close>*)
(*
author*[nic,
email ="\<open>nicolas.meric@universite-paris-saclay.fr\<close>",
orcid ="''0000-0002-0756-7072''",
@ -90,6 +92,7 @@ author*[nic,
author*[bu,
email ="\<open>wolff@universite-paris-saclay.fr\<close>",
affiliation = "\<open>LMF, Université Paris-Saclay, Paris, France\<close>"]\<open>Burkhart Wolff\<close>
abstract*[abs, keywordlist="[\<open>Ontologies\<close>,\<open>Formal Documents\<close>,\<open>Formal Development\<close>,\<open>\<^isabelle>\<close>,\<open>Ontology Mapping\<close>]"]
\<open> \<^dof> is a novel ontology framework on top of Isabelle
@ -115,8 +118,9 @@ abstract*[abs, keywordlist="[\<open>Ontologies\<close>,\<open>Formal Documents\<
the articles of the Archive of Formal Proofs.
\<close>
*)
section*[introheader::introduction,main_author="Some(@{author ''bu''})"]
section*[introheader::introduction]
\<open> Introduction \<close>
text*[introtext::introduction]\<open>
The linking of \<^emph>\<open>formal\<close> and \<^emph>\<open>informal\<close> information is perhaps the most pervasive challenge