diff --git a/DOL-terms.rdf b/DOL-terms.rdf
index 502520a..de42e38 100644
--- a/DOL-terms.rdf
+++ b/DOL-terms.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 previously-declared 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:rdf-logic-vocab} 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:rdf-logic-vocab} for the organization of the relation between OMS languages and their logics and serializations.
- a (possibly non-monotonic) 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 non-monotonic
-
logic graph