From a10c49c0ea3205067aa12181793efe03fa33b574 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr> Date: Mon, 29 Mar 2010 10:28:36 +0000 Subject: [PATCH] - updated Pellet reasoner --- html/tutorial/tutorial2/MyApp.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/html/tutorial/tutorial2/MyApp.java b/html/tutorial/tutorial2/MyApp.java index 97e4d16f..22b4b466 100644 --- a/html/tutorial/tutorial2/MyApp.java +++ b/html/tutorial/tutorial2/MyApp.java @@ -57,11 +57,12 @@ import org.semanticweb.owlapi.model.OWLOntology; import org.semanticweb.owlapi.model.OWLOntologyCreationException; import org.semanticweb.owlapi.model.OWLClass; import org.semanticweb.owlapi.model.OWLAxiom; -import org.semanticweb.owlapi.model.OWLDescription; +import org.semanticweb.owlapi.model.OWLClassExpression; import org.semanticweb.owlapi.apibinding.OWLManager; // Pellet -import org.mindswap.pellet.owlapi.Reasoner; +import com.clarkparsia.pellet.owlapiv3.PelletReasoner; +//import org.semanticweb.owlapi.reasoner.OWLReasoner; // IDDL import fr.inrialpes.exmo.iddl.IDDLReasoner; -- GitLab