@Override public InverseFunctionalProperty createInverseFunctionalProperty( String uri, boolean functional) { return inner.createInverseFunctionalProperty(uri, functional); }
@Override public InverseFunctionalProperty createInverseFunctionalProperty(String uri) { return inner.createInverseFunctionalProperty(uri); }
@Override public OntResource doCreate( OntModel m ) { return m.createInverseFunctionalProperty( NS + "p", false ); } @Override
@Override public OntResource doCreate( OntModel m ) { return m.createInverseFunctionalProperty( NS + "p" ); } @Override
@Override public OntResource doCreate( OntModel m ) { return m.createInverseFunctionalProperty( NS + "p", false ); } @Override
@Override public OntResource doCreate( OntModel m ) { return m.createInverseFunctionalProperty( NS + "p" ); } @Override
@Override public OntResource doCreate( OntModel m ) { return m.createInverseFunctionalProperty( NS + "p", true ); } @Override
@Override public OntResource doCreate( OntModel m ) { return m.createInverseFunctionalProperty( NS + "p", true ); } @Override
public void testGetInverseFunctionalProperty() { OntModel m = ModelFactory.createOntologyModel(); Resource r = m.getResource( NS + "r" ); m.add( r, RDF.type, r ); Resource s = m.createInverseFunctionalProperty( NS + "s" ); assertEquals( "Result of get s", s, m.getInverseFunctionalProperty( NS + "s" ) ); assertNull( "result of get q", m.getInverseFunctionalProperty( NS+"q") ); assertNull( "result of get r", m.getInverseFunctionalProperty( NS+"r")); }
public void testGetInverseFunctionalProperty() { OntModel m = ModelFactory.createOntologyModel(); Resource r = m.getResource( NS + "r" ); m.add( r, RDF.type, r ); Resource s = m.createInverseFunctionalProperty( NS + "s" ); assertEquals( "Result of get s", s, m.getInverseFunctionalProperty( NS + "s" ) ); assertNull( "result of get q", m.getInverseFunctionalProperty( NS+"q") ); assertNull( "result of get r", m.getInverseFunctionalProperty( NS+"r")); }
@Override public void ontTest( OntModel m ) { OntProperty p = m.createInverseFunctionalProperty( NS + "p" ); assertTrue( "isFunctionalProperty not correct", !p.isFunctionalProperty() ); assertTrue( "isDatatypeProperty not correct", !p.isDatatypeProperty() ); assertTrue( "isObjectProperty not correct", !p.isObjectProperty() ); // this should be true by entailment, but we have reasoning switched off assertTrue( "isTransitiveProperty not correct", !p.isTransitiveProperty() ); assertTrue( "isInverseFunctionalProperty not correct", p.isInverseFunctionalProperty() ); if (m_owlLang) { assertTrue( "isSymmetricProperty not correct", !p.isSymmetricProperty() ); } } },
@Override public void ontTest( OntModel m ) { OntProperty p = m.createInverseFunctionalProperty( NS + "p" ); assertTrue( "isFunctionalProperty not correct", !p.isFunctionalProperty() ); assertTrue( "isDatatypeProperty not correct", !p.isDatatypeProperty() ); assertTrue( "isObjectProperty not correct", !p.isObjectProperty() ); // this should be true by entailment, but we have reasoning switched off assertTrue( "isTransitiveProperty not correct", !p.isTransitiveProperty() ); assertTrue( "isInverseFunctionalProperty not correct", p.isInverseFunctionalProperty() ); if (m_owlLang) { assertTrue( "isSymmetricProperty not correct", !p.isSymmetricProperty() ); } } },
@Test public void testListStatementsDifferentFrom() { final String ns = "http://www.example.org/test#"; final OntModel ont = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC, null); final ObjectProperty p = ont.createInverseFunctionalProperty(ns + "p1", /* * functional * = */true); final Individual s1 = ont.createIndividual(ns + "s1", OWL.Thing); final Individual s2 = ont.createIndividual(ns + "s2", OWL.Thing); s1.addDifferentFrom(s2); final Individual o1 = ont.createIndividual(ns + "o1", OWL.Thing); final Individual o2 = ont.createIndividual(ns + "o2", OWL.Thing); s1.addProperty(p, o1); s2.addProperty(p, o2); final Model values = ModelFactory.createDefaultModel(); addStatements(values, s1, OWL.differentFrom, s2); addStatements(values, s2, OWL.differentFrom, s1); addStatements(values, o1, OWL.differentFrom, o2); addStatements(values, o2, OWL.differentFrom, o1); assertPropertyValues(ont, OWL.differentFrom, values); }