@Override public Node copyTo(final ABoxImpl abox) { return new Literal(this, abox); }
@Override public Node copyTo(final ABoxImpl abox) { return new Literal(this, abox); }
/** * Verify that overlapping decimal ranges for a single variable are satisfiable. * * @throws UnrecognizedDatatypeException * @throws InvalidLiteralException * @throws InvalidConstrainingFacetException */ @Test public void oneVSatisfiableDecimalRanges() throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT); for (final ATermAppl a : getSatisfiableDecimalRanges()) x.addType(a, DependencySet.INDEPENDENT); assertTrue(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap())); }
/** * Verify that non-overlapping decimal enumerations for a single variable are unsatisfiable. * * @throws UnrecognizedDatatypeException * @throws InvalidLiteralException * @throws InvalidConstrainingFacetException */ @Test public void oneVUnsatisfiableEnumerations() throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT); for (final ATermAppl a : getUnsatisfiableDecimalEnumerations()) x.addType(a, DependencySet.INDEPENDENT); assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap())); }
/** * Verify that overlapping decimal enumerations for a single variable are satisfiable. * * @throws UnrecognizedDatatypeException * @throws InvalidLiteralException * @throws InvalidConstrainingFacetException */ @Test public void oneVSatisfiableEnumerations() throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT); for (final ATermAppl a : getSatisfiableDecimalEnumerations()) x.addType(a, DependencySet.INDEPENDENT); assertTrue(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap())); }
/** * Verify that non-overlapping decimal ranges for a single variable are unsatisfiable. * * @throws UnrecognizedDatatypeException * @throws InvalidLiteralException * @throws InvalidConstrainingFacetException */ @Test public void oneVUnsatisfiableDecimalRanges() throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT); for (final ATermAppl a : getUnsatisfiableDecimalRanges()) x.addType(a, DependencySet.INDEPENDENT); assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap())); }
final Literal lit = new Literal(name, dataValue, this, ds); lit.addType(ATermUtils.TOP_LIT, ds);
final Literal lit = new Literal(name, dataValue, this, ds); lit.addType(ATermUtils.TOP_LIT, ds);