use of fr.lirmm.graphik.graal.api.core.Atom in project graal by graphik-team.
the class DlgpParserTest method parseNegativeConstraint.
// /////////////////////////////////////////////////////////////////////////
// NEGATIVE CONSTRAINT
// /////////////////////////////////////////////////////////////////////////
@Test
public void parseNegativeConstraint() throws ParseException {
NegativeConstraint r = DlgpParser.parseNegativeConstraint("[N1]!:-p(X,Y), q(X,Y).");
CloseableIteratorWithoutException<Atom> it = r.getBody().iterator();
Atom body = it.next();
Assert.assertTrue(body.getTerm(0).isVariable());
Assert.assertTrue(body.getTerm(1).isVariable());
body = it.next();
Assert.assertTrue(body.getTerm(0).isVariable());
Assert.assertTrue(body.getTerm(1).isVariable());
Assert.assertEquals("N1", r.getLabel());
}
use of fr.lirmm.graphik.graal.api.core.Atom in project graal by graphik-team.
the class DlgpParserTest method parseQueryWithConstantInAns.
@Test
public void parseQueryWithConstantInAns() throws ParseException {
ConjunctiveQuery q = DlgpParser.parseQuery("?(b,X) :- p(a,X).");
List<Term> ans = q.getAnswerVariables();
Assert.assertEquals(B, ans.get(0));
Assert.assertEquals(X, ans.get(1));
Atom a = q.getAtomSet().iterator().next();
Assert.assertEquals(A, a.getTerm(0));
Assert.assertEquals(X, a.getTerm(1));
}
use of fr.lirmm.graphik.graal.api.core.Atom in project graal by graphik-team.
the class OWL2ParserTest method disjointProperty.
@Test
public void disjointProperty() {
// ! :- q(X, Y), p(X, Y).
try {
OWL2Parser parser = new OWL2Parser(PREFIXES + ":p rdf:type owl:ObjectProperty . " + ":q rdf:type owl:ObjectProperty . " + ":p owl:propertyDisjointWith :q .");
int nbRules = 0;
while (parser.hasNext()) {
Object o = parser.next();
if (o instanceof Rule) {
++nbRules;
Rule r = (Rule) o;
CloseableIteratorWithoutException<Atom> it = r.getBody().iterator();
Atom a1 = (Atom) it.next();
Atom a2 = (Atom) it.next();
Assert.assertFalse(it.hasNext());
Assert.assertTrue(P.equals(a1.getPredicate()) || Q.equals(a1.getPredicate()));
Assert.assertTrue(P.equals(a2.getPredicate()) || Q.equals(a2.getPredicate()));
Assert.assertTrue(P.equals(a2.getPredicate()) || P.equals(a1.getPredicate()));
Assert.assertTrue(Q.equals(a2.getPredicate()) || Q.equals(a1.getPredicate()));
Assert.assertEquals(a1.getTerm(0), a2.getTerm(0));
Assert.assertEquals(a1.getTerm(1), a2.getTerm(1));
}
}
parser.close();
Assert.assertEquals("Number of assertions found:", 1, nbRules);
} catch (Exception e) {
Assert.assertFalse(e.getMessage(), true);
}
}
use of fr.lirmm.graphik.graal.api.core.Atom in project graal by graphik-team.
the class OWL2ParserTest method subClassOfAxiom.
// /////////////////////////////////////////////////////////////////////////
// Axioms
// /////////////////////////////////////////////////////////////////////////
@Test
public void subClassOfAxiom() throws OWL2ParserException {
OWL2Parser parser = new OWL2Parser(PREFIXES + ":A rdf:type owl:Class . " + ":B rdf:type owl:Class . " + ":A rdfs:subClassOf :B. ");
int nbRules = 0;
while (parser.hasNext()) {
Object o = parser.next();
if (o instanceof Rule) {
++nbRules;
Rule r = (Rule) o;
CloseableIteratorWithoutException<Atom> bodyIt = r.getBody().iterator();
CloseableIteratorWithoutException<Atom> headIt = r.getHead().iterator();
Assert.assertTrue(bodyIt.hasNext());
Assert.assertTrue(headIt.hasNext());
Atom body = bodyIt.next();
Atom head = headIt.next();
Assert.assertTrue(!body.getTerm(0).isConstant());
Assert.assertTrue(body.getTerm(0).equals(head.getTerm(0)));
Assert.assertEquals(A, body.getPredicate());
Assert.assertEquals(B, head.getPredicate());
Assert.assertFalse(bodyIt.hasNext());
Assert.assertFalse(headIt.hasNext());
}
}
parser.close();
Assert.assertEquals("Number of assertions found:", 1, nbRules);
}
use of fr.lirmm.graphik.graal.api.core.Atom in project graal by graphik-team.
the class OWL2ParserTest method complexClassAssertion.
@Test
public void complexClassAssertion() throws OWL2ParserException {
OWL2Parser parser = new OWL2Parser(PREFIXES + ":A rdf:type owl:Class . " + ":B rdf:type owl:Class . " + ":i1 a [owl:intersectionOf ( :A [owl:complementOf :B] ) ] ." + "");
int nbFacts = 0;
int nbConstraint = 0;
while (parser.hasNext()) {
Object o = parser.next();
if ((o instanceof InMemoryAtomSet)) {
++nbFacts;
CloseableIteratorWithoutException<Atom> it = ((InMemoryAtomSet) o).iterator();
Assert.assertTrue(it.hasNext());
Atom a = it.next();
Assert.assertEquals(A, a.getPredicate());
Assert.assertEquals(I1, a.getTerm(0));
}
if ((o instanceof DefaultNegativeConstraint)) {
++nbConstraint;
CloseableIteratorWithoutException<Atom> it = ((DefaultNegativeConstraint) o).getBody().iterator();
Assert.assertTrue(it.hasNext());
Atom a = it.next();
Assert.assertEquals(B, a.getPredicate());
Assert.assertEquals(I1, a.getTerm(0));
}
}
parser.close();
Assert.assertEquals("Number of assertions found:", 1, nbFacts);
Assert.assertEquals("Number of assertions found:", 1, nbConstraint);
}
Aggregations