public static void main2( String[] args ) { final String NS = "http://stackoverflow.com/q/20194409/1281433/"; final OntModel model = ModelFactory.createOntologyModel( OntModelSpec.RDFS_MEM ); OntProperty p = model.createOntProperty( NS+"PropertyName" ); p.addDomain( model.getOntClass( NS+"ClassName" )); p.addRange( RDFS.Literal ); model.write( System.out, "RDF/XML-ABBREV" ); }
public void testListSubClasses1() { // rule inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM_RULE_INF ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); OntClass c = m.getOntClass( NS + "C" ); OntClass d = m.getOntClass( NS + "D" ); OntClass e = m.getOntClass( NS + "E" ); OntClass f = m.getOntClass( NS + "F" ); TestUtil.assertIteratorValues( this, a.listSubClasses(), new Object[] {b,c,d,e,f} ); TestUtil.assertIteratorValues( this, a.listSubClasses( false ), new Object[] {b,c,d,e,f} ); TestUtil.assertIteratorValues( this, a.listSubClasses( true ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, b.listSubClasses( true ), new Object[] {d,e} ); }
public void testLDC_noinfG_nodirect() { TestUtil.assertIteratorValues( this, noinfG.listDeclaringClasses( false ), new Object[] {noinfA, noinfB, noinfC, noinfUnion1, noinfUnion2, noinfAnn, mNoInf.getOntClass(NS+"Joint"),noinfIntersect1,noinfIntersect2}, 2 ); }
public void testLDC_infG_direct() { TestUtil.assertIteratorValues( this, infG.listDeclaringClasses( true ), new Object[] {infA, infAnn, mNoInf.getOntClass(NS+"Joint"),noinfIntersect1,noinfIntersect2}, 1 ); }
public void testLDC_noinfG_nodirect() { TestUtil.assertIteratorValues( this, noinfG.listDeclaringClasses( false ), new Object[] {noinfA, noinfB, noinfC, noinfUnion1, noinfUnion2, noinfAnn, mNoInf.getOntClass(NS+"Joint"),noinfIntersect1,noinfIntersect2}, 2 ); }
public void testLDC_infG_nodirect() { TestUtil.assertIteratorValues( this, infG.listDeclaringClasses( false ), new Object[] {infA, infB, infC, infAnn, noinfUnion1, noinfUnion2, mNoInf.getOntClass(NS+"Joint"),noinfIntersect1,noinfIntersect2}, 2 ); }
public void testListSuperClasses1() { // rule inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM_RULE_INF ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); OntClass c = m.getOntClass( NS + "C" ); OntClass e = m.getOntClass( NS + "E" ); TestUtil.assertIteratorValues( this, e.listSuperClasses(), new Object[] {b,c,a,RDFS.Resource,OWL.Thing} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( false ), new Object[] {b,c,a,RDFS.Resource,OWL.Thing} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( true ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, b.listSuperClasses( true ), new Object[] {a} ); }
public void testListSuperClasses0() { // no inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); OntClass c = m.getOntClass( NS + "C" ); OntClass e = m.getOntClass( NS + "E" ); TestUtil.assertIteratorValues( this, e.listSuperClasses(), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( false ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( true ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, b.listSuperClasses( true ), new Object[] {a} ); }
public void testListSuperClasses2() { // micro rule inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM_MICRO_RULE_INF); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); OntClass c = m.getOntClass( NS + "C" ); OntClass e = m.getOntClass( NS + "E" ); TestUtil.assertIteratorValues( this, e.listSuperClasses(), new Object[] {b,c,a,OWL.Thing} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( false ), new Object[] {b,c,a,OWL.Thing} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( true ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, b.listSuperClasses( true ), new Object[] {a} ); }
public void testListSuperClasses0() { // no inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); OntClass c = m.getOntClass( NS + "C" ); OntClass e = m.getOntClass( NS + "E" ); TestUtil.assertIteratorValues( this, e.listSuperClasses(), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( false ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( true ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, b.listSuperClasses( true ), new Object[] {a} ); }
public void testListSuperClasses1() { // rule inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM_RULE_INF ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); OntClass c = m.getOntClass( NS + "C" ); OntClass e = m.getOntClass( NS + "E" ); TestUtil.assertIteratorValues( this, e.listSuperClasses(), new Object[] {b,c,a,RDFS.Resource,OWL.Thing} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( false ), new Object[] {b,c,a,RDFS.Resource,OWL.Thing} ); TestUtil.assertIteratorValues( this, e.listSuperClasses( true ), new Object[] {b,c} ); TestUtil.assertIteratorValues( this, b.listSuperClasses( true ), new Object[] {a} ); }
public void testGetOntClass() { OntModel m = ModelFactory.createOntologyModel(); Resource r = m.getResource( NS + "r" ); Resource r0 = m.getResource( NS + "r0" ); m.add( r, RDF.type, r0 ); Resource s = m.createClass( NS + "s" ); assertEquals( "Result of get s", s, m.getOntClass( NS + "s" ) ); assertNull( "result of get q", m.getOntClass( NS+"q") ); assertNull( "result of get r", m.getOntClass( NS+"r")); }
public void testGetOntClass() { OntModel m = ModelFactory.createOntologyModel(); Resource r = m.getResource( NS + "r" ); Resource r0 = m.getResource( NS + "r0" ); m.add( r, RDF.type, r0 ); Resource s = m.createClass( NS + "s" ); assertEquals( "Result of get s", s, m.getOntClass( NS + "s" ) ); assertNull( "result of get q", m.getOntClass( NS+"q") ); assertNull( "result of get r", m.getOntClass( NS+"r")); }
private void doTestmaxCard2(OntModelSpec spec) { String NS = "http://jena.hpl.hp.com/eg#"; Model base = FileManager.get().loadModel("testing/reasoners/bugs/terrorism.owl"); OntModel model = ModelFactory.createOntologyModel(spec, base); OntClass event = model.getOntClass(NS + "Event"); List<OntClass> subclasses = event.listSubClasses().toList(); assertFalse( subclasses.contains( OWL.Nothing ) ); assertEquals(3, subclasses.size()); }
@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); }
public void testListInstances0() { // no inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); Individual ia = a.createIndividual(); Individual ib = b.createIndividual(); TestUtil.assertIteratorValues( this, a.listInstances(), new Object[] {ia} ); TestUtil.assertIteratorValues( this, b.listInstances(), new Object[] {ib} ); TestUtil.assertIteratorValues( this, a.listInstances(true), new Object[] {ia} ); TestUtil.assertIteratorValues( this, b.listInstances(true), new Object[] {ib} ); }
/** * Cycle bug in transitive reasoner */ public void testTransitiveCycleBug() { Model m = FileManager.get().loadModel( "file:testing/reasoners/bugs/unbroken.n3" ); OntModel om = ModelFactory.createOntologyModel( OntModelSpec.RDFS_MEM_TRANS_INF, m ); OntClass rootClass = om.getOntClass( RDFS.Resource.getURI() ); Resource c = m.getResource("c"); Set<OntClass> direct = rootClass.listSubClasses( true ).toSet(); assertFalse( direct.contains( c ) ); } /**
/** * Cycle bug in transitive reasoner */ public void testTransitiveCycleBug() { Model m = FileManager.get().loadModel( "file:testing/reasoners/bugs/unbroken.n3" ); OntModel om = ModelFactory.createOntologyModel( OntModelSpec.RDFS_MEM_TRANS_INF, m ); OntClass rootClass = om.getOntClass( RDFS.Resource.getURI() ); Resource c = m.getResource("c"); Set<OntClass> direct = rootClass.listSubClasses( true ).toSet(); assertFalse( direct.contains( c ) ); } /**
public void testListInstances0() { // no inference OntModel m = createABCDEFModel( OntModelSpec.OWL_MEM ); OntClass a = m.getOntClass( NS + "A" ); OntClass b = m.getOntClass( NS + "B" ); Individual ia = a.createIndividual(); Individual ib = b.createIndividual(); TestUtil.assertIteratorValues( this, a.listInstances(), new Object[] {ia} ); TestUtil.assertIteratorValues( this, b.listInstances(), new Object[] {ib} ); TestUtil.assertIteratorValues( this, a.listInstances(true), new Object[] {ia} ); TestUtil.assertIteratorValues( this, b.listInstances(true), new Object[] {ib} ); }
@Test public void testClosedUniverse() { final String ns = "http://www.example.org/test#"; final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); model.read(_base + "ClosedUniverse.owl"); model.prepare(); // OntClass Sat = model.getOntClass( ns + "Sat" ); final OntClass Unsat = model.getOntClass(ns + "Unsat"); // assertTrue( !Sat.hasSuperClass( OWL.Nothing ) ); assertTrue(Unsat.hasSuperClass(OWL.Nothing)); }