Mentions légales du service

Skip to content
Snippets Groups Projects
Commit a10c49c0 authored by Jérôme Euzenat's avatar Jérôme Euzenat
Browse files

- updated Pellet reasoner

parent 185b4ffc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
html/tutorial/tutorial2/MyApp.java
+ 3
− 2
View file @ a10c49c0
...@@ -57,11 +57,12 @@ import org.semanticweb.owlapi.model.OWLOntology; ...@@ -57,11 +57,12 @@ import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException; import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLClass; import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLAxiom; import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLDescription; import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.apibinding.OWLManager; import org.semanticweb.owlapi.apibinding.OWLManager;
// Pellet // Pellet
import org.mindswap.pellet.owlapi.Reasoner; import com.clarkparsia.pellet.owlapiv3.PelletReasoner;
//import org.semanticweb.owlapi.reasoner.OWLReasoner;
// IDDL // IDDL
import fr.inrialpes.exmo.iddl.IDDLReasoner; import fr.inrialpes.exmo.iddl.IDDLReasoner;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment