diff git a/DOLterms.rdf b/DOLterms.rdf
index 502520a..de42e38 100644
 a/DOLterms.rdf
+++ b/DOLterms.rdf
@@ 1564,7 +1564,7 @@ local envorinment, which is the signature of the 'given OMS'.

+
@@ 1669,9 +1669,9 @@ local envorinment, which is the signature of the 'given OMS'.signature built from all previouslydeclared symbols and axioms.

 monotonic logic

+
+ logic
+
@@ 1681,20 +1681,9 @@ local envorinment, which is the signature of the 'given OMS'. $\mathcal{SROIQ}(D)$ is the logic underlying OWL 2 DL.
Most OMS languages have an underlying logic.
See annex~\ref{a:rdflogicvocab} for the organization of the relation between OMS languages and their logics and serializations.
 a (monotonic) logic that defines the semantics of an language
+ a logic that defines the semantics of an language
specification of valid reasoning that comprises signatures, sentences, models, and a satisfaction relation between models and sentences


 logic

 $\mathcal{SROIQ}(D)$ is the monotonic logic underlying OWL 2 DL.
 Reiter's default logic is a logic that is not monotonic.
 Most OMS languages have an underlying logic.
 See annex~\ref{a:rdflogicvocab} for the organization of the relation between OMS languages and their logics and serializations.
 a (possibly nonmonotonic) logic that defines the semantics of an language
 specification of valid reasoning that comprises signatures, sentences, models, and a satisfaction relation between models and sentences. Possibly nonmonotonic

logic graph