@Test public void testAxiomConverterRules2() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final AxiomConverter converter = new AxiomConverter(kb, OWL._manager.getOWLDataFactory()); final ATermAppl C = ATermUtils.makeTermAppl("C"); final ATermAppl D = ATermUtils.makeTermAppl("D"); final ATermAppl i = ATermUtils.makeTermAppl("i"); kb.addClass(C); kb.addClass(D); kb.addIndividual(i); final ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom(i, D) }; final ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom(i, C) }; final ATermAppl rule = ATermUtils.makeRule(head, body); final OWLAxiom actual = converter.convert(rule); final Set<SWRLAtom> antecedent = new HashSet<>(); final Set<SWRLAtom> consequent = new HashSet<>(); antecedent.add(classAtom(Class("C"), SWRL.individual(OWL.Individual("i")))); consequent.add(classAtom(Class("D"), SWRL.individual(OWL.Individual("i")))); final OWLAxiom expected = rule(antecedent, consequent); assertEquals(expected, actual); }
final OWLNamedIndividual a = OWL.Individual(NS + "A"); final OWLNamedIndividual b = OWL.Individual(NS + "B"); final SWRLIndividualArgument swrlIndA = SWRL.individual(a); final SWRLIndividualArgument swrlIndB = SWRL.individual(b); final OWLLiteral ten = OWL.constant(10.); final OWLLiteral eleven = OWL.constant(11.);
final OWLNamedIndividual a = OWL.Individual(NS + "A"); final OWLNamedIndividual b = OWL.Individual(NS + "B"); final SWRLIndividualArgument swrlIndA = SWRL.individual(a); final SWRLIndividualArgument swrlIndB = SWRL.individual(b); final OWLLiteral ten = OWL.constant(10.); final OWLLiteral eleven = OWL.constant(11.);
final OWLNamedIndividual a = OWL.Individual(NS + "A"); final OWLNamedIndividual b = OWL.Individual(NS + "B"); final SWRLIndividualArgument swrlIndA = SWRL.individual(a); final OWLLiteral ten = OWL.constant(10.); final OWLLiteral eleven = OWL.constant(11.);
final OWLNamedIndividual a = OWL.Individual(NS + "A"); final OWLNamedIndividual b = OWL.Individual(NS + "B"); final SWRLIndividualArgument swrlIndA = SWRL.individual(a); final OWLLiteral ten = OWL.constant(10.); final OWLLiteral eleven = OWL.constant(11.);