Package org.mindswap.pellet

Examples of org.mindswap.pellet.Literal.addType()

114
115
116
117
118
119
120
121
122
123
124
  @Test
  public void oneVSatisfiableDecimalRanges() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getSatisfiableDecimalRanges()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertTrue(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
  @Test
  public void oneVSatisfiableEnumerations() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getSatisfiableDecimalEnumerations()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertTrue(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
150
151
152
153
154
155
156
157
158
159
160
  @Test
  public void oneVUnsatisfiableDecimalRanges() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getUnsatisfiableDecimalRanges()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
168
169
170
171
172
173
174
175
176
177
178
  @Test
  public void oneVUnsatisfiableEnumerations() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getUnsatisfiableDecimalEnumerations()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.