diff --git a/html/labels.html b/html/labels.html index 23d637d01207e897b1e158da7c6d9f311c31315d..5e4480f3f9509b2f1714f4196b5a42a5f814396d 100644 --- a/html/labels.html +++ b/html/labels.html @@ -63,6 +63,8 @@ <dd>URI of the first ontology (temporary store)</dd> <dt>http://exmo.inrialpes.fr/align/service:ouri2</dt> <dd>URI of the second ontology (temporary store)</dd> +<dt>http://exmo.inrialpes.fr/align/service:pretty</dt> +<dd>Name to be displayed instead of the URI of the alignment</dd> </dl> <h2>Argumentation extensions</h2>