|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.unika.aifb.owltools.tools.KAON2Tool
edu.unika.aifb.owltools.tools.Satisfiable
public class Satisfiable
Satisiable loads an ontology and lets KAON2 check if it is satisfiable
Field Summary |
---|
Fields inherited from class edu.unika.aifb.owltools.tools.KAON2Tool |
---|
m_connection, printer |
Constructor Summary | |
---|---|
Satisfiable()
|
Method Summary | |
---|---|
void |
compile()
Entry point for the command line based usage of the Filter owl tool |
static void |
main(java.lang.String[] args)
To be called when used from a standalone command line tool |
java.lang.String |
name()
the name of the owl tool |
static void |
printUsage()
prints the command line parameters and a short info |
boolean |
processArguments(java.lang.String[] args)
process command line arguments |
boolean |
satisfiable(org.semanticweb.kaon2.api.Ontology ontology)
Checks if the fiven ontology is satisfiable |
Methods inherited from class edu.unika.aifb.owltools.tools.KAON2Tool |
---|
endConnection, loadOntology, printUsageError |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Satisfiable()
Method Detail |
---|
public java.lang.String name()
name
in class KAON2Tool
public static void main(java.lang.String[] args)
args
- Command line parameterspublic boolean processArguments(java.lang.String[] args)
processArguments
in class KAON2Tool
public boolean satisfiable(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
ontology
- The ontology to be checked
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
public void compile()
public static void printUsage()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |