edu.unika.aifb.owltools.tools
Class Satisfiable

java.lang.Object
  extended by edu.unika.aifb.owltools.tools.KAON2Tool
      extended by edu.unika.aifb.owltools.tools.Satisfiable

public class Satisfiable
extends KAON2Tool

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

Satisfiable

public Satisfiable()
Method Detail

name

public java.lang.String name()
the name of the owl tool

Specified by:
name in class KAON2Tool
Returns:
the name of the tool

main

public static void main(java.lang.String[] args)
To be called when used from a standalone command line tool

Parameters:
args - Command line parameters

processArguments

public boolean processArguments(java.lang.String[] args)
process command line arguments

Specified by:
processArguments in class KAON2Tool

satisfiable

public boolean satisfiable(org.semanticweb.kaon2.api.Ontology ontology)
                    throws org.semanticweb.kaon2.api.KAON2Exception,
                           java.lang.InterruptedException
Checks if the fiven ontology is satisfiable

Parameters:
ontology - The ontology to be checked
Returns:
true if the ontology is satisfiable, else false
Throws:
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException

compile

public void compile()
Entry point for the command line based usage of the Filter owl tool


printUsage

public static void printUsage()
prints the command line parameters and a short info