diff --git a/DOL-terms.rdf b/DOL-terms.rdf
index de42e38..b95fb7a 100644
--- a/DOL-terms.rdf
+++ b/DOL-terms.rdf
@@ -1981,15 +1981,29 @@ of logic (model theory).
non-logical symbol
-
+
Non-logical symbols in Common Logic \nisref{ISO/IEC 24707:2007} comprise \begin{itemize} \item names (denoting objects from the domain of discourse), \item sequence markers (denoting sequences of objects). \end{itemize} This is opposed to logical symbols in Common Logic, e.g.\ logical connectives and quantifiers.
Non-logical symbols in OWL \nisref{W3C/TR REC-owl2-syntax:2009} (there called ``entities'') comprise \begin{itemize} \item individuals (denoting objects from the domain of discourse), \item classes (denoting sets of objects; also called concepts), and \item properties (denoting binary relations over objects; also called roles). \end{itemize} This is opposed to logical symbols in OWL, e.g.\ those for intersection and union of classes.
OMS symbol
The notion of ``atomic sentence'' used in logic is different, it usually may involve several non-logical symbols.
a non-logical symbol in an OMS
- atomic expression or syntactic constituent of an OMS that requires an interpretation through a model
+ symbol that requires an interpretation through a model
-
+
+
+ logical symbol
+
+ Logical symbols in Common Logic include propositional connectives and quantifiers.
+ Logical symbols in OWL include propositional connectives (e.g. the intersection operator on classes) and quantifiers (e.g. the existential restriction operator).
+ symbol whose interpretation is fixed by the logic
+
+
+
+ symbol
+
+ atomic expression or syntactic constituent of an OMS
+
+
OMS (ontology, specification or MDE model)