diff --git a/DOL-terms.rdf b/DOL-terms.rdf
index de42e38..fcfeed0 100644
--- a/DOL-terms.rdf
+++ b/DOL-terms.rdf
@@ -1728,7 +1728,7 @@ local envorinment, which is the signature of the 'given OMS'.
true
- a mapping (translation or reduction) between two logics
+ a mapping (translation or reduction) between two logics consisting of mappings for signatures, sentences and models
mapping between logics
@@ -2465,7 +2465,7 @@ of logic (model theory).
true
- logic mapping that maps signatures to theories
+ logic mapping that maps signatures of the source logic to theories of the target logic
orthogonal to WeaklyExactMapping and FaithfulMapping
the resulting theory tpyically contains infrastructure axioms that are needed for expressing the logic mapping