From c8ca66800e02be2e431bdda85f6e0181fa6b7984 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Sat, 10 Apr 2010 10:55:23 +0000
Subject: [PATCH] - minor formatting change
---
html/tutorial/tutorial4/index.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/tutorial/tutorial4/index.html b/html/tutorial/tutorial4/index.html
index 08210652..042f1fb2 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>
--
GitLab