diff --git a/html/tutorial/tutorial4/index.html b/html/tutorial/tutorial4/index.html index 08210652b083a75a3bf5a58092829b1512599821..042f1fb2c7e8611558311b3450e37b35854c3e0e 100644 --- a/html/tutorial/tutorial4/index.html +++ b/html/tutorial/tutorial4/index.html @@ -335,7 +335,7 @@ reasoner.prepareReasoner(); OWLClass estud = manager.getOWLDataFactory().getOWLClass( IRI.create( "http://alignapi.gforge.inria.fr/tutorial/tutorial4/ontology1.owl#Estudiante" ) ); OWLClass person = manager.getOWLDataFactory().getOWLClass( IRI.create( "http://alignapi.gforge.inria.fr/tutorial/tutorial4/ontology2.owl#Person" ) ); OWLClass student = manager.getOWLDataFactory().getOWLClass( IRI.create( "http://alignapi.gforge.inria.fr/tutorial/tutorial4/ontology2.owl#Student" ) ); -Set<OWLNamedIndividual> instances = reasoner.getInstances( estud, false ).getFlattened(); +Set<OWLNamedIndividual> instances = reasoner.getInstances( estud, false ).getFlattened(); System.err.println("Pellet(Merged): There are "+instances.size()+" students "+clname(estud)); </pre> <p>Some subsumption tests:</p>