public class ConsoleStarter extends Object
Modifier and Type | Class and Description |
---|---|
static class |
ConsoleStarter.Mode
Mode of execution.
|
Modifier and Type | Field and Description |
---|---|
static String |
cmdClassification |
static String |
cmdConsistency |
static String |
cmdEntailment |
static String |
cmdQuery |
static String |
cmdSat |
static String |
cmdSatisfiability |
static String |
licenseInfo |
static String |
optClassURI |
static String |
optConclusion |
static String |
optHelp |
static String |
optLogLevel |
static String |
optOntology |
static String |
optOperation |
static String |
optOutput |
static String |
optRenderer |
static String |
optTimeOut |
static String |
optVerbose |
static String |
optVersion |
static String |
rendererFunctional |
static String |
rendererKRSS |
static String |
rendererKRSS2 |
static String |
rendererKRSS2OWL |
static String |
rendererLatex |
static String |
rendererManchester |
static String |
rendererXML |
static String |
versionInfo |
Constructor and Description |
---|
ConsoleStarter() |
Modifier and Type | Method and Description |
---|---|
boolean |
checkConsistency(File ontologyFile)
Checks the consistency of a given ontology.
|
boolean |
checkEntailment(File premiseFile,
File conclusionFile)
Classifies a given ontology and checks whether another ontology is
entailed by the former.
|
boolean |
checkSatisfiability(File ontologyFile,
org.semanticweb.owlapi.model.IRI conceptIRI)
Checks satisfiability of a given concept with respect to an ontology.
|
void |
computeClassification(File ontologyFile,
File inferredFile,
org.semanticweb.owlapi.io.AbstractOWLRenderer renderer)
Classifies a given ontology and computes the class hierarchy and the
object property hierarchy.
|
JcelReasoner |
createReasoner(File ontologyFile)
Creates an instance of jcel reasoner using the given ontology file.
|
static void |
main(String[] args)
Starts a classifier instance from the command line.
|
ConsoleStarter.Mode |
parseMode(String argument)
Returns the mode of execution that corresponds to the given identifier.
|
org.semanticweb.owlapi.io.AbstractOWLRenderer |
parseRenderer(String argument)
Creates a new abstract OWL renderer.
|
String |
renderMode(ConsoleStarter.Mode mode)
Returns a string that identifies the mode of execution (e.g.
|
void |
start(String[] args)
Starts the application.
|
public static final String cmdClassification
public static final String cmdConsistency
public static final String cmdEntailment
public static final String cmdQuery
public static final String cmdSat
public static final String cmdSatisfiability
public static final String licenseInfo
public static final String optClassURI
public static final String optConclusion
public static final String optHelp
public static final String optLogLevel
public static final String optOntology
public static final String optOperation
public static final String optOutput
public static final String optRenderer
public static final String optTimeOut
public static final String optVerbose
public static final String optVersion
public static final String rendererFunctional
public static final String rendererKRSS
public static final String rendererKRSS2
public static final String rendererKRSS2OWL
public static final String rendererLatex
public static final String rendererManchester
public static final String rendererXML
public static final String versionInfo
public static void main(String[] args) throws org.semanticweb.owlapi.io.OWLRendererException, org.semanticweb.owlapi.model.OWLOntologyCreationException, SecurityException, IOException
args
- a list containing the command line parameters, they are first
parameter: input file (required), second parameter: output
file (required), third parameter: log level (optional)IOException
- if an I/O error occursSecurityException
- if a security error occursorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdorg.semanticweb.owlapi.io.OWLRendererException
- if a renderer error occurspublic boolean checkConsistency(File ontologyFile) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
ontologyFile
- ontology file to be checkedtrue
if and only if the given ontology is consistentorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdpublic boolean checkEntailment(File premiseFile, File conclusionFile) throws org.semanticweb.owlapi.model.OWLOntologyCreationException, org.semanticweb.owlapi.io.OWLRendererException, FileNotFoundException
premiseFile
- ontology file to be classified and used as premiseconclusionFile
- file with the conclusiontrue
if and only if the premise ontology entails the
conclusion ontologyFileNotFoundException
- if the file was not foundorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdorg.semanticweb.owlapi.io.OWLRendererException
- if a renderer error occurspublic boolean checkSatisfiability(File ontologyFile, org.semanticweb.owlapi.model.IRI conceptIRI) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
ontologyFile
- ontology file to be checkedconceptIRI
- concept IRItrue
if and only if the given concept is satisfiable
with respect to the given ontologyorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdpublic void computeClassification(File ontologyFile, File inferredFile, org.semanticweb.owlapi.io.AbstractOWLRenderer renderer) throws org.semanticweb.owlapi.model.OWLOntologyCreationException, org.semanticweb.owlapi.io.OWLRendererException, FileNotFoundException
ontologyFile
- ontology file to be classifiedinferredFile
- file to write the inferred datarenderer
- rendererFileNotFoundException
- if the file was not foundorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdorg.semanticweb.owlapi.io.OWLRendererException
- if a renderer error occurspublic JcelReasoner createReasoner(File ontologyFile) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
ontologyFile
- ontology fileorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdpublic ConsoleStarter.Mode parseMode(String argument)
argument
- mode identifierpublic org.semanticweb.owlapi.io.AbstractOWLRenderer parseRenderer(String argument)
argument
- renderer identifierpublic String renderMode(ConsoleStarter.Mode mode)
mode
- modepublic void start(String[] args) throws org.semanticweb.owlapi.io.OWLRendererException, org.semanticweb.owlapi.model.OWLOntologyCreationException, SecurityException, IOException
args
- console parameterorg.semanticweb.owlapi.io.OWLRendererException
- if a renderer error occursorg.semanticweb.owlapi.model.OWLOntologyCreationException
- if the ontology could not be createdSecurityException
- if a security error occursIOException
- if an I/O error occursCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.