|
a/src/test/java/org/sbaresearch/owl/OwlApiFacadeTest.java |
|
b/src/test/java/org/sbaresearch/owl/OwlApiFacadeTest.java |
|
... |
|
... |
| 649 |
owlApi.makeInstanceOf(indiv1, className);
|
649 |
owlApi.makeInstanceOf(indiv1, className);
|
| 650 |
|
650 |
|
| 651 |
OWLOntology ontology = invocationHandler.getOntology();
|
651 |
OWLOntology ontology = invocationHandler.getOntology();
|
| 652 |
assertTrue(ontology.containsAxiom(dataFactory.getOWLClassAssertionAxiom(dataFactory.getOWLClass(IRI.create(className)), indiv1)));
|
652 |
assertTrue(ontology.containsAxiom(dataFactory.getOWLClassAssertionAxiom(dataFactory.getOWLClass(IRI.create(className)), indiv1)));
|
| 653 |
assertFalse(ontology.containsAxiom(dataFactory.getOWLClassAssertionAxiom(dataFactory.getOWLClass(owlApi.createIri(className)), indiv2)));
|
653 |
assertFalse(ontology.containsAxiom(dataFactory.getOWLClassAssertionAxiom(dataFactory.getOWLClass(owlApi.createIri(className)), indiv2)));
|
|
|
654 |
}
|
|
|
655 |
|
|
|
656 |
@Test
|
|
|
657 |
public void testUnmakeInstanceOf_unqualifiedClass_shouldRemoveAffectedIndividualAsMemberFromClass() throws URISyntaxException, OWLOntologyCreationException {
|
|
|
658 |
OwlManagerInvocationHandler invocationHandler = new OwlManagerInvocationHandler(OWLManager.createOWLOntologyManager());
|
|
|
659 |
OWLDataFactory dataFactory = OWLManager.getOWLDataFactory();
|
|
|
660 |
OwlApiFacade owlApi = TestUtils.getOwlApiFacadeUsingProxy(invocationHandler, dataFactory);
|
|
|
661 |
owlApi.load(getOwlUri());
|
|
|
662 |
OWLNamedIndividual indiv1 = owlApi.addIndividual("indiv1");
|
|
|
663 |
String className1 = "classA";
|
|
|
664 |
String className2 = "classB";
|
|
|
665 |
owlApi.makeInstanceOf(indiv1, className1);
|
|
|
666 |
owlApi.makeInstanceOf(indiv1, className2);
|
|
|
667 |
assertThat(owlApi.getIndividualsByClass(owlApi.createIri(className1)).size(), equalTo(1));
|
|
|
668 |
assertThat(owlApi.getIndividualsByClass(owlApi.createIri(className2)).size(), equalTo(1));
|
|
|
669 |
|
|
|
670 |
owlApi.unmakeInstanceOf(indiv1, className1);
|
|
|
671 |
|
|
|
672 |
OWLOntology ontology = invocationHandler.getOntology();
|
|
|
673 |
assertTrue(ontology.containsAxiom(dataFactory.getOWLClassAssertionAxiom(dataFactory.getOWLClass(owlApi.createIri(className2)), indiv1)));
|
|
|
674 |
assertFalse(ontology.containsAxiom(dataFactory.getOWLClassAssertionAxiom(dataFactory.getOWLClass(owlApi.createIri(className1)), indiv1)));
|
| 654 |
}
|
675 |
}
|
| 655 |
|
676 |
|
| 656 |
@Test
|
677 |
@Test
|
| 657 |
public void testAddInvidvidual_providingBaseClass_shouldAddIndividualAndAddAsMemberToClass() throws URISyntaxException, OWLOntologyCreationException {
|
678 |
public void testAddInvidvidual_providingBaseClass_shouldAddIndividualAndAddAsMemberToClass() throws URISyntaxException, OWLOntologyCreationException {
|
| 658 |
OwlManagerInvocationHandler invocationHandler = new OwlManagerInvocationHandler(OWLManager.createOWLOntologyManager());
|
679 |
OwlManagerInvocationHandler invocationHandler = new OwlManagerInvocationHandler(OWLManager.createOWLOntologyManager());
|