@Test public void testSubProperties() throws OWLOntologyCreationException { try (final OWLManagerGroup group = new OWLManagerGroup()) { final OWLOntologyID ontId = OWLHelper.getVersion(IRI.create(NS + "owlapi.inc.properties"), 1.0); final OWLHelper owl = new OWLGenericTools(group, ontId, true); owl.addAxiom(OWL.subPropertyOf(o.apply("P2"), o.apply("P1"))); // p2 extends p1 owl.addAxiom(OWL.propertyAssertion(i.apply("I1"), o.apply("P1"), i.apply("I2"))); owl.addAxiom(OWL.propertyAssertion(i.apply("I3"), o.apply("P2"), i.apply("I4"))); assertFalse(owl.getObject(i.apply("I1"), o.apply("P2")).isPresent()); assertTrue(owl.getObject(i.apply("I3"), o.apply("P1")).get().equals(i.apply("I4"))); } }
@Test public void testSubProperties() throws OWLOntologyCreationException { try (final OWLManagerGroup group = new OWLManagerGroup()) { final OWLOntologyID ontId = OWLHelper.getVersion(IRI.create(NS + "owlapi.inc.properties"), 1.0); final OWLHelper owl = new OWLGenericTools(group, ontId, true); owl.addAxiom(OWL.subPropertyOf(o.apply("P2"), o.apply("P1"))); // p2 extends p1 owl.addAxiom(OWL.propertyAssertion(i.apply("I1"), o.apply("P1"), i.apply("I2"))); owl.addAxiom(OWL.propertyAssertion(i.apply("I3"), o.apply("P2"), i.apply("I4"))); assertFalse(owl.getObject(i.apply("I1"), o.apply("P2")).isPresent()); assertTrue(owl.getObject(i.apply("I3"), o.apply("P1")).get().equals(i.apply("I4"))); } }
assertTrue(owl.getObject(Ind1, propA).get().getIRI().equals(Ind1.getIRI()));
assertTrue(owl.getObject(Ind1, propA).get().getIRI().equals(Ind1.getIRI()));