コード例 #1
0
ファイル: KB.java プロジェクト: NoHRReasoner/NoHR
 public Rule rule(String rule) {
   try {
     final Rule r = parser.parseRule(rule);
     hybridKB.getProgram().add(r);
     return r;
   } catch (final ParseException e) {
     throw new RuntimeException(e);
   }
 }
コード例 #2
0
ファイル: KB.java プロジェクト: NoHRReasoner/NoHR
 public void assertNegative(String query) {
   try {
     final NoHRRecursiveDescentParser parser =
         new NoHRRecursiveDescentParser(new DefaultVocabulary(ontology));
     if (!query.endsWith(".")) query += ".";
     final Query q = parser.parseQuery(query);
     for (final Literal l : q.getLiterals()) {
       if (l instanceof NegativeLiteral)
         throw new IllegalArgumentException("literals must be positive");
       if (!l.isGrounded()) throw new IllegalArgumentException("literals must be grounded");
       hybridKB.getProgram().add(Model.rule(l.getAtom()));
     }
     Assert.assertTrue("should have inconsistent answers", hasAnswer(query, false, false, true));
     Assert.assertFalse(
         "shouldn't have non inconsistent answers", hasAnswer(query, true, true, false));
   } catch (final ParseException e) {
     fail(e);
   }
 }
コード例 #3
0
ファイル: KB.java プロジェクト: NoHRReasoner/NoHR
 private boolean hasAnswer(
     String query, boolean trueAnswers, boolean undefinedAnswers, boolean inconsistentAnswers) {
   try {
     final Query q = parser.parseQuery(query);
     return hybridKB.hasAnswer(q, trueAnswers, undefinedAnswers, inconsistentAnswers);
   } catch (final OWLProfilesViolationsException e) {
     Assert.fail(e.getMessage());
     return false;
   } catch (final UnsupportedAxiomsException e) {
     Assert.fail(e.getMessage());
     return false;
   } catch (final ParseException e) {
     Assert.fail(e.getMessage());
     return false;
   } catch (final IllegalArgumentException e) {
     Assert.fail(e.getMessage());
     return false;
   }
 }