Package | Description |
---|---|
de.tudresden.inf.lat.jcel.owlapi.console |
Provides interfaces and classes to execute the reasoner from
the console.
|
de.tudresden.inf.lat.jcel.owlapi.main |
Provides interfaces and classes used for the connection with
the OWL
API.
|
Modifier and Type | Method and Description |
---|---|
JcelReasoner |
ConsoleStarter.createReasoner(File ontologyFile)
Creates an instance of jcel reasoner using the given ontology file.
|
Constructor and Description |
---|
TimeOutMonitor(JcelReasoner reasoner,
long timeout) |
Modifier and Type | Method and Description |
---|---|
JcelReasoner |
JcelReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
JcelReasoner |
JcelReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration) |
JcelReasoner |
JcelReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
JcelReasoner |
JcelReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration) |
Constructor and Description |
---|
JcelOntologyChangeVisitorEx(JcelReasoner reasoner) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.