@Test public void testAnnotationPropertyQuery() { final String ns = "http://www.example.org#"; final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); final Property p = model.createAnnotationProperty(ns + "p"); model.prepare(); assertTrue(model.contains(p, RDF.type, OWL.AnnotationProperty)); assertIteratorContains(model.listObjectsOfProperty(p, RDF.type), OWL.AnnotationProperty); assertIteratorContains(model.listObjectsOfProperty(p, null), OWL.AnnotationProperty); assertTrue(model.contains(RDFS.label, RDF.type, OWL.AnnotationProperty)); assertIteratorContains(model.listObjectsOfProperty(RDFS.label, RDF.type), OWL.AnnotationProperty); assertIteratorContains(model.listObjectsOfProperty(RDFS.label, null), OWL.AnnotationProperty); }
@Test public void testQualifiedCardinality1() { final String ns = "http://www.example.org/test#"; final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); model.read(_base + "qcr.owl"); final OntClass sub = model.getOntClass(ns + "sub"); final OntClass sup = model.getOntClass(ns + "sup"); assertTrue(sub.hasSuperClass(sup)); assertIteratorContains(sub.listSuperClasses(), sup); assertIteratorContains(sup.listSubClasses(), sub); }
@Test public void testTransitiveSubProperty2() { final String ns = "http://www.co-ode.org/ontologies/test/pellet/transitive.owl#"; final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); model.read(_base + "transitiveSub.owl"); final OntClass ThingsThatpSomeC = model.getOntClass(ns + "ThingsThatpSomeC"); final OntClass A = model.getOntClass(ns + "A"); final OntClass B = model.getOntClass(ns + "B"); assertTrue(A.hasSuperClass(ThingsThatpSomeC)); assertTrue(B.hasSuperClass(ThingsThatpSomeC)); assertIteratorContains(A.listSuperClasses(), ThingsThatpSomeC); assertIteratorContains(B.listSuperClasses(), ThingsThatpSomeC); }
@Test public void testUntypedProperty() { final String ns = "http://www.example.org#"; final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); final Resource C = model.createResource(ns + "C"); final Resource p = model.createResource(ns + "p"); model.add(p, RDFS.domain, C); assertIteratorContains(model.listStatements(p, null, (RDFNode) null), model.createStatement(p, RDF.type, OWL.ObjectProperty)); }
assertIteratorContains(o1.listPropertyValues(p3), s1); assertTrue(ont.contains(stmt)); assertIteratorContains(ont.listStatements(null, p3, (RDFNode) null), stmt); assertIteratorContains(ont.listStatements(o1, null, (RDFNode) null), stmt); assertIteratorContains(ont.listStatements(), stmt); assertFalse(ont.contains(o3, p1, s3));
@Test public void testSameAs2() { final OntModelSpec ontModelSpec = new OntModelSpec(OntModelSpec.OWL_DL_MEM_RULE_INF); ontModelSpec.setReasoner(new PelletReasoner()); final OntModel model = ModelFactory.createOntologyModel(ontModelSpec); final Individual i1 = model.createIndividual("http://test#i1", OWL.Thing); final Individual i2 = model.createIndividual("http://test#i2", OWL.Thing); final Property prop = model.createProperty("http://test#prop"); i1.addProperty(prop, "test"); i1.addSameAs(i2); // confirm that sameAs was created assertTrue(i1.isSameAs(i2)); // confirm that symmetric sameAs inferred assertTrue(i2.isSameAs(i1)); // confirm that the property is there assertTrue(i1.hasProperty(prop, "test")); // confirm that the property is there when querying with a predicate assertIteratorContains(i1.listProperties(), model.createStatement(i1, prop, "test")); // confirm that the property is copied over when querying with a // predicate assertTrue(i2.hasProperty(prop, "test")); // confirm that the property is copied over when querying with a // predicate assertIteratorContains(i2.listProperties(), model.createStatement(i2, prop, "test")); }