From 1b92f1abe37e1874a901593fbf2c8c7b83afad25 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr> Date: Mon, 30 Aug 2010 21:40:10 +0000 Subject: [PATCH] - Corrected a few mistakes in the grammars rules which did not correspond to the implementation --- html/edoal.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html/edoal.html b/html/edoal.html index 0ef2cf49..477d993f 100644 --- a/html/edoal.html +++ b/html/edoal.html @@ -140,8 +140,8 @@ A class can be defined using its URI or a restriction. Restrictions are defined <u>classexpr</u> ::= <Class rdf:about=" <u>URI</u> "/> | <Class> <u>classconst</u> </Class> | <AttributeOccurenceRestriction> <u>onatt</u> <u>comp</u> <u>INTEGER</u> </AttributeOccurenceRestriction> - | <AttributeDomainConstraint> <u>onatt</u> (<u>classexpr</u>|<u>type</u>) </AttributeDomainConstraint> - | <AttributeValueRestriction> <u>onatt</u> <u>comp</u> (<u>instexpr</u>|<u>val</u>) </AttributeValueRestriction> + | <AttributeDomainRestriction> <u>onatt</u> (<class><u>classexpr</u></class>|<u>datatype</u>) </AttributeDomainRestriction> + | <AttributeValueRestriction> <u>onatt</u> <u>comp</u> (<value><u>instexpr</u></value>|<u>val</u>) </AttributeValueRestriction> <u>classconst</u> ::= <and rdf:parseType="Collection"> <u>classexpr</u>+</and> | <or rdf:parseType="Collection"> <u>classexpr</u>+ </or> -- GitLab