edu.unika.aifb.owltools.tools
Class Luna

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

public class Luna
extends KAON2Tool

Asserts that all individuals in an ontology are different from each other


Field Summary
 
Fields inherited from class edu.unika.aifb.owltools.tools.KAON2Tool
m_connection, printer
 
Constructor Summary
Luna()
           
 
Method Summary
 void compile()
          Entry point for the command line based usage of the Filter owl tool
 org.semanticweb.kaon2.api.Ontology luna(org.semanticweb.kaon2.api.Ontology ontology)
          Adds an axiom to the ontology that states that all individuals are different from each other.
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)
          Processes the command line arguments
 
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

Luna

public Luna()
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)
Processes the command line arguments

Specified by:
processArguments in class KAON2Tool

luna

public org.semanticweb.kaon2.api.Ontology luna(org.semanticweb.kaon2.api.Ontology ontology)
                                        throws org.semanticweb.kaon2.api.KAON2Exception
Adds an axiom to the ontology that states that all individuals are different from each other.

Parameters:
ontology - The ontology that needs to get the new axiom
Returns:
The changed ontology
Throws:
org.semanticweb.kaon2.api.KAON2Exception

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