From 3c2bcf74a28725825cb84f954f83ec15704b1796 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 28 Feb 2021 22:07:26 +0100 Subject: [PATCH 01/22] Readded doc/emmodoc/pandoc-template.tex --- doc/emmodoc/pandoc-template.tex | 488 ++++++++++++++++++++++++++++++++ 1 file changed, 488 insertions(+) create mode 100644 doc/emmodoc/pandoc-template.tex diff --git a/doc/emmodoc/pandoc-template.tex b/doc/emmodoc/pandoc-template.tex new file mode 100644 index 00000000..6e317138 --- /dev/null +++ b/doc/emmodoc/pandoc-template.tex @@ -0,0 +1,488 @@ +%%% Start: +\PassOptionsToPackage{unicode=true}{hyperref} % options for packages loaded elsewhere +\PassOptionsToPackage{hyphens}{url} +$if(colorlinks)$ +\PassOptionsToPackage{dvipsnames,svgnames*,x11names*}{xcolor} +$endif$$if(dir)$$if(latex-dir-rtl)$ +\PassOptionsToPackage{RTLdocument}{bidi} +$endif$$endif$% +\documentclass[$if(fontsize)$$fontsize$,$endif$$if(lang)$$babel-lang$,$endif$$if(papersize)$$papersize$paper,$endif$$if(beamer)$ignorenonframetext,$if(handout)$handout,$endif$$if(aspectratio)$aspectratio=$aspectratio$,$endif$$endif$$for(classoption)$$classoption$$sep$,$endfor$]{$documentclass$} +\usepackage{graphicx} + +$if(beamer)$ +$if(background-image)$ +\usebackgroundtemplate{% +\includegraphics[width=\paperwidth]{$background-image$}% +} +$endif$ +\usepackage{pgfpages} +\setbeamertemplate{caption}[numbered] +\setbeamertemplate{caption label separator}{: } +\setbeamercolor{caption name}{fg=normal text.fg} +\beamertemplatenavigationsymbols$if(navigation)$$navigation$$else$empty$endif$ +$for(beameroption)$ +\setbeameroption{$beameroption$} +$endfor$ +% Prevent slide breaks in the middle of a paragraph: +\widowpenalties 1 10000 +\raggedbottom +$if(section-titles)$ +\setbeamertemplate{part page}{ +\centering +\begin{beamercolorbox}[sep=16pt,center]{part title} + \usebeamerfont{part title}\insertpart\par +\end{beamercolorbox} +} +\setbeamertemplate{section page}{ +\centering +\begin{beamercolorbox}[sep=12pt,center]{part title} + \usebeamerfont{section title}\insertsection\par +\end{beamercolorbox} +} +\setbeamertemplate{subsection page}{ +\centering +\begin{beamercolorbox}[sep=8pt,center]{part title} + \usebeamerfont{subsection title}\insertsubsection\par +\end{beamercolorbox} +} +\AtBeginPart{ + \frame{\partpage} +} +\AtBeginSection{ + \ifbibliography + \else + \frame{\sectionpage} + \fi +} +\AtBeginSubsection{ + \frame{\subsectionpage} +} +$endif$ +$endif$ +$if(beamerarticle)$ +\usepackage{beamerarticle} % needs to be loaded first +$endif$ +$if(fontfamily)$ +\usepackage[$for(fontfamilyoptions)$$fontfamilyoptions$$sep$,$endfor$]{$fontfamily$} +$else$ +\usepackage{lmodern} +$endif$ +$if(linestretch)$ +\usepackage{setspace} +\setstretch{$linestretch$} +$endif$ +\usepackage{amssymb,amsmath} +\usepackage{ifxetex,ifluatex} +\usepackage{fixltx2e} % provides \textsubscript +\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex + \usepackage[$if(fontenc)$$fontenc$$else$T1$endif$]{fontenc} + \usepackage[utf8]{inputenc} + \usepackage{textcomp} % provides euro and other symbols +\else % if luatex or xelatex +$if(mathspec)$ + \ifxetex + \usepackage{mathspec} + \else + \usepackage{unicode-math} + \fi +$else$ + \usepackage{unicode-math} +$endif$ + \defaultfontfeatures{Ligatures=TeX,Scale=MatchLowercase} +$for(fontfamilies)$ + \newfontfamily{$fontfamilies.name$}[$fontfamilies.options$]{$fontfamilies.font$} +$endfor$ +$if(mainfont)$ + \setmainfont[$for(mainfontoptions)$$mainfontoptions$$sep$,$endfor$]{$mainfont$} +$endif$ +$if(sansfont)$ + \setsansfont[$for(sansfontoptions)$$sansfontoptions$$sep$,$endfor$]{$sansfont$} +$endif$ +$if(monofont)$ + \setmonofont[Mapping=tex-ansi$if(monofontoptions)$,$for(monofontoptions)$$monofontoptions$$sep$,$endfor$$endif$]{$monofont$} +$endif$ +$if(mathfont)$ +$if(mathspec)$ + \ifxetex + \setmathfont(Digits,Latin,Greek)[$for(mathfontoptions)$$mathfontoptions$$sep$,$endfor$]{$mathfont$} + \else + \setmathfont[$for(mathfontoptions)$$mathfontoptions$$sep$,$endfor$]{$mathfont$} + \fi +$else$ + \setmathfont[$for(mathfontoptions)$$mathfontoptions$$sep$,$endfor$]{$mathfont$} +$endif$ +$endif$ +$if(CJKmainfont)$ + \ifxetex + \usepackage{xeCJK} + \setCJKmainfont[$for(CJKoptions)$$CJKoptions$$sep$,$endfor$]{$CJKmainfont$} + \fi +$endif$ +$if(luatexjapresetoptions)$ + \ifluatex + \usepackage[$for(luatexjapresetoptions)$$luatexjapresetoptions$$sep$,$endfor$]{luatexja-preset} + \fi +$endif$ +$if(CJKmainfont)$ + \ifluatex + \usepackage[$for(luatexjafontspecoptions)$$luatexjafontspecoptions$$sep$,$endfor$]{luatexja-fontspec} + \setmainjfont[$for(CJKoptions)$$CJKoptions$$sep$,$endfor$]{$CJKmainfont$} + \fi +$endif$ +\fi +$if(beamer)$ +$if(theme)$ +\usetheme[$for(themeoptions)$$themeoptions$$sep$,$endfor$]{$theme$} +$endif$ +$if(colortheme)$ +\usecolortheme{$colortheme$} +$endif$ +$if(fonttheme)$ +\usefonttheme{$fonttheme$} +$endif$ +$if(mainfont)$ +\usefonttheme{serif} % use mainfont rather than sansfont for slide text +$endif$ +$if(innertheme)$ +\useinnertheme{$innertheme$} +$endif$ +$if(outertheme)$ +\useoutertheme{$outertheme$} +$endif$ +$endif$ +% use upquote if available, for straight quotes in verbatim environments +\IfFileExists{upquote.sty}{\usepackage{upquote}}{} +% use microtype if available +\IfFileExists{microtype.sty}{% +\usepackage[$for(microtypeoptions)$$microtypeoptions$$sep$,$endfor$]{microtype} +\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts +}{} +$if(indent)$ +$else$ +\IfFileExists{parskip.sty}{% +\usepackage{parskip} +}{% else +\setlength{\parindent}{0pt} +\setlength{\parskip}{6pt plus 2pt minus 1pt} +} +$endif$ +$if(verbatim-in-note)$ +\usepackage{fancyvrb} +$endif$ +$if(colorlinks)$ +\usepackage{xcolor} +$endif$ +\usepackage{hyperref} +\hypersetup{ +$if(title-meta)$ + pdftitle={$title-meta$}, +$endif$ +$if(subject-meta)$ + pdfsubject={$subject-meta$}, +$endif$ +$if(author)$ + pdfauthor={$for(author)$$author.name$$sep$, $endfor$}, +$endif$ +$if(keywords)$ + pdfkeywords={$for(keywords)$$keywords$$sep$, $endfor$}, +$endif$ +$if(colorlinks)$ + colorlinks=true, + linkcolor=$if(linkcolor)$$linkcolor$$else$Maroon$endif$, + filecolor=$if(filecolor)$$filecolor$$else$Maroon$endif$, + citecolor=$if(citecolor)$$citecolor$$else$Blue$endif$, + urlcolor=$if(urlcolor)$$urlcolor$$else$Blue$endif$, +$else$ + pdfborder={0 0 0}, +$endif$ + breaklinks=true} +\urlstyle{same} % don't use monospace font for urls +$if(verbatim-in-note)$ +\VerbatimFootnotes % allows verbatim text in footnotes +$endif$ +$if(geometry)$ +\usepackage[$for(geometry)$$geometry$$sep$,$endfor$]{geometry} +$endif$ +$if(beamer)$ +\newif\ifbibliography +$endif$ +$if(listings)$ +\usepackage{listings} +\newcommand{\passthrough}[1]{#1} +$endif$ +$if(lhs)$ +\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{} +$endif$ +$if(highlighting-macros)$ +$highlighting-macros$ +$endif$ +$if(tables)$ +\usepackage{longtable,booktabs} +$if(beamer)$ +\usepackage{caption} +% These lines are needed to make table captions work with longtable: +\makeatletter +\def\fnum@table{\tablename~\thetable} +\makeatother +$else$ +% Fix footnotes in tables (requires footnote package) +\IfFileExists{footnote.sty}{\usepackage{footnote}\makesavenoteenv{longtable}}{} +$endif$ +$endif$ +$if(graphics)$ +\usepackage{graphicx,grffile} +\makeatletter +\def\maxwidth{\ifdim\Gin@nat@width>\linewidth\linewidth\else\Gin@nat@width\fi} +\def\maxheight{\ifdim\Gin@nat@height>\textheight\textheight\else\Gin@nat@height\fi} +\makeatother +% Scale images if necessary, so that they will not overflow the page +% margins by default, and it is still possible to overwrite the defaults +% using explicit options in \includegraphics[width, height, ...]{} +\setkeys{Gin}{width=\maxwidth,height=\maxheight,keepaspectratio} +$endif$ +$if(links-as-notes)$ +% Make links footnotes instead of hotlinks: +\DeclareRobustCommand{\href}[2]{#2\footnote{\url{#1}}} +$endif$ +$if(strikeout)$ +\usepackage[normalem]{ulem} +% avoid problems with \sout in headers with hyperref: +\pdfstringdefDisableCommands{\renewcommand{\sout}{}} +$endif$ +\setlength{\emergencystretch}{3em} % prevent overfull lines +\providecommand{\tightlist}{% + \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}} +$if(numbersections)$ +\setcounter{secnumdepth}{$if(secnumdepth)$$secnumdepth$$else$5$endif$} +$else$ +\setcounter{secnumdepth}{0} +$endif$ +$if(beamer)$ +$else$ +$if(subparagraph)$ +$else$ +% Redefines (sub)paragraphs to behave more like sections +\ifx\paragraph\undefined\else +\let\oldparagraph\paragraph +\renewcommand{\paragraph}[1]{\oldparagraph{#1}\mbox{}} +\fi +\ifx\subparagraph\undefined\else +\let\oldsubparagraph\subparagraph +\renewcommand{\subparagraph}[1]{\oldsubparagraph{#1}\mbox{}} +\fi +$endif$ +$endif$ +$if(pagestyle)$ +\pagestyle{$pagestyle$} +$endif$ + +% set default figure placement to htbp +\makeatletter +\def\fps@figure{htbp} +\makeatother + +$for(header-includes)$ +$header-includes$ +$endfor$ +$if(lang)$ +\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex + \usepackage[shorthands=off,$for(babel-otherlangs)$$babel-otherlangs$,$endfor$main=$babel-lang$]{babel} +$if(babel-newcommands)$ + $babel-newcommands$ +$endif$ +\else + % load polyglossia as late as possible as it *could* call bidi if RTL lang (e.g. Hebrew or Arabic) + \usepackage{polyglossia} + \setmainlanguage[$polyglossia-lang.options$]{$polyglossia-lang.name$} +$for(polyglossia-otherlangs)$ + \setotherlanguage[$polyglossia-otherlangs.options$]{$polyglossia-otherlangs.name$} +$endfor$ +\fi +$endif$ +$if(dir)$ +\ifxetex + % load bidi as late as possible as it modifies e.g. graphicx + \usepackage{bidi} +\fi +\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex + \TeXXeTstate=1 + \newcommand{\RL}[1]{\beginR #1\endR} + \newcommand{\LR}[1]{\beginL #1\endL} + \newenvironment{RTL}{\beginR}{\endR} + \newenvironment{LTR}{\beginL}{\endL} +\fi +$endif$ +$if(natbib)$ +\usepackage[$natbiboptions$]{natbib} +\bibliographystyle{$if(biblio-style)$$biblio-style$$else$plainnat$endif$} +$endif$ +$if(biblatex)$ +\usepackage[$if(biblio-style)$style=$biblio-style$,$endif$$for(biblatexoptions)$$biblatexoptions$$sep$,$endfor$]{biblatex} +$for(bibliography)$ +\addbibresource{$bibliography$} +$endfor$ +$endif$ + +$if(subject)$ +\providecommand{\subject}[1]{} +\subject{$subject$} +$endif$ +$if(title)$ +\title{$title$$if(thanks)$\thanks{$thanks$}$endif$} +$endif$ +$if(subtitle)$ +\providecommand{\subtitle}[1]{} +\subtitle{$subtitle$} +$endif$ +$if(author)$ +\author{$for(author)$$author.name$$sep$ \and $endfor$} +$endif$ +$if(institute)$ +\providecommand{\institute}[1]{} +\institute{$for(institute)$$institute$$sep$ \and $endfor$} +$endif$ +\date{$date$} +$if(beamer)$ +$if(titlegraphic)$ +\titlegraphic{\includegraphics{$titlegraphic$}} +$endif$ +$if(logo)$ +\logo{\includegraphics{$logo$}} +$endif$ +$endif$ + +\begin{document} +$if(title)$ +$if(beamer)$ +\frame{\titlepage} +$else$ +%\maketitle +% Create our custom title page +\begin{titlepage} + \centering + $if(subject)$ + {\scshape $subject$\par}\vspace{0.5cm} + $endif$ + $if(title)$ + {\huge\bfseries $title$\par}\vspace{0.4cm} + $endif$ + $if(subtitle)$ + {\scshape\LARGE $subtitle$\par}\vspace{2cm} + $endif$ + $if(version)$ + {\scshape\LARGE Version $version$\par}\vspace{1cm} + $endif$ + \par + $if(institute)$ + {\Large $for(institute)$$institute$$sep$, $endfor$\par}\vspace{0.2cm} + $endif$ + \par + $if(logo)$ + \includegraphics[width=0.12\textwidth]{$logo$}\par\vspace{1cm} + $endif$ + $if(date)$ + {\large $date$\par}\vspace{2cm} + $endif$ + $if(titlegraphic)$ + \includegraphics[width=\linewidth]{$titlegraphic$}\par\vspace{0.5cm} + $endif$ +\end{titlepage} +\thispagestyle{empty} +$endif$ +$if(abstract)$ +\begin{abstract} +$abstract$ +$if(keywords)$ +{% + \par\vspace{1cm} + {\bf Keywords:} $for(keywords)$$keywords$$sep$, $endfor$ +} +$endif$ + +$if(author)$ +{ + \par\vspace{4cm} + \raggedleft + Authors:\par + \itshape + $for(author)$$author.name$, $author.affiliation$\par $endfor$ +} +$endif$ +\end{abstract} +$endif$ +$endif$ + +$for(include-before)$ +$include-before$ + +$endfor$ +$if(toc)$ +$if(toc-title)$ +\renewcommand*\contentsname{$toc-title$} +$endif$ +$if(beamer)$ +\begin{frame} +$if(toc-title)$ +\frametitle{$toc-title$} +$endif$ +\tableofcontents[hideallsubsections] +\end{frame} +$else$ +{ +$if(colorlinks)$ +\hypersetup{linkcolor=$if(toccolor)$$toccolor$$else$$endif$} +$endif$ +\setcounter{tocdepth}{$toc-depth$} +\tableofcontents +} +$endif$ +$endif$ +$if(lot)$ +\listoftables +$endif$ +$if(lof)$ +\listoffigures +$endif$ +$body$ + +$if(natbib)$ +$if(bibliography)$ +$if(biblio-title)$ +$if(book-class)$ +\renewcommand\bibname{$biblio-title$} +$else$ +\renewcommand\refname{$biblio-title$} +$endif$ +$endif$ +$if(beamer)$ +\begin{frame}[allowframebreaks]{$biblio-title$} +\bibliographytrue +$endif$ +\bibliography{$for(bibliography)$$bibliography$$sep$,$endfor$} +$if(beamer)$ +\end{frame} +$endif$ + +$endif$ +$endif$ +$if(biblatex)$ +$if(beamer)$ +\begin{frame}[allowframebreaks]{$biblio-title$} +\bibliographytrue +\printbibliography[heading=none] +\end{frame} +$else$ +\printbibliography$if(biblio-title)$[title=$biblio-title$]$endif$ +$endif$ + +$endif$ +$for(include-after)$ +$include-after$ + +$endfor$ +\end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: From 0a64bc3fe379b4b469ee3158ed3e2bae10db90ba Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 28 Feb 2021 22:13:24 +0100 Subject: [PATCH 02/22] Revert "Readded doc/emmodoc/pandoc-template.tex" This reverts commit 3c2bcf74a28725825cb84f954f83ec15704b1796. --- doc/emmodoc/pandoc-template.tex | 488 -------------------------------- 1 file changed, 488 deletions(-) delete mode 100644 doc/emmodoc/pandoc-template.tex diff --git a/doc/emmodoc/pandoc-template.tex b/doc/emmodoc/pandoc-template.tex deleted file mode 100644 index 6e317138..00000000 --- a/doc/emmodoc/pandoc-template.tex +++ /dev/null @@ -1,488 +0,0 @@ -%%% Start: -\PassOptionsToPackage{unicode=true}{hyperref} % options for packages loaded elsewhere -\PassOptionsToPackage{hyphens}{url} -$if(colorlinks)$ -\PassOptionsToPackage{dvipsnames,svgnames*,x11names*}{xcolor} -$endif$$if(dir)$$if(latex-dir-rtl)$ -\PassOptionsToPackage{RTLdocument}{bidi} -$endif$$endif$% -\documentclass[$if(fontsize)$$fontsize$,$endif$$if(lang)$$babel-lang$,$endif$$if(papersize)$$papersize$paper,$endif$$if(beamer)$ignorenonframetext,$if(handout)$handout,$endif$$if(aspectratio)$aspectratio=$aspectratio$,$endif$$endif$$for(classoption)$$classoption$$sep$,$endfor$]{$documentclass$} -\usepackage{graphicx} - -$if(beamer)$ -$if(background-image)$ -\usebackgroundtemplate{% -\includegraphics[width=\paperwidth]{$background-image$}% -} -$endif$ -\usepackage{pgfpages} -\setbeamertemplate{caption}[numbered] -\setbeamertemplate{caption label separator}{: } -\setbeamercolor{caption name}{fg=normal text.fg} -\beamertemplatenavigationsymbols$if(navigation)$$navigation$$else$empty$endif$ -$for(beameroption)$ -\setbeameroption{$beameroption$} -$endfor$ -% Prevent slide breaks in the middle of a paragraph: -\widowpenalties 1 10000 -\raggedbottom -$if(section-titles)$ -\setbeamertemplate{part page}{ -\centering -\begin{beamercolorbox}[sep=16pt,center]{part title} - \usebeamerfont{part title}\insertpart\par -\end{beamercolorbox} -} -\setbeamertemplate{section page}{ -\centering -\begin{beamercolorbox}[sep=12pt,center]{part title} - \usebeamerfont{section title}\insertsection\par -\end{beamercolorbox} -} -\setbeamertemplate{subsection page}{ -\centering -\begin{beamercolorbox}[sep=8pt,center]{part title} - \usebeamerfont{subsection title}\insertsubsection\par -\end{beamercolorbox} -} -\AtBeginPart{ - \frame{\partpage} -} -\AtBeginSection{ - \ifbibliography - \else - \frame{\sectionpage} - \fi -} -\AtBeginSubsection{ - \frame{\subsectionpage} -} -$endif$ -$endif$ -$if(beamerarticle)$ -\usepackage{beamerarticle} % needs to be loaded first -$endif$ -$if(fontfamily)$ -\usepackage[$for(fontfamilyoptions)$$fontfamilyoptions$$sep$,$endfor$]{$fontfamily$} -$else$ -\usepackage{lmodern} -$endif$ -$if(linestretch)$ -\usepackage{setspace} -\setstretch{$linestretch$} -$endif$ -\usepackage{amssymb,amsmath} -\usepackage{ifxetex,ifluatex} -\usepackage{fixltx2e} % provides \textsubscript -\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex - \usepackage[$if(fontenc)$$fontenc$$else$T1$endif$]{fontenc} - \usepackage[utf8]{inputenc} - \usepackage{textcomp} % provides euro and other symbols -\else % if luatex or xelatex -$if(mathspec)$ - \ifxetex - \usepackage{mathspec} - \else - \usepackage{unicode-math} - \fi -$else$ - \usepackage{unicode-math} -$endif$ - \defaultfontfeatures{Ligatures=TeX,Scale=MatchLowercase} -$for(fontfamilies)$ - \newfontfamily{$fontfamilies.name$}[$fontfamilies.options$]{$fontfamilies.font$} -$endfor$ -$if(mainfont)$ - \setmainfont[$for(mainfontoptions)$$mainfontoptions$$sep$,$endfor$]{$mainfont$} -$endif$ -$if(sansfont)$ - \setsansfont[$for(sansfontoptions)$$sansfontoptions$$sep$,$endfor$]{$sansfont$} -$endif$ -$if(monofont)$ - \setmonofont[Mapping=tex-ansi$if(monofontoptions)$,$for(monofontoptions)$$monofontoptions$$sep$,$endfor$$endif$]{$monofont$} -$endif$ -$if(mathfont)$ -$if(mathspec)$ - \ifxetex - \setmathfont(Digits,Latin,Greek)[$for(mathfontoptions)$$mathfontoptions$$sep$,$endfor$]{$mathfont$} - \else - \setmathfont[$for(mathfontoptions)$$mathfontoptions$$sep$,$endfor$]{$mathfont$} - \fi -$else$ - \setmathfont[$for(mathfontoptions)$$mathfontoptions$$sep$,$endfor$]{$mathfont$} -$endif$ -$endif$ -$if(CJKmainfont)$ - \ifxetex - \usepackage{xeCJK} - \setCJKmainfont[$for(CJKoptions)$$CJKoptions$$sep$,$endfor$]{$CJKmainfont$} - \fi -$endif$ -$if(luatexjapresetoptions)$ - \ifluatex - \usepackage[$for(luatexjapresetoptions)$$luatexjapresetoptions$$sep$,$endfor$]{luatexja-preset} - \fi -$endif$ -$if(CJKmainfont)$ - \ifluatex - \usepackage[$for(luatexjafontspecoptions)$$luatexjafontspecoptions$$sep$,$endfor$]{luatexja-fontspec} - \setmainjfont[$for(CJKoptions)$$CJKoptions$$sep$,$endfor$]{$CJKmainfont$} - \fi -$endif$ -\fi -$if(beamer)$ -$if(theme)$ -\usetheme[$for(themeoptions)$$themeoptions$$sep$,$endfor$]{$theme$} -$endif$ -$if(colortheme)$ -\usecolortheme{$colortheme$} -$endif$ -$if(fonttheme)$ -\usefonttheme{$fonttheme$} -$endif$ -$if(mainfont)$ -\usefonttheme{serif} % use mainfont rather than sansfont for slide text -$endif$ -$if(innertheme)$ -\useinnertheme{$innertheme$} -$endif$ -$if(outertheme)$ -\useoutertheme{$outertheme$} -$endif$ -$endif$ -% use upquote if available, for straight quotes in verbatim environments -\IfFileExists{upquote.sty}{\usepackage{upquote}}{} -% use microtype if available -\IfFileExists{microtype.sty}{% -\usepackage[$for(microtypeoptions)$$microtypeoptions$$sep$,$endfor$]{microtype} -\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts -}{} -$if(indent)$ -$else$ -\IfFileExists{parskip.sty}{% -\usepackage{parskip} -}{% else -\setlength{\parindent}{0pt} -\setlength{\parskip}{6pt plus 2pt minus 1pt} -} -$endif$ -$if(verbatim-in-note)$ -\usepackage{fancyvrb} -$endif$ -$if(colorlinks)$ -\usepackage{xcolor} -$endif$ -\usepackage{hyperref} -\hypersetup{ -$if(title-meta)$ - pdftitle={$title-meta$}, -$endif$ -$if(subject-meta)$ - pdfsubject={$subject-meta$}, -$endif$ -$if(author)$ - pdfauthor={$for(author)$$author.name$$sep$, $endfor$}, -$endif$ -$if(keywords)$ - pdfkeywords={$for(keywords)$$keywords$$sep$, $endfor$}, -$endif$ -$if(colorlinks)$ - colorlinks=true, - linkcolor=$if(linkcolor)$$linkcolor$$else$Maroon$endif$, - filecolor=$if(filecolor)$$filecolor$$else$Maroon$endif$, - citecolor=$if(citecolor)$$citecolor$$else$Blue$endif$, - urlcolor=$if(urlcolor)$$urlcolor$$else$Blue$endif$, -$else$ - pdfborder={0 0 0}, -$endif$ - breaklinks=true} -\urlstyle{same} % don't use monospace font for urls -$if(verbatim-in-note)$ -\VerbatimFootnotes % allows verbatim text in footnotes -$endif$ -$if(geometry)$ -\usepackage[$for(geometry)$$geometry$$sep$,$endfor$]{geometry} -$endif$ -$if(beamer)$ -\newif\ifbibliography -$endif$ -$if(listings)$ -\usepackage{listings} -\newcommand{\passthrough}[1]{#1} -$endif$ -$if(lhs)$ -\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{} -$endif$ -$if(highlighting-macros)$ -$highlighting-macros$ -$endif$ -$if(tables)$ -\usepackage{longtable,booktabs} -$if(beamer)$ -\usepackage{caption} -% These lines are needed to make table captions work with longtable: -\makeatletter -\def\fnum@table{\tablename~\thetable} -\makeatother -$else$ -% Fix footnotes in tables (requires footnote package) -\IfFileExists{footnote.sty}{\usepackage{footnote}\makesavenoteenv{longtable}}{} -$endif$ -$endif$ -$if(graphics)$ -\usepackage{graphicx,grffile} -\makeatletter -\def\maxwidth{\ifdim\Gin@nat@width>\linewidth\linewidth\else\Gin@nat@width\fi} -\def\maxheight{\ifdim\Gin@nat@height>\textheight\textheight\else\Gin@nat@height\fi} -\makeatother -% Scale images if necessary, so that they will not overflow the page -% margins by default, and it is still possible to overwrite the defaults -% using explicit options in \includegraphics[width, height, ...]{} -\setkeys{Gin}{width=\maxwidth,height=\maxheight,keepaspectratio} -$endif$ -$if(links-as-notes)$ -% Make links footnotes instead of hotlinks: -\DeclareRobustCommand{\href}[2]{#2\footnote{\url{#1}}} -$endif$ -$if(strikeout)$ -\usepackage[normalem]{ulem} -% avoid problems with \sout in headers with hyperref: -\pdfstringdefDisableCommands{\renewcommand{\sout}{}} -$endif$ -\setlength{\emergencystretch}{3em} % prevent overfull lines -\providecommand{\tightlist}{% - \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}} -$if(numbersections)$ -\setcounter{secnumdepth}{$if(secnumdepth)$$secnumdepth$$else$5$endif$} -$else$ -\setcounter{secnumdepth}{0} -$endif$ -$if(beamer)$ -$else$ -$if(subparagraph)$ -$else$ -% Redefines (sub)paragraphs to behave more like sections -\ifx\paragraph\undefined\else -\let\oldparagraph\paragraph -\renewcommand{\paragraph}[1]{\oldparagraph{#1}\mbox{}} -\fi -\ifx\subparagraph\undefined\else -\let\oldsubparagraph\subparagraph -\renewcommand{\subparagraph}[1]{\oldsubparagraph{#1}\mbox{}} -\fi -$endif$ -$endif$ -$if(pagestyle)$ -\pagestyle{$pagestyle$} -$endif$ - -% set default figure placement to htbp -\makeatletter -\def\fps@figure{htbp} -\makeatother - -$for(header-includes)$ -$header-includes$ -$endfor$ -$if(lang)$ -\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex - \usepackage[shorthands=off,$for(babel-otherlangs)$$babel-otherlangs$,$endfor$main=$babel-lang$]{babel} -$if(babel-newcommands)$ - $babel-newcommands$ -$endif$ -\else - % load polyglossia as late as possible as it *could* call bidi if RTL lang (e.g. Hebrew or Arabic) - \usepackage{polyglossia} - \setmainlanguage[$polyglossia-lang.options$]{$polyglossia-lang.name$} -$for(polyglossia-otherlangs)$ - \setotherlanguage[$polyglossia-otherlangs.options$]{$polyglossia-otherlangs.name$} -$endfor$ -\fi -$endif$ -$if(dir)$ -\ifxetex - % load bidi as late as possible as it modifies e.g. graphicx - \usepackage{bidi} -\fi -\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex - \TeXXeTstate=1 - \newcommand{\RL}[1]{\beginR #1\endR} - \newcommand{\LR}[1]{\beginL #1\endL} - \newenvironment{RTL}{\beginR}{\endR} - \newenvironment{LTR}{\beginL}{\endL} -\fi -$endif$ -$if(natbib)$ -\usepackage[$natbiboptions$]{natbib} -\bibliographystyle{$if(biblio-style)$$biblio-style$$else$plainnat$endif$} -$endif$ -$if(biblatex)$ -\usepackage[$if(biblio-style)$style=$biblio-style$,$endif$$for(biblatexoptions)$$biblatexoptions$$sep$,$endfor$]{biblatex} -$for(bibliography)$ -\addbibresource{$bibliography$} -$endfor$ -$endif$ - -$if(subject)$ -\providecommand{\subject}[1]{} -\subject{$subject$} -$endif$ -$if(title)$ -\title{$title$$if(thanks)$\thanks{$thanks$}$endif$} -$endif$ -$if(subtitle)$ -\providecommand{\subtitle}[1]{} -\subtitle{$subtitle$} -$endif$ -$if(author)$ -\author{$for(author)$$author.name$$sep$ \and $endfor$} -$endif$ -$if(institute)$ -\providecommand{\institute}[1]{} -\institute{$for(institute)$$institute$$sep$ \and $endfor$} -$endif$ -\date{$date$} -$if(beamer)$ -$if(titlegraphic)$ -\titlegraphic{\includegraphics{$titlegraphic$}} -$endif$ -$if(logo)$ -\logo{\includegraphics{$logo$}} -$endif$ -$endif$ - -\begin{document} -$if(title)$ -$if(beamer)$ -\frame{\titlepage} -$else$ -%\maketitle -% Create our custom title page -\begin{titlepage} - \centering - $if(subject)$ - {\scshape $subject$\par}\vspace{0.5cm} - $endif$ - $if(title)$ - {\huge\bfseries $title$\par}\vspace{0.4cm} - $endif$ - $if(subtitle)$ - {\scshape\LARGE $subtitle$\par}\vspace{2cm} - $endif$ - $if(version)$ - {\scshape\LARGE Version $version$\par}\vspace{1cm} - $endif$ - \par - $if(institute)$ - {\Large $for(institute)$$institute$$sep$, $endfor$\par}\vspace{0.2cm} - $endif$ - \par - $if(logo)$ - \includegraphics[width=0.12\textwidth]{$logo$}\par\vspace{1cm} - $endif$ - $if(date)$ - {\large $date$\par}\vspace{2cm} - $endif$ - $if(titlegraphic)$ - \includegraphics[width=\linewidth]{$titlegraphic$}\par\vspace{0.5cm} - $endif$ -\end{titlepage} -\thispagestyle{empty} -$endif$ -$if(abstract)$ -\begin{abstract} -$abstract$ -$if(keywords)$ -{% - \par\vspace{1cm} - {\bf Keywords:} $for(keywords)$$keywords$$sep$, $endfor$ -} -$endif$ - -$if(author)$ -{ - \par\vspace{4cm} - \raggedleft - Authors:\par - \itshape - $for(author)$$author.name$, $author.affiliation$\par $endfor$ -} -$endif$ -\end{abstract} -$endif$ -$endif$ - -$for(include-before)$ -$include-before$ - -$endfor$ -$if(toc)$ -$if(toc-title)$ -\renewcommand*\contentsname{$toc-title$} -$endif$ -$if(beamer)$ -\begin{frame} -$if(toc-title)$ -\frametitle{$toc-title$} -$endif$ -\tableofcontents[hideallsubsections] -\end{frame} -$else$ -{ -$if(colorlinks)$ -\hypersetup{linkcolor=$if(toccolor)$$toccolor$$else$$endif$} -$endif$ -\setcounter{tocdepth}{$toc-depth$} -\tableofcontents -} -$endif$ -$endif$ -$if(lot)$ -\listoftables -$endif$ -$if(lof)$ -\listoffigures -$endif$ -$body$ - -$if(natbib)$ -$if(bibliography)$ -$if(biblio-title)$ -$if(book-class)$ -\renewcommand\bibname{$biblio-title$} -$else$ -\renewcommand\refname{$biblio-title$} -$endif$ -$endif$ -$if(beamer)$ -\begin{frame}[allowframebreaks]{$biblio-title$} -\bibliographytrue -$endif$ -\bibliography{$for(bibliography)$$bibliography$$sep$,$endfor$} -$if(beamer)$ -\end{frame} -$endif$ - -$endif$ -$endif$ -$if(biblatex)$ -$if(beamer)$ -\begin{frame}[allowframebreaks]{$biblio-title$} -\bibliographytrue -\printbibliography[heading=none] -\end{frame} -$else$ -\printbibliography$if(biblio-title)$[title=$biblio-title$]$endif$ -$endif$ - -$endif$ -$for(include-after)$ -$include-after$ - -$endfor$ -\end{document} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: t -%%% End: From b8226502cbe5d1aaf383c41e3e9d38e4e0ed0b27 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Mon, 1 Mar 2021 00:10:57 +0100 Subject: [PATCH 03/22] Updated how the test is run --- .github/workflows/ci_emmocheck.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml index 8f78503b..18667b28 100644 --- a/.github/workflows/ci_emmocheck.yml +++ b/.github/workflows/ci_emmocheck.yml @@ -24,4 +24,4 @@ jobs: - name: Check EMMO run: | - emmocheck --local --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_*_dimension emmo.owl + emmocheck --local --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace --skip=test_class_label emmo.owl From 52df65b791d04cc8a372aba1875762f44e81982a Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Mon, 1 Mar 2021 21:12:11 +0100 Subject: [PATCH 04/22] Added C++ as an exception in test_class_label --- .github/emmocheck_conf.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/emmocheck_conf.yml b/.github/emmocheck_conf.yml index 7f3f537d..a5a12e2a 100644 --- a/.github/emmocheck_conf.yml +++ b/.github/emmocheck_conf.yml @@ -2,3 +2,6 @@ test_namespace: exceptions: - manufacturing.EngineeredMaterial +test_class_label: + exceptions: + - perceptual.C++ From a08d31aac645267111f1c2520223a86b2e7c7f14 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 3 Mar 2021 10:59:27 +0100 Subject: [PATCH 05/22] Added a section about domain ontologies in the README file --- README.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/README.md b/README.md index 08d5fe4d..721a52ba 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,22 @@ EMMO is a multidisciplinary effort to develop a standard representational framework (the ontology) for applied sciences. It is based on physics, analytical philosophy and information and communication technologies. It has been instigated by materials science and provides the connection between the physical world, the experimental world (materials characterisation) and the simulation world (materials modelling). It is released under a Creative Commons [CC BY 4.0](LICENSE.md) license. +## Use of EMMO in domain ontologies +Currently there are several domain ontologies in development that uses EMMO as the top and middle level ontology. +Typically they import one of the versions of EMMO listed on [https://emmo-repo.github.io/](https://emmo-repo.github.io/). +The following table lists the public EMMO-based domain ontologies that we are aware of. +Please create an issue if you have a public domain ontology that you think should be listed here. + +| Domain ontology | Link | +| ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | +| Crystallography | [https://github.com/emmo-repo/domain-crystallography](https://github.com/emmo-repo/domain-crystallography) | +| Mechanical Testing | [https://github.com/emmo-repo/domain-mechanical-testing](https://github.com/emmo-repo/domain-mechanical-testing) | +| Cultural Heritage Preservation | [https://github.com/emmo-repo/domain-cultural-heritage-preservation](https://github.com/emmo-repo/domain-cultural-heritage-preservation) | +| Atomistic and Electronic Modelling | [https://github.com/emmo-repo/domain-atomistic](https://github.com/emmo-repo/domain-atomistic) | +| Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | + + + ## EMMO in a Nutshell The EMMO ontology is structured in shells, expressed by specific ontology fragments, that extends from fundamental concepts to the application domains, following the dependency flow. From 2781e368f5b793095e7479a4ae913f5ef353e337 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 3 Mar 2021 11:16:54 +0100 Subject: [PATCH 06/22] Updated ci workflow to ubuntu-20.04 --- .github/workflows/ci_emmocheck.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml index 18667b28..bb521741 100644 --- a/.github/workflows/ci_emmocheck.yml +++ b/.github/workflows/ci_emmocheck.yml @@ -4,7 +4,7 @@ on: [push] jobs: build: - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 strategy: max-parallel: 1 matrix: From 6030a431076d2c9bd5b4cbfa1078586753125ab9 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 3 Mar 2021 11:22:05 +0100 Subject: [PATCH 07/22] Tested to downgrade to ubuntu-16.04 in github workflow --- .github/workflows/ci_emmocheck.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml index bb521741..9108db1f 100644 --- a/.github/workflows/ci_emmocheck.yml +++ b/.github/workflows/ci_emmocheck.yml @@ -4,7 +4,7 @@ on: [push] jobs: build: - runs-on: ubuntu-20.04 + runs-on: ubuntu-16.04 strategy: max-parallel: 1 matrix: From 4516e925325921268bace54b27d822b64673c4a3 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 3 Mar 2021 11:27:58 +0100 Subject: [PATCH 08/22] Trying to fix failing test --- .github/workflows/ci_emmocheck.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml index 9108db1f..f3d7eb68 100644 --- a/.github/workflows/ci_emmocheck.yml +++ b/.github/workflows/ci_emmocheck.yml @@ -4,7 +4,7 @@ on: [push] jobs: build: - runs-on: ubuntu-16.04 + runs-on: ubuntu-18.04 strategy: max-parallel: 1 matrix: @@ -20,8 +20,10 @@ jobs: - name: Install EMMO-python run: | + pip install --upgrade pip pip install EMMO - name: Check EMMO run: | - emmocheck --local --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace --skip=test_class_label emmo.owl + emmocheck --local --url-from-catalog --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace emmo.owl + #emmocheck --local --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace --skip=test_class_label emmo.owl From f67230aebef0238ccbe2de6239657d750e8916b6 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 3 Mar 2021 11:32:04 +0100 Subject: [PATCH 09/22] Updated test --- .github/workflows/ci_emmocheck.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml index f3d7eb68..5a855a2b 100644 --- a/.github/workflows/ci_emmocheck.yml +++ b/.github/workflows/ci_emmocheck.yml @@ -25,5 +25,4 @@ jobs: - name: Check EMMO run: | - emmocheck --local --url-from-catalog --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace emmo.owl - #emmocheck --local --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace --skip=test_class_label emmo.owl + emmocheck --local --url-from-catalog --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace --skip=test_class_label emmo.owl From 43d3cee05c7d288bd2a746b832db7457d6266aee Mon Sep 17 00:00:00 2001 From: francescalb Date: Wed, 3 Mar 2021 11:54:55 +0100 Subject: [PATCH 10/22] typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 721a52ba..e8d30c59 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ EMMO is a multidisciplinary effort to develop a standard representational framew ## Use of EMMO in domain ontologies -Currently there are several domain ontologies in development that uses EMMO as the top and middle level ontology. +Currently there are several domain ontologies in development that use EMMO as the top and middle level ontology. Typically they import one of the versions of EMMO listed on [https://emmo-repo.github.io/](https://emmo-repo.github.io/). The following table lists the public EMMO-based domain ontologies that we are aware of. Please create an issue if you have a public domain ontology that you think should be listed here. From d4bf53af146141c61a0f95ae9c7d636ecd11c30b Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 3 Mar 2021 16:26:35 +0100 Subject: [PATCH 11/22] Added examples in the domain/ folder to the table. --- README.md | 1 + domain/README.md | 4 ++++ 2 files changed, 5 insertions(+) create mode 100644 domain/README.md diff --git a/README.md b/README.md index 721a52ba..ac504354 100644 --- a/README.md +++ b/README.md @@ -15,6 +15,7 @@ Please create an issue if you have a public domain ontology that you think shoul | Domain ontology | Link | | ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | +| Example domain ontologies | [https://github.com/emmo-repo/EMMO/tree/master/domain](https://github.com/emmo-repo/EMMO/tree/master/domain) | | Crystallography | [https://github.com/emmo-repo/domain-crystallography](https://github.com/emmo-repo/domain-crystallography) | | Mechanical Testing | [https://github.com/emmo-repo/domain-mechanical-testing](https://github.com/emmo-repo/domain-mechanical-testing) | | Cultural Heritage Preservation | [https://github.com/emmo-repo/domain-cultural-heritage-preservation](https://github.com/emmo-repo/domain-cultural-heritage-preservation) | diff --git a/domain/README.md b/domain/README.md new file mode 100644 index 00000000..ae0bf645 --- /dev/null +++ b/domain/README.md @@ -0,0 +1,4 @@ +Examples of how to extend EMMO in domain ontologies +=================================================== +The owl files in this directory are intended as examples of how to extend EMMO in domain ontologies. +These examples are not intended to be full featured domain ontologies, but might still be useful to include or copy in actual application ontologiess. From 6549e25fffc4fb31df513151939a42e9b1372511 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Tue, 17 Aug 2021 20:46:48 +0200 Subject: [PATCH 12/22] Update README.md --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ec079018..3ef96a92 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,8 @@ ## Table of content * [About EMMO](#about-emmo) - * [Some words about the new name and logo](#some-words-about-the-new-name-and-logo) + * [Some words about the new name and logo](#some-words-about-the-new-name-and-logo) + * [Use of EMMO in domain ontologies](use-of-emmo-in-domain-ontologies) * [EMMO in a Nutshell](#emmo-in-a-nutshell) * [Top Level](#top-level) * [Middle Level](#middle-level) @@ -45,7 +46,7 @@ A lot can be said about the logo: -## Use of EMMO in domain ontologies +### Use of EMMO in domain ontologies Currently there are several domain ontologies in development that use EMMO as the top and middle level ontology. Typically they import one of the versions of EMMO listed on [https://emmo-repo.github.io/](https://emmo-repo.github.io/). The following table lists the public EMMO-based domain ontologies that we are aware of. @@ -59,7 +60,9 @@ Please create an issue if you have a public domain ontology that you think shoul | Cultural Heritage Preservation | [https://github.com/emmo-repo/domain-cultural-heritage-preservation](https://github.com/emmo-repo/domain-cultural-heritage-preservation) | | Atomistic and Electronic Modelling | [https://github.com/emmo-repo/domain-atomistic](https://github.com/emmo-repo/domain-atomistic) | | Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | - +| Microstructure domain ontology | [https://github.com/emmo-repo/domain-ontology](https://github.com/emmo-repo/domain-ontology) | +| Datamodel ontology | [https://github.com/emmo-repo/datamodel-ontology](https://github.com/emmo-repo/datamodel-ontology) | +| Mappings ontology | [https://github.com/emmo-repo/domain-mappings](https://github.com/emmo-repo/domain-mappings) | ## EMMO in a Nutshell From 41317b9abebac7cf56b600a1989de13beb633c89 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Tue, 17 Aug 2021 20:53:55 +0200 Subject: [PATCH 13/22] Updated list of domain ontologies --- README.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 3ef96a92..e2946022 100644 --- a/README.md +++ b/README.md @@ -53,16 +53,15 @@ The following table lists the public EMMO-based domain ontologies that we are aw Please create an issue if you have a public domain ontology that you think should be listed here. | Domain ontology | Link | -| ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | -| Example domain ontologies | [https://github.com/emmo-repo/EMMO/tree/master/domain](https://github.com/emmo-repo/EMMO/tree/master/domain) | +| ----------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------- | +| Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | | Crystallography | [https://github.com/emmo-repo/domain-crystallography](https://github.com/emmo-repo/domain-crystallography) | | Mechanical Testing | [https://github.com/emmo-repo/domain-mechanical-testing](https://github.com/emmo-repo/domain-mechanical-testing) | -| Cultural Heritage Preservation | [https://github.com/emmo-repo/domain-cultural-heritage-preservation](https://github.com/emmo-repo/domain-cultural-heritage-preservation) | -| Atomistic and Electronic Modelling | [https://github.com/emmo-repo/domain-atomistic](https://github.com/emmo-repo/domain-atomistic) | -| Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | | Microstructure domain ontology | [https://github.com/emmo-repo/domain-ontology](https://github.com/emmo-repo/domain-ontology) | | Datamodel ontology | [https://github.com/emmo-repo/datamodel-ontology](https://github.com/emmo-repo/datamodel-ontology) | | Mappings ontology | [https://github.com/emmo-repo/domain-mappings](https://github.com/emmo-repo/domain-mappings) | +| Atomistic and Electronic Modelling | [https://github.com/emmo-repo/domain-atomistic](https://github.com/emmo-repo/domain-atomistic) | +| EMMO example domain ontologies | [https://github.com/emmo-repo/EMMO/tree/master/domain](https://github.com/emmo-repo/EMMO/tree/master/domain) | ## EMMO in a Nutshell From 7a7630cf98abcbc764a605e9269fa7fed216fee8 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 18 Aug 2021 17:54:17 +0200 Subject: [PATCH 14/22] Corrected physical dimension of CelsiusTemperature --- middle/isq.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/middle/isq.ttl b/middle/isq.ttl index 81c41c14..69e1cfc5 100644 --- a/middle/isq.ttl +++ b/middle/isq.ttl @@ -681,7 +681,7 @@ It defines the base unit mole in the SI system."""@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """An objective comparative measure of hot or cold. Temperature is a relative quantity that can be used to express temperature differences. Unlike ThermodynamicTemperature, it cannot express absolute temperatures."""@en ; - :EMMO_de178b12_5d35_4bca_8efa_a4193162571d "T-1 L0 M0 I0 Θ0 N+1 J0" ; + :EMMO_de178b12_5d35_4bca_8efa_a4193162571d "T0 L0 M0 I0 Θ+1 N0 J0" ; :EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.T06261" ; skos:prefLabel "CelsiusTemperature"@en . From c795e5b5f750ab07f9a51babbc0b7b527f9672c7 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sat, 4 Sep 2021 10:08:47 +0200 Subject: [PATCH 15/22] Updated name of EMMO --- emmo.ttl | 4 ++-- middle/isq.ttl | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/emmo.ttl b/emmo.ttl index 987fd492..86fca11f 100644 --- a/emmo.ttl +++ b/emmo.ttl @@ -12,7 +12,7 @@ owl:versionIRI ; owl:imports , ; - dcterms:abstract """European Materials & Modelling Ontology (EMMO) + dcterms:abstract """Elemental Multiperspective Material Ontology (EMMO) EMMO is a multidisciplinary effort to develop a standard representational framework (the ontology) based on current materials modelling knowledge, including physical sciences, analytical philosophy and information and communication technologies. @@ -31,7 +31,7 @@ EMMO is released under a Creative Commons license Attribution 4.0 International "Jesper Friis" ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher "EMMC ASBL" ; - dcterms:title "European Materials & Modelling Ontology"@en ; + dcterms:title "Elemental Multiperspective Material Ontology"@en ; rdfs:comment """Contacts: Gerhard Goldbeck Goldbeck Consulting Ltd (UK) diff --git a/middle/isq.ttl b/middle/isq.ttl index 81c41c14..898858bc 100644 --- a/middle/isq.ttl +++ b/middle/isq.ttl @@ -42,7 +42,7 @@ University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; owl:versionInfo "1.0.0-beta" ; - dcterms:abstract """European Materials & Modelling Ontology (EMMO) + dcterms:abstract """Elemental Multiperspective Material Ontology (EMMO) EMMO is a multidisciplinary effort to develop a standard representational framework (the ontology) based on current materials modelling knowledge, including physical sciences, analytical philosophy and information and communication technologies. From 46e024e73e7a5e32b80d4d9359f153eeeda34c71 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sat, 4 Sep 2021 10:14:57 +0200 Subject: [PATCH 16/22] Updated name of EMMO --- .github/pages-index.html.in | 8 ++++---- doc/emmodoc/emmodoc-meta.yaml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/pages-index.html.in b/.github/pages-index.html.in index 74906fc3..dc7c5f6d 100644 --- a/.github/pages-index.html.in +++ b/.github/pages-index.html.in @@ -7,21 +7,21 @@ - + - Europeean Materials & Modelling Ontology + Elemental Multiperspective Material Ontology (EMMO)
-

The Europeean Materials & Modelling Ontology (EMMO)

+

Elemental Multiperspective Material Ontology (EMMO)

-The European Materials Modelling Ontology (EMMO) is the result of a multidisciplinary effort within the EMMC, aimed at the development of a standard representational ontology framework based on current materials modelling and characterization knowledge. Instead of starting from general upper level concepts, as done by other ontologies, the EMMO development started from the very bottom level, using the actual picture of the physical world coming from applied sciences, and in particular from physics and material sciences. +The Elemental Multiperspective Material Ontology (EMMO) is the result of a multidisciplinary effort within the EMMC, aimed at the development of a standard representational ontology framework based on current materials modelling and characterization knowledge. Instead of starting from general upper level concepts, as done by other ontologies, the EMMO development started from the very bottom level, using the actual picture of the physical world coming from applied sciences, and in particular from physics and material sciences.

The EMMO has grown from the bottom (i.e. scientific application field) to the top (i.e. conceptualization), staying focused on the original scope while at the same time maintaining an approach as general as possible. The ontological framework has been built around concepts like elementary particles, wave-particle dualism, finiteness of space and time intervals coming from the perspective for experimental physics. The development of the middle and upper layers of the ontology has been functional to the respect of these low level concepts, to facilitate the understanding of the high level concepts to users with limited or no philosophical background. diff --git a/doc/emmodoc/emmodoc-meta.yaml b/doc/emmodoc/emmodoc-meta.yaml index c3648efb..106b3734 100644 --- a/doc/emmodoc/emmodoc-meta.yaml +++ b/doc/emmodoc/emmodoc-meta.yaml @@ -1,5 +1,5 @@ --- -title: 'Europeean Materials Modelling Ontology' +title: 'Elemental Multiperspective Material Ontology (EMMO)' version: 1.0.0-alpha2 author: - name: Emanuele Ghedini From 9ef30fc58a108f6342760c5cbf7501e1a243d7e3 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 26 Nov 2021 21:41:10 +0100 Subject: [PATCH 17/22] Fixed broken link in README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e2946022..4dff7e42 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ ## Table of content * [About EMMO](#about-emmo) * [Some words about the new name and logo](#some-words-about-the-new-name-and-logo) - * [Use of EMMO in domain ontologies](use-of-emmo-in-domain-ontologies) + * [Use of EMMO in domain ontologies](#use-of-emmo-in-domain-ontologies) * [EMMO in a Nutshell](#emmo-in-a-nutshell) * [Top Level](#top-level) * [Middle Level](#middle-level) @@ -53,7 +53,7 @@ The following table lists the public EMMO-based domain ontologies that we are aw Please create an issue if you have a public domain ontology that you think should be listed here. | Domain ontology | Link | -| ----------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------- | +| ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | | Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | | Crystallography | [https://github.com/emmo-repo/domain-crystallography](https://github.com/emmo-repo/domain-crystallography) | | Mechanical Testing | [https://github.com/emmo-repo/domain-mechanical-testing](https://github.com/emmo-repo/domain-mechanical-testing) | From c0e42c67c50d65ed820e4759372aa98acaf31af5 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 26 Nov 2021 22:02:57 +0100 Subject: [PATCH 18/22] Fixed issue #180 - change contacts --- README.md | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/README.md b/README.md index 4dff7e42..1674d5c7 100644 --- a/README.md +++ b/README.md @@ -144,13 +144,8 @@ Browsable documentation and pre-inferred versions of EMMO are available on [http --- ## Contacts: -Emanuele Ghedini -University of Bologna (IT) -email: emanuele.ghedini@unibo.it +You can contact EMMO Authors via emmo@emmc.eu -Gerhard Goldbeck -Goldbeck Consulting Ltd (UK) -email: gerhard@goldbeck-consulting.com ### Acknowledgement From 6f744d835c3b0c66078a22b65a88461a03a4a2c7 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Fri, 26 Nov 2021 22:13:01 +0100 Subject: [PATCH 19/22] Issue #173 - corrected mispelled preflabel: AqueousSolution --- middle/materials.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/middle/materials.ttl b/middle/materials.ttl index 484827bd..ebaf59c1 100644 --- a/middle/materials.ttl +++ b/middle/materials.ttl @@ -313,7 +313,7 @@ e.g. you cannot remove H from H20 without changing the molecule type (essential) :EMMO_5cb107ba_7daa_46dd_8f9f_da22a6eac676 rdf:type owl:Class ; rdfs:subClassOf :EMMO_4b3e2374_52a1_4420_8e3f_3ae6b9bf7dff ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A liquid solution in which the solvent is water."@en ; - skos:prefLabel "AcqueousSolution"@en . + skos:prefLabel "AqueousSolution"@en . ### http://emmo.info/emmo#EMMO_5d659e25_a508_43ed_903c_3707c7c7cd4b From 47b9ed97170b8a6b5706fe6fbb1b3d5d417c7529 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 5 Jan 2022 17:00:54 +0100 Subject: [PATCH 20/22] Added links to GPO and BCV domain ontologies --- README.md | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index 1674d5c7..1e0fdee3 100644 --- a/README.md +++ b/README.md @@ -52,16 +52,18 @@ Typically they import one of the versions of EMMO listed on [https://emmo-repo.g The following table lists the public EMMO-based domain ontologies that we are aware of. Please create an issue if you have a public domain ontology that you think should be listed here. -| Domain ontology | Link | -| ----------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | -| Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | -| Crystallography | [https://github.com/emmo-repo/domain-crystallography](https://github.com/emmo-repo/domain-crystallography) | -| Mechanical Testing | [https://github.com/emmo-repo/domain-mechanical-testing](https://github.com/emmo-repo/domain-mechanical-testing) | -| Microstructure domain ontology | [https://github.com/emmo-repo/domain-ontology](https://github.com/emmo-repo/domain-ontology) | -| Datamodel ontology | [https://github.com/emmo-repo/datamodel-ontology](https://github.com/emmo-repo/datamodel-ontology) | -| Mappings ontology | [https://github.com/emmo-repo/domain-mappings](https://github.com/emmo-repo/domain-mappings) | -| Atomistic and Electronic Modelling | [https://github.com/emmo-repo/domain-atomistic](https://github.com/emmo-repo/domain-atomistic) | -| EMMO example domain ontologies | [https://github.com/emmo-repo/EMMO/tree/master/domain](https://github.com/emmo-repo/EMMO/tree/master/domain) | +| Domain ontology | Link | +| ------------------------------------------ | ----------------------------------------------------------------------------------------------------------------------------------------- | +| Battery Interface Ontology (BattINFO) | [https://github.com/BIG-MAP/BattINFO](https://github.com/BIG-MAP/BattINFO) | +| General Process Ontology (GPO) | [https://github.com/General-Process-Ontology/ontology](https://github.com/General-Process-Ontology/ontology) | +| Ontology for the Battery Value Chain (BVC) | [https://github.com/Battery-Value-Chain-Ontology/ontology](https://github.com/Battery-Value-Chain-Ontology/ontology) | +| Crystallography | [https://github.com/emmo-repo/domain-crystallography](https://github.com/emmo-repo/domain-crystallography) | +| Mechanical Testing | [https://github.com/emmo-repo/domain-mechanical-testing](https://github.com/emmo-repo/domain-mechanical-testing) | +| Microstructure domain ontology | [https://github.com/emmo-repo/domain-ontology](https://github.com/emmo-repo/domain-ontology) | +| Datamodel ontology | [https://github.com/emmo-repo/datamodel-ontology](https://github.com/emmo-repo/datamodel-ontology) | +| Mappings ontology | [https://github.com/emmo-repo/domain-mappings](https://github.com/emmo-repo/domain-mappings) | +| Atomistic and Electronic Modelling | [https://github.com/emmo-repo/domain-atomistic](https://github.com/emmo-repo/domain-atomistic) | +| EMMO example domain ontologies | [https://github.com/emmo-repo/EMMO/tree/master/domain](https://github.com/emmo-repo/EMMO/tree/master/domain) | ## EMMO in a Nutshell From 7a4b825e310c5362f4c407b5c38192eb3013e37f Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 29 May 2022 20:55:37 +0200 Subject: [PATCH 21/22] Added link to release table --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 1e0fdee3..bef08fc5 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ [![License: CC BY 4.0](https://img.shields.io/badge/License-CC%20BY%204.0-lightgrey.svg)](https://creativecommons.org/licenses/by/4.0/) ![CI tests](https://github.com/emmo-repo/EMMO/workflows/Check%20conventions/badge.svg) +[![GitHub release](https://img.shields.io/github/v/release/emmo-repo/emmo)](https://emmo-repo.github.io/) + # Elementary Multiperspective Material Ontology (EMMO) From 0dab6ff17a482eefc1c4e5634c36d888579f8c40 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Tue, 9 May 2023 16:02:40 +0200 Subject: [PATCH 22/22] Updated documentation about recommended reasoner. --- README.md | 2 +- domain/commonmaterials.ttl | 2 +- domain/commonperceptual.ttl | 2 +- domain/domain.ttl | 2 +- emmo.ttl | 2 +- middle/holistic.ttl | 2 +- middle/isq.ttl | 2 +- middle/manufacturing.ttl | 2 +- middle/materials.ttl | 2 +- middle/math.ttl | 2 +- middle/metrology.ttl | 2 +- middle/middle.ttl | 2 +- middle/models.ttl | 2 +- middle/ordinal.ttl | 2 +- middle/perceptual.ttl | 2 +- middle/perspective.ttl | 2 +- middle/physicalistic.ttl | 2 +- middle/properties.ttl | 2 +- middle/reductionistic.ttl | 2 +- middle/semiotics.ttl | 2 +- middle/siunits.ttl | 2 +- middle/units-extension.ttl | 2 +- top/annotations.ttl | 2 +- top/mereotopology.ttl | 2 +- top/physical.ttl | 2 +- top/top.ttl | 2 +- 26 files changed, 26 insertions(+), 26 deletions(-) diff --git a/README.md b/README.md index bef08fc5..8d5496fd 100644 --- a/README.md +++ b/README.md @@ -137,7 +137,7 @@ The fastest way to access the EMMO is to open the ontology via Protégé via the The EMMO hierarchy will be visible only after reasoning inference: use *ctrl-R* to start the reasoner and under the *Entities* tab, select the *Classes* subtab and *Inferred* in the scroll button. -It is recommended to use FaCT++ as reasoner. You can select it through the menu *Reasoner*. An instruction for how to install the FaCT++ plugin on Protege 5.5.0 on Windows can be found in the [doc subdirectory](doc/installing_factplusplus.md). +From EMMO 1.0.0-beta4 it is recommended to use HermiT as reasoner (distributed by default with Protege). For earlier EMMO versions is FaCT++ the recommended reasoner. You can select it through the menu *Reasoner*. An instruction for how to install the FaCT++ plugin on Protege 5.5.0 on Windows can be found in the [doc subdirectory](doc/installing_factplusplus.md). To access EMMO from Python, we recommend [EMMO-python](https://github.com/emmo-repo/EMMO-python/). diff --git a/domain/commonmaterials.ttl b/domain/commonmaterials.ttl index e651a8e9..0c5fbf9a 100644 --- a/domain/commonmaterials.ttl +++ b/domain/commonmaterials.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/domain/commonperceptual.ttl b/domain/commonperceptual.ttl index 0989bd8c..96f0cb8e 100644 --- a/domain/commonperceptual.ttl +++ b/domain/commonperceptual.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/domain/domain.ttl b/domain/domain.ttl index 5ce6247c..87f12f6c 100644 --- a/domain/domain.ttl +++ b/domain/domain.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/emmo.ttl b/emmo.ttl index 86fca11f..11de9c7c 100644 --- a/emmo.ttl +++ b/emmo.ttl @@ -40,7 +40,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/middle/holistic.ttl b/middle/holistic.ttl index c87b5202..83266640 100644 --- a/middle/holistic.ttl +++ b/middle/holistic.ttl @@ -36,7 +36,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/isq.ttl b/middle/isq.ttl index 54bcb5d3..2f803c86 100644 --- a/middle/isq.ttl +++ b/middle/isq.ttl @@ -52,7 +52,7 @@ EMMO is released under a Creative Commons license Attribution 4.0 International dcterms:contributor "Access, DE" ; dcterms:creator "Gerhard Goldbeck" , "Jesper Friis" ; - rdfs:comment "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en . + rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en . ################################################################# # Annotation properties diff --git a/middle/manufacturing.ttl b/middle/manufacturing.ttl index 2c7c881f..71684dd0 100644 --- a/middle/manufacturing.ttl +++ b/middle/manufacturing.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/materials.ttl b/middle/materials.ttl index ebaf59c1..80bff459 100644 --- a/middle/materials.ttl +++ b/middle/materials.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/math.ttl b/middle/math.ttl index 69b09a97..b05bee42 100644 --- a/middle/math.ttl +++ b/middle/math.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/metrology.ttl b/middle/metrology.ttl index 38291d90..ed7360ca 100644 --- a/middle/metrology.ttl +++ b/middle/metrology.ttl @@ -37,7 +37,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/middle.ttl b/middle/middle.ttl index 86b14fd3..a8c04ea3 100644 --- a/middle/middle.ttl +++ b/middle/middle.ttl @@ -54,7 +54,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/middle/models.ttl b/middle/models.ttl index 11a8dcfe..4b17b215 100644 --- a/middle/models.ttl +++ b/middle/models.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/ordinal.ttl b/middle/ordinal.ttl index 1bf4671f..b451a5ba 100644 --- a/middle/ordinal.ttl +++ b/middle/ordinal.ttl @@ -27,7 +27,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/perceptual.ttl b/middle/perceptual.ttl index cebd003c..56892fe9 100644 --- a/middle/perceptual.ttl +++ b/middle/perceptual.ttl @@ -36,7 +36,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/perspective.ttl b/middle/perspective.ttl index 6b766172..c561f4af 100644 --- a/middle/perspective.ttl +++ b/middle/perspective.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/physicalistic.ttl b/middle/physicalistic.ttl index b67ab994..3d742bd4 100644 --- a/middle/physicalistic.ttl +++ b/middle/physicalistic.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/properties.ttl b/middle/properties.ttl index ac532c52..2902c59f 100644 --- a/middle/properties.ttl +++ b/middle/properties.ttl @@ -38,7 +38,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/reductionistic.ttl b/middle/reductionistic.ttl index b9f6f0a4..27c57acf 100644 --- a/middle/reductionistic.ttl +++ b/middle/reductionistic.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/semiotics.ttl b/middle/semiotics.ttl index c46e0c8b..e0314516 100644 --- a/middle/semiotics.ttl +++ b/middle/semiotics.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/siunits.ttl b/middle/siunits.ttl index 90c6f628..2b53f56f 100644 --- a/middle/siunits.ttl +++ b/middle/siunits.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/middle/units-extension.ttl b/middle/units-extension.ttl index 9bc678b0..b4faf437 100644 --- a/middle/units-extension.ttl +++ b/middle/units-extension.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/top/annotations.ttl b/top/annotations.ttl index 03ce2ecc..95eae760 100644 --- a/top/annotations.ttl +++ b/top/annotations.ttl @@ -32,7 +32,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/top/mereotopology.ttl b/top/mereotopology.ttl index e7d45187..5ed6e1b5 100644 --- a/top/mereotopology.ttl +++ b/top/mereotopology.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/top/physical.ttl b/top/physical.ttl index 47eb5760..8b03b88d 100644 --- a/top/physical.ttl +++ b/top/physical.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ################################################################# diff --git a/top/top.ttl b/top/top.ttl index b981cfd8..fab07f04 100644 --- a/top/top.ttl +++ b/top/top.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en , - "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; + "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; owl:versionInfo "1.0.0-beta" . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi