diff options
Diffstat (limited to 'subprojects/store-reasoning/src/test')
10 files changed, 33 insertions, 32 deletions
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java index f8135102..2aa058a4 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/PartialModelTest.java | |||
@@ -6,10 +6,11 @@ | |||
6 | package tools.refinery.store.reasoning; | 6 | package tools.refinery.store.reasoning; |
7 | 7 | ||
8 | import org.junit.jupiter.api.Test; | 8 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.logic.dnf.Query; | ||
10 | import tools.refinery.logic.term.Variable; | ||
11 | import tools.refinery.logic.term.truthvalue.TruthValue; | ||
9 | import tools.refinery.store.model.ModelStore; | 12 | import tools.refinery.store.model.ModelStore; |
10 | import tools.refinery.store.query.ModelQueryAdapter; | 13 | import tools.refinery.store.query.ModelQueryAdapter; |
11 | import tools.refinery.store.query.dnf.Query; | ||
12 | import tools.refinery.store.query.term.Variable; | ||
13 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; | 14 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
14 | import tools.refinery.store.query.view.ForbiddenView; | 15 | import tools.refinery.store.query.view.ForbiddenView; |
15 | import tools.refinery.store.reasoning.literal.Concreteness; | 16 | import tools.refinery.store.reasoning.literal.Concreteness; |
@@ -18,14 +19,13 @@ import tools.refinery.store.reasoning.seed.ModelSeed; | |||
18 | import tools.refinery.store.reasoning.translator.PartialRelationTranslator; | 19 | import tools.refinery.store.reasoning.translator.PartialRelationTranslator; |
19 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; | 20 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; |
20 | import tools.refinery.store.representation.Symbol; | 21 | import tools.refinery.store.representation.Symbol; |
21 | import tools.refinery.store.representation.TruthValue; | ||
22 | import tools.refinery.store.tuple.Tuple; | 22 | import tools.refinery.store.tuple.Tuple; |
23 | 23 | ||
24 | import static org.hamcrest.MatcherAssert.assertThat; | 24 | import static org.hamcrest.MatcherAssert.assertThat; |
25 | import static org.hamcrest.Matchers.is; | 25 | import static org.hamcrest.Matchers.is; |
26 | import static org.hamcrest.Matchers.not; | 26 | import static org.hamcrest.Matchers.not; |
27 | import static org.hamcrest.Matchers.nullValue; | 27 | import static org.hamcrest.Matchers.nullValue; |
28 | import static tools.refinery.store.query.literal.Literals.not; | 28 | import static tools.refinery.logic.literal.Literals.not; |
29 | import static tools.refinery.store.reasoning.ReasoningAdapter.EQUALS_SYMBOL; | 29 | import static tools.refinery.store.reasoning.ReasoningAdapter.EQUALS_SYMBOL; |
30 | import static tools.refinery.store.reasoning.ReasoningAdapter.EXISTS_SYMBOL; | 30 | import static tools.refinery.store.reasoning.ReasoningAdapter.EXISTS_SYMBOL; |
31 | import static tools.refinery.store.reasoning.literal.PartialLiterals.may; | 31 | import static tools.refinery.store.reasoning.literal.PartialLiterals.may; |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/lifting/DnfLifterTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/lifting/DnfLifterTest.java index 793d1cec..f3e4d3b0 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/lifting/DnfLifterTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/lifting/DnfLifterTest.java | |||
@@ -7,9 +7,10 @@ package tools.refinery.store.reasoning.lifting; | |||
7 | 7 | ||
8 | import org.junit.jupiter.api.BeforeEach; | 8 | import org.junit.jupiter.api.BeforeEach; |
9 | import org.junit.jupiter.api.Test; | 9 | import org.junit.jupiter.api.Test; |
10 | import tools.refinery.store.query.dnf.Dnf; | 10 | import tools.refinery.logic.dnf.Dnf; |
11 | import tools.refinery.store.query.dnf.Query; | 11 | import tools.refinery.logic.dnf.Query; |
12 | import tools.refinery.store.query.term.ParameterDirection; | 12 | import tools.refinery.logic.term.ParameterDirection; |
13 | import tools.refinery.logic.term.truthvalue.TruthValue; | ||
13 | import tools.refinery.store.query.view.AnySymbolView; | 14 | import tools.refinery.store.query.view.AnySymbolView; |
14 | import tools.refinery.store.query.view.FunctionView; | 15 | import tools.refinery.store.query.view.FunctionView; |
15 | import tools.refinery.store.query.view.MustView; | 16 | import tools.refinery.store.query.view.MustView; |
@@ -20,15 +21,14 @@ import tools.refinery.store.reasoning.literal.Modality; | |||
20 | import tools.refinery.store.reasoning.representation.PartialRelation; | 21 | import tools.refinery.store.reasoning.representation.PartialRelation; |
21 | import tools.refinery.store.reasoning.representation.PartialSymbol; | 22 | import tools.refinery.store.reasoning.representation.PartialSymbol; |
22 | import tools.refinery.store.representation.Symbol; | 23 | import tools.refinery.store.representation.Symbol; |
23 | import tools.refinery.store.representation.TruthValue; | ||
24 | 24 | ||
25 | import java.util.List; | 25 | import java.util.List; |
26 | 26 | ||
27 | import static org.hamcrest.MatcherAssert.assertThat; | 27 | import static org.hamcrest.MatcherAssert.assertThat; |
28 | import static tools.refinery.store.query.literal.Literals.check; | 28 | import static tools.refinery.logic.literal.Literals.check; |
29 | import static tools.refinery.store.query.literal.Literals.not; | 29 | import static tools.refinery.logic.literal.Literals.not; |
30 | import static tools.refinery.store.query.term.int_.IntTerms.*; | 30 | import static tools.refinery.logic.term.int_.IntTerms.*; |
31 | import static tools.refinery.store.query.tests.QueryMatchers.structurallyEqualTo; | 31 | import static tools.refinery.logic.tests.QueryMatchers.structurallyEqualTo; |
32 | 32 | ||
33 | class DnfLifterTest { | 33 | class DnfLifterTest { |
34 | private static final Symbol<TruthValue> friendSymbol = Symbol.of("friend", 2, TruthValue.class, | 34 | private static final Symbol<TruthValue> friendSymbol = Symbol.of("friend", 2, TruthValue.class, |
@@ -49,7 +49,7 @@ class DnfLifterTest { | |||
49 | @Test | 49 | @Test |
50 | void liftPartialRelationCallTest() { | 50 | void liftPartialRelationCallTest() { |
51 | var input = Query.of("Actual", (builder, p1) -> builder.clause((v1) -> List.of( | 51 | var input = Query.of("Actual", (builder, p1) -> builder.clause((v1) -> List.of( |
52 | friend.call(p1, v1) | 52 | friend.call(p1, v1) |
53 | ))).getDnf(); | 53 | ))).getDnf(); |
54 | var actual = sut.lift(Modality.MUST, Concreteness.PARTIAL, input); | 54 | var actual = sut.lift(Modality.MUST, Concreteness.PARTIAL, input); |
55 | 55 | ||
@@ -204,7 +204,7 @@ class DnfLifterTest { | |||
204 | 204 | ||
205 | @Test | 205 | @Test |
206 | void liftPartialRelationTransitiveCallTest() { | 206 | void liftPartialRelationTransitiveCallTest() { |
207 | var input = Query.of("Actual", (builder, p1, p2)-> builder.clause( | 207 | var input = Query.of("Actual", (builder, p1, p2) -> builder.clause( |
208 | friend.callTransitive(p1, p2), | 208 | friend.callTransitive(p1, p2), |
209 | not(person.call(p2)) | 209 | not(person.call(p2)) |
210 | )).getDnf(); | 210 | )).getDnf(); |
@@ -233,7 +233,7 @@ class DnfLifterTest { | |||
233 | 233 | ||
234 | @Test | 234 | @Test |
235 | void liftPartialSymbolTransitiveCallTest() { | 235 | void liftPartialSymbolTransitiveCallTest() { |
236 | var input = Query.of("Actual", (builder, p1, p2)-> builder.clause( | 236 | var input = Query.of("Actual", (builder, p1, p2) -> builder.clause( |
237 | friendMustView.callTransitive(p1, p2), | 237 | friendMustView.callTransitive(p1, p2), |
238 | not(person.call(p2)) | 238 | not(person.call(p2)) |
239 | )).getDnf(); | 239 | )).getDnf(); |
@@ -332,7 +332,8 @@ class DnfLifterTest { | |||
332 | 332 | ||
333 | var expected = Query.of("Expected", (builder, p1, p2) -> builder.clause( | 333 | var expected = Query.of("Expected", (builder, p1, p2) -> builder.clause( |
334 | ModalConstraint.of(Modality.MAY, Concreteness.PARTIAL, friend).call(p1, p2), | 334 | ModalConstraint.of(Modality.MAY, Concreteness.PARTIAL, friend).call(p1, p2), |
335 | not(ModalConstraint.of(Modality.MUST, Concreteness.PARTIAL, ReasoningAdapter.EQUALS_SYMBOL).call(p1, p2)) | 335 | not(ModalConstraint.of(Modality.MUST, Concreteness.PARTIAL, ReasoningAdapter.EQUALS_SYMBOL).call(p1, |
336 | p2)) | ||
336 | )).getDnf(); | 337 | )).getDnf(); |
337 | 338 | ||
338 | assertThat(actual, structurallyEqualTo(expected)); | 339 | assertThat(actual, structurallyEqualTo(expected)); |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java index 1d0ac02d..e889b80d 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslatorTest.java | |||
@@ -18,8 +18,8 @@ import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslat | |||
18 | import tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity; | 18 | import tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity; |
19 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy; | 19 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy; |
20 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator; | 20 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator; |
21 | import tools.refinery.store.representation.TruthValue; | 21 | import tools.refinery.logic.term.truthvalue.TruthValue; |
22 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | 22 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; |
23 | import tools.refinery.store.tuple.Tuple; | 23 | import tools.refinery.store.tuple.Tuple; |
24 | 24 | ||
25 | import java.util.Map; | 25 | import java.util.Map; |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilderTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilderTest.java index ba6ba6da..e2b3f31e 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilderTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilderTest.java | |||
@@ -8,7 +8,7 @@ package tools.refinery.store.reasoning.translator.metamodel; | |||
8 | import org.junit.jupiter.api.Test; | 8 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.store.reasoning.representation.PartialRelation; | 9 | import tools.refinery.store.reasoning.representation.PartialRelation; |
10 | import tools.refinery.store.reasoning.translator.TranslationException; | 10 | import tools.refinery.store.reasoning.translator.TranslationException; |
11 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | 11 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; |
12 | 12 | ||
13 | import static org.junit.jupiter.api.Assertions.assertThrows; | 13 | import static org.junit.jupiter.api.Assertions.assertThrows; |
14 | 14 | ||
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java index 88e6a4d7..f8e9e1b5 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelTest.java | |||
@@ -16,8 +16,8 @@ import tools.refinery.store.reasoning.representation.PartialRelation; | |||
16 | import tools.refinery.store.reasoning.seed.ModelSeed; | 16 | import tools.refinery.store.reasoning.seed.ModelSeed; |
17 | import tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator; | 17 | import tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator; |
18 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; | 18 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; |
19 | import tools.refinery.store.representation.TruthValue; | 19 | import tools.refinery.logic.term.truthvalue.TruthValue; |
20 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | 20 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; |
21 | import tools.refinery.store.tuple.Tuple; | 21 | import tools.refinery.store.tuple.Tuple; |
22 | 22 | ||
23 | import static org.hamcrest.MatcherAssert.assertThat; | 23 | import static org.hamcrest.MatcherAssert.assertThat; |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java index 48a046fc..5ef189d5 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/multiobject/PartialCountTest.java | |||
@@ -8,9 +8,9 @@ package tools.refinery.store.reasoning.translator.multiobject; | |||
8 | import org.junit.jupiter.api.Test; | 8 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.store.model.ModelStore; | 9 | import tools.refinery.store.model.ModelStore; |
10 | import tools.refinery.store.query.ModelQueryAdapter; | 10 | import tools.refinery.store.query.ModelQueryAdapter; |
11 | import tools.refinery.store.query.dnf.Query; | 11 | import tools.refinery.logic.dnf.Query; |
12 | import tools.refinery.store.query.resultset.ResultSet; | 12 | import tools.refinery.store.query.resultset.ResultSet; |
13 | import tools.refinery.store.query.term.Variable; | 13 | import tools.refinery.logic.term.Variable; |
14 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; | 14 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
15 | import tools.refinery.store.reasoning.ReasoningAdapter; | 15 | import tools.refinery.store.reasoning.ReasoningAdapter; |
16 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; | 16 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; |
@@ -20,17 +20,17 @@ import tools.refinery.store.reasoning.representation.PartialRelation; | |||
20 | import tools.refinery.store.reasoning.seed.ModelSeed; | 20 | import tools.refinery.store.reasoning.seed.ModelSeed; |
21 | import tools.refinery.store.reasoning.translator.PartialRelationTranslator; | 21 | import tools.refinery.store.reasoning.translator.PartialRelationTranslator; |
22 | import tools.refinery.store.representation.Symbol; | 22 | import tools.refinery.store.representation.Symbol; |
23 | import tools.refinery.store.representation.TruthValue; | 23 | import tools.refinery.logic.term.truthvalue.TruthValue; |
24 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | 24 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; |
25 | import tools.refinery.store.representation.cardinality.UpperCardinalities; | 25 | import tools.refinery.logic.term.uppercardinality.UpperCardinalities; |
26 | import tools.refinery.store.representation.cardinality.UpperCardinality; | 26 | import tools.refinery.logic.term.uppercardinality.UpperCardinality; |
27 | import tools.refinery.store.tuple.Tuple; | 27 | import tools.refinery.store.tuple.Tuple; |
28 | 28 | ||
29 | import java.util.List; | 29 | import java.util.List; |
30 | 30 | ||
31 | import static org.hamcrest.MatcherAssert.assertThat; | 31 | import static org.hamcrest.MatcherAssert.assertThat; |
32 | import static org.hamcrest.Matchers.is; | 32 | import static org.hamcrest.Matchers.is; |
33 | import static tools.refinery.store.query.literal.Literals.not; | 33 | import static tools.refinery.logic.literal.Literals.not; |
34 | import static tools.refinery.store.reasoning.literal.PartialLiterals.must; | 34 | import static tools.refinery.store.reasoning.literal.PartialLiterals.must; |
35 | 35 | ||
36 | class PartialCountTest { | 36 | class PartialCountTest { |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java index 4bef9d8e..b9edcf75 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/ConcreteSupertypeTest.java | |||
@@ -14,7 +14,7 @@ import tools.refinery.store.reasoning.ReasoningStoreAdapter; | |||
14 | import tools.refinery.store.reasoning.literal.Concreteness; | 14 | import tools.refinery.store.reasoning.literal.Concreteness; |
15 | import tools.refinery.store.reasoning.representation.PartialRelation; | 15 | import tools.refinery.store.reasoning.representation.PartialRelation; |
16 | import tools.refinery.store.reasoning.seed.ModelSeed; | 16 | import tools.refinery.store.reasoning.seed.ModelSeed; |
17 | import tools.refinery.store.representation.TruthValue; | 17 | import tools.refinery.logic.term.truthvalue.TruthValue; |
18 | import tools.refinery.store.tuple.Tuple; | 18 | import tools.refinery.store.tuple.Tuple; |
19 | 19 | ||
20 | import static org.hamcrest.MatcherAssert.assertThat; | 20 | import static org.hamcrest.MatcherAssert.assertThat; |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeAnalysisExampleHierarchyTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeAnalysisExampleHierarchyTest.java index d9a5477e..d860c7d6 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeAnalysisExampleHierarchyTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeAnalysisExampleHierarchyTest.java | |||
@@ -9,7 +9,7 @@ import org.hamcrest.Matchers; | |||
9 | import org.junit.jupiter.api.BeforeEach; | 9 | import org.junit.jupiter.api.BeforeEach; |
10 | import org.junit.jupiter.api.Test; | 10 | import org.junit.jupiter.api.Test; |
11 | import tools.refinery.store.reasoning.representation.PartialRelation; | 11 | import tools.refinery.store.reasoning.representation.PartialRelation; |
12 | import tools.refinery.store.representation.TruthValue; | 12 | import tools.refinery.logic.term.truthvalue.TruthValue; |
13 | 13 | ||
14 | import java.util.Set; | 14 | import java.util.Set; |
15 | 15 | ||
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java index 5af725bb..e87b2684 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyPartialModelTest.java | |||
@@ -16,7 +16,7 @@ import tools.refinery.store.reasoning.ReasoningStoreAdapter; | |||
16 | import tools.refinery.store.reasoning.literal.Concreteness; | 16 | import tools.refinery.store.reasoning.literal.Concreteness; |
17 | import tools.refinery.store.reasoning.representation.PartialRelation; | 17 | import tools.refinery.store.reasoning.representation.PartialRelation; |
18 | import tools.refinery.store.reasoning.seed.ModelSeed; | 18 | import tools.refinery.store.reasoning.seed.ModelSeed; |
19 | import tools.refinery.store.representation.TruthValue; | 19 | import tools.refinery.logic.term.truthvalue.TruthValue; |
20 | import tools.refinery.store.tuple.Tuple; | 20 | import tools.refinery.store.tuple.Tuple; |
21 | 21 | ||
22 | import static org.hamcrest.MatcherAssert.assertThat; | 22 | import static org.hamcrest.MatcherAssert.assertThat; |
diff --git a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTest.java b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTest.java index 931c62dd..b7c99d2d 100644 --- a/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTest.java +++ b/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTest.java | |||
@@ -9,7 +9,7 @@ import org.hamcrest.Matchers; | |||
9 | import org.junit.jupiter.api.Test; | 9 | import org.junit.jupiter.api.Test; |
10 | import tools.refinery.store.reasoning.representation.PartialRelation; | 10 | import tools.refinery.store.reasoning.representation.PartialRelation; |
11 | import tools.refinery.store.reasoning.translator.TranslationException; | 11 | import tools.refinery.store.reasoning.translator.TranslationException; |
12 | import tools.refinery.store.representation.TruthValue; | 12 | import tools.refinery.logic.term.truthvalue.TruthValue; |
13 | 13 | ||
14 | import java.util.Set; | 14 | import java.util.Set; |
15 | 15 | ||