Correction some warnings.

Galigator · Nov 5, 2017 · 716f07d · 716f07d
1 parent 718ae59
commit 716f07d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 16 deletions.
diff --git a/module-owlapi/src/main/java/openllet/owlapi/PelletReasoner.java b/module-owlapi/src/main/java/openllet/owlapi/PelletReasoner.java
@@ -1214,11 +1214,6 @@ private Node<OWLClass> toClassNode(final Set<ATermAppl> terms)
 		return NodeFactory.getOWLClassNode(CLASS_MAPPER.map(terms));
 	}
 
-	private Stream<OWLClass> toClassNode(final Stream<ATermAppl> terms)
-	{
-		return terms.map(CLASS_MAPPER::map);
-	}
-
 	private Node<OWLDataProperty> toDataPropertyNode(final Set<ATermAppl> terms)
 	{
 		return NodeFactory.getOWLDataPropertyNode(DP_MAPPER.map(terms));
@@ -1229,11 +1224,6 @@ private Node<OWLNamedIndividual> toIndividualNode(final Set<ATermAppl> terms)
 		return NodeFactory.getOWLNamedIndividualNode(IND_MAPPER.map(terms));
 	}
 
-	private Stream<OWLNamedIndividual> toIndividualNode(final Stream<ATermAppl> terms)
-	{
-		return terms.map(IND_MAPPER::map);
-	}
-
 	private Set<OWLLiteral> toLiteralSet(final Collection<ATermAppl> terms)
 	{
 		return LIT_MAPPER.map(terms);
@@ -1244,11 +1234,6 @@ private Node<OWLObjectPropertyExpression> toObjectPropertyNode(final Set<ATermAp
 		return NodeFactory.getOWLObjectPropertyNode(OP_MAPPER.map(terms));
 	}
 
-	private Stream<OWLObjectPropertyExpression> toObjectPropertyNode(final Stream<ATermAppl> terms)
-	{
-		return terms.map(OP_MAPPER::map);
-	}
-
 	private Node<OWLNamedIndividual> toIndividualNode(final ATermAppl term)
 	{
 		return NodeFactory.getOWLNamedIndividualNode(IND_MAPPER.map(term));

diff --git a/tests/src/test/java/openllet/test/WebOntTest.java b/tests/src/test/java/openllet/test/WebOntTest.java
@@ -378,7 +378,7 @@ public boolean doTest(final String manifestFile)
 				{
 					final Statement s = si.nextStatement();
 					final String levelName = s.getResource().getLocalName();
-					if (reasoningLevel > LEVELS.indexOf(levelName))
+					if (reasoningLevel > LEVELS.indexOf(s.getResource()))
 					{
 						levelStmt = s;
 						levels.add(levelName);