diff --git a/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-api.jar b/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-api.jar index 52db47e9b..0474622e0 100644 Binary files a/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-api.jar and b/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-api.jar differ diff --git a/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-impl.jar b/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-impl.jar index b15f58191..9c952496f 100644 Binary files a/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-impl.jar and b/sadl3/com.ge.research.sadl.parent/com.ge.research.jena/lib/reasoner-impl.jar differ diff --git a/sadl3/com.ge.research.sadl.parent/com.ge.research.sadl/src/com/ge/research/sadl/validation/SADLValidator.xtend b/sadl3/com.ge.research.sadl.parent/com.ge.research.sadl/src/com/ge/research/sadl/validation/SADLValidator.xtend index b2e506c50..1f802b9a3 100644 --- a/sadl3/com.ge.research.sadl.parent/com.ge.research.sadl/src/com/ge/research/sadl/validation/SADLValidator.xtend +++ b/sadl3/com.ge.research.sadl.parent/com.ge.research.sadl/src/com/ge/research/sadl/validation/SADLValidator.xtend @@ -265,6 +265,11 @@ class SADLValidator extends AbstractSADLValidator { t.printStackTrace } } + else { + if (nm.contains(':')) { + error("Invalid declaration of new concept with a QName from another namespace", SADL_RESOURCE__NAME) + } + } } @Check