Update authors
This commit is contained in:
parent
e511049ba8
commit
1fca5a37b7
|
@ -17,17 +17,17 @@
|
|||
%\author{<AUTHOR>}
|
||||
\titlerunning{Proving Ontology-Relations, Testing Ontology Instances}
|
||||
\author{Idir Ait-Sadoune}
|
||||
{LMF, CentraleSupelec, Université Paris-Saclay, France}
|
||||
{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, France}
|
||||
% {LMF, Université Paris-Saclay, Paris, France}
|
||||
% {nicolas.meric@universite-paris-saclay.fr}
|
||||
% {https://orcid.org/0000-0002-0756-7072}
|
||||
% {}
|
||||
%\author{Burkhart Wolff}
|
||||
% {LMF, Université Paris-Saclay, France}
|
||||
% {LMF, Université Paris-Saclay, Paris, France}
|
||||
% {burkhart.wolff@universite-paris-saclay.fr}
|
||||
% {}
|
||||
% {}
|
||||
|
|
|
@ -79,9 +79,17 @@ 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,email="\<open>idir.aitsadoune@lri.fr\<close>",affiliation="\<open>LMF, CentraleSupelec\<close>"]\<open>Idir Ait-Sadoune\<close>
|
||||
author*[nic,email="\<open>nicolas.meric@lri.fr\<close>",affiliation="\<open>LRI, Université Paris-Saclay\<close>"]\<open>Nicolas Méric\<close>
|
||||
author*[bu,email="\<open>wolff@lri.fr\<close>",affiliation = "\<open>LRI, Université Paris-Saclay\<close>"]\<open>Burkhart Wolff\<close>
|
||||
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>
|
||||
author*[nic,
|
||||
email ="\<open>nicolas.meric@universite-paris-saclay.fr\<close>",
|
||||
orcid ="''0000-0002-0756-7072''",
|
||||
affiliation ="\<open>LMF, Université Paris-Saclay, Paris, France\<close>"]\<open>Nicolas Méric\<close>
|
||||
author*[bu,
|
||||
email ="\<open>wolff@lri.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
|
||||
|
|
Loading…
Reference in New Issue