From 0c5eac7c746603c79dba536f666ec530198754a3 Mon Sep 17 00:00:00 2001
From: Chris Mungall <cjm@berkeleybop.org>
Date: Thu, 24 Aug 2017 15:51:04 -0700
Subject: [PATCH] Testing ComplementOf-SomeValuesFrom expressions, see
 https://github.com/geneontology/noctua/issues/218

---
 .../handler/M3ExpressionParserTest.java       | 49 ++++++++++++++-----
 1 file changed, 38 insertions(+), 11 deletions(-)

diff --git a/minerva-server/src/test/java/org/geneontology/minerva/server/handler/M3ExpressionParserTest.java b/minerva-server/src/test/java/org/geneontology/minerva/server/handler/M3ExpressionParserTest.java
index afa55770..7c507632 100644
--- a/minerva-server/src/test/java/org/geneontology/minerva/server/handler/M3ExpressionParserTest.java
+++ b/minerva-server/src/test/java/org/geneontology/minerva/server/handler/M3ExpressionParserTest.java
@@ -17,7 +17,9 @@
 import org.semanticweb.owlapi.model.IRI;
 import org.semanticweb.owlapi.model.OWLClass;
 import org.semanticweb.owlapi.model.OWLClassExpression;
+import org.semanticweb.owlapi.model.OWLDataFactory;
 import org.semanticweb.owlapi.model.OWLObjectComplementOf;
+import org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom;
 import org.semanticweb.owlapi.model.OWLOntologyCreationException;
 
 import owltools.graph.OWLGraphWrapper;
@@ -118,20 +120,45 @@ public void testParseClazz() throws Exception {
 		assertEquals(graph.getOWLClassByIdentifier(CELL_MORPHOGENESIS), ce);
 	}
 	
-	@Test
-	public void testParseClazzNegated() throws Exception {
+    @Test
+    public void testParseClazzNegated() throws Exception {
 
-	    JsonOwlObject expression = new JsonOwlObject();
-	    expression.type = JsonOwlObjectType.ComplementOf;
-	    expression.filler = new JsonOwlObject();
-	    expression.filler.id = NUCLEUS;
+        JsonOwlObject expression = new JsonOwlObject();
+        expression.type = JsonOwlObjectType.ComplementOf;
+        expression.filler = new JsonOwlObject();
+        expression.filler.id = NUCLEUS;
         expression.filler.type = JsonOwlObjectType.Class;
 
-	    OWLClassExpression ce = new M3ExpressionParser(curieHandler).parse(graph, expression, null);
-	    OWLClass nucleus = graph.getOWLClassByIdentifier(NUCLEUS);
-	    OWLObjectComplementOf ceExpected = graph.getDataFactory().getOWLObjectComplementOf(nucleus);
-	    assertEquals(ceExpected, ce);
-	}
+        OWLClassExpression ce = new M3ExpressionParser(curieHandler).parse(graph, expression, null);
+        OWLClass nucleus = graph.getOWLClassByIdentifier(NUCLEUS);
+        OWLObjectComplementOf ceExpected = graph.getDataFactory().getOWLObjectComplementOf(nucleus);
+        assertEquals(ceExpected, ce);
+    }
+
+    @Test
+    public void testParseClazzNegatedExpression() throws Exception {
+
+        JsonOwlObject svf = new JsonOwlObject();     
+        svf.type = JsonOwlObjectType.SomeValueFrom;
+        svf.property = new JsonOwlObject();
+        svf.property.type = JsonOwlObjectType.ObjectProperty;
+        svf.property.id = OCCURS_IN; // occurs_in
+        svf.filler = new JsonOwlObject();
+        svf.filler.id = NUCLEUS;
+        svf.filler.type = JsonOwlObjectType.Class;
+
+        JsonOwlObject expression = new JsonOwlObject();
+        expression.type = JsonOwlObjectType.ComplementOf;
+        expression.filler = svf;
+  
+        OWLDataFactory df = graph.getDataFactory();
+        OWLClassExpression ce = new M3ExpressionParser(curieHandler).parse(graph, expression, null);
+        
+        OWLClass nucleus = graph.getOWLClassByIdentifier(NUCLEUS);
+        OWLObjectSomeValuesFrom svfx = df.getOWLObjectSomeValuesFrom(graph.getOWLObjectPropertyByIdentifier(OCCURS_IN), nucleus);
+        OWLObjectComplementOf ceExpected = df.getOWLObjectComplementOf(svfx);
+        assertEquals(ceExpected, ce);
+    }
 
 	
 	/**