A B C D E F G H I K L M N O P Q R S T V W

A

AbsoluteDepth - Class in edu.unika.aifb.owltools.metrics
The sum of the caridinalities of all subsumptionpaths in the ontology.
AbsoluteDepth(Ontology, String, Ontology) - Constructor for class edu.unika.aifb.owltools.metrics.AbsoluteDepth
 
addProblem(Problem) - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Adds a problem to the set of problems about the ontology
addTransitivity(Collection<Rule>, Ontology) - Method in class edu.unika.aifb.owltools.tools.DLPConvert
 
AllLabeled - Class in edu.unika.aifb.owltools.evaluation
Checks if in an ontology all entities have a label.
AllLabeled(Ontology, String, Ontology) - Constructor for class edu.unika.aifb.owltools.evaluation.AllLabeled
Constructor.
AllLabelled - Class in edu.unika.aifb.owltools.evaluation
Checks if in an ontology all entities have a label.
AllLabelled(Ontology, String, Ontology) - Constructor for class edu.unika.aifb.owltools.evaluation.AllLabelled
 
api - Class in edu.unika.aifb.owltools
All functionality of the owl tools is bundled here for simple usage in own programs
api() - Constructor for class edu.unika.aifb.owltools.api
 
apply(Ontology) - Method in class edu.unika.aifb.owltools.evaluation.Solution
Applies this solution to an ontology

B

beanify(String, boolean) - Static method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
Return first letter uppercase, all other letters lowercase Remove all non-alphanumeric Taken from RDFReactor, with eternal gratefulness to mvo

C

Clear - Class in edu.unika.aifb.owltools.utils
Deletes all axioms from an ontology
Clear() - Constructor for class edu.unika.aifb.owltools.utils.Clear
 
clear(Ontology) - Static method in class edu.unika.aifb.owltools.utils.Clear
Deletes all axioms from an ontology.
clearline() - Method in class edu.unika.aifb.owltools.shell.ShellWindow
clears the current line
close() - Method in class edu.unika.aifb.owltools.utils.Printer
closes the writer.
compile() - Method in class edu.unika.aifb.owltools.server.Server
 
compile() - Method in class edu.unika.aifb.owltools.shell.Shell
starts the shell after having processed all arguments
compile() - Method in class edu.unika.aifb.owltools.tools.Ded
Entry point for the command line based usage of the ded owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Deo
Entry point for the command line based usage of the ded owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Diff
Entry point for the command line based usage of the Dump owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.DLPConvert
 
compile() - Method in class edu.unika.aifb.owltools.tools.Dump
Entry point for the command line based usage of the Dump owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Evaluate
Entry point for the command line based usage of the evaluation owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Filter
Entry point for the command line based usage of the Filter owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Latex
Entry point for the command line based usage of the latex owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Luna
Entry point for the command line based usage of the Filter owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Merge
Entry point for the command line based usage of the Filter owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Meta
Entry point for the command line based usage of the Filter owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Metrics
Entry point for the command line based usage of the evaluation owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Populate
Entry point for the command line based usage of the Filter owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Satisfiable
Entry point for the command line based usage of the Filter owl tool
compile() - Method in class edu.unika.aifb.owltools.tools.Script
 
compile() - Method in class edu.unika.aifb.owltools.tools.Syntax
Entry point for the command line based usage of the Filter owl tool
compileString(String, String) - Static method in class edu.unika.aifb.owltools.tools.DLPConvert
Reads a string as an ontology and then converts this ontology.
compileString(String, String) - Method in class edu.unika.aifb.owltools.tools.Syntax
Creates a converted ontology from an input String.
compileToFlogic(String) - Static method in class edu.unika.aifb.owltools.tools.DLPConvert
Serializes the result in Flogic.
compileUri(String, String) - Static method in class edu.unika.aifb.owltools.tools.DLPConvert
Creates a DLPConversion based on an URI.
compileUri(String, String) - Method in class edu.unika.aifb.owltools.tools.Syntax
Creates a String with the converted ontology (from an URI).
ConsoleKeyListener - Class in edu.unika.aifb.owltools.shell
this is a helper class for the shell. it circumvents java's impossibility of catching each keystroke and thus offer autocompletion possibilities
ConsoleKeyListener(ShellWindow) - Constructor for class edu.unika.aifb.owltools.shell.ConsoleKeyListener
Constructor for the listener
context - Variable in class edu.unika.aifb.owltools.evaluation.Evaluation
Evaluation context
context - Variable in class edu.unika.aifb.owltools.metrics.Metric
Measurement context
count(Ontology) - Static method in class edu.unika.aifb.owltools.api
Counts the number of axioms in an ontology
count(Ontology, Class) - Static method in class edu.unika.aifb.owltools.api
Counts the number of axioms of a specific kind in an ontology
count(Ontology) - Method in class edu.unika.aifb.owltools.tools.Dump
Counts the number of axioms in an ontology
count(Ontology, Class) - Method in class edu.unika.aifb.owltools.tools.Dump
Counts the number of axioms of the specified kind in an ontology
countEntities(Ontology) - Static method in class edu.unika.aifb.owltools.api
Counts the number of entities in an ontology
countEntities(Ontology, Class) - Static method in class edu.unika.aifb.owltools.api
Counts the number of entities of a specific kind in an ontology
countEntities(Ontology) - Method in class edu.unika.aifb.owltools.tools.Dump
Counts the number of entities mentioned in an ontology
countEntities(Ontology, Class) - Method in class edu.unika.aifb.owltools.tools.Dump
Counts the number of entities of the specified kind in an ontology
cursorX() - Method in class edu.unika.aifb.owltools.shell.ShellWindow
X-Position of the cursor

D

debug(String) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for development messages
debug(int) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for detailed messages.
Ded - Class in edu.unika.aifb.owltools.tools
ded weakens ontologies by removing datatype range declarations.
Ded() - Constructor for class edu.unika.aifb.owltools.tools.Ded
 
ded(Ontology) - Method in class edu.unika.aifb.owltools.tools.Ded
 
defaultbehaviour(Object) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
This is the defaultbehavour called by the visitor.
DefaultOpenProgressListener - Class in edu.unika.aifb.owltools.utils
Emptry OpenProgressListener
DefaultOpenProgressListener() - Constructor for class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
demeta(Ontology, Ontology) - Static method in class edu.unika.aifb.owltools.api
Creates a concrete ontology from a metaontology
demeta(Ontology) - Method in class edu.unika.aifb.owltools.tools.Meta
Takes a metaontology and extracts the concrete ontology out of it
demeta(Ontology, Ontology) - Method in class edu.unika.aifb.owltools.tools.Meta
Takes a metaontology and extracts the concrete ontology out of it
Deo - Class in edu.unika.aifb.owltools.tools
Deo weakens ontologies by transforming nominals in simple classes.
Deo() - Constructor for class edu.unika.aifb.owltools.tools.Deo
 
deo(Ontology) - Method in class edu.unika.aifb.owltools.tools.Deo
Takes an ontology and replaces all the nominals inside by simple class membership
deo(Ontology) - Static method in class edu.unika.aifb.owltools.tools.Script
 
description - Variable in class edu.unika.aifb.owltools.evaluation.Evaluation
Describes the evaluation result in a human readable form
description - Variable in class edu.unika.aifb.owltools.evaluation.Problem
Human-readable description of the problem.
description - Variable in class edu.unika.aifb.owltools.evaluation.Solution
Human-readable description of the solution
destroy() - Method in class edu.unika.aifb.owltools.server.KaonServer
 
developmentVersion() - Static method in class edu.unika.aifb.owltools.OWLTools
Is this a development version?
diff(Ontology, Ontology, Ontology) - Static method in class edu.unika.aifb.owltools.api
Gets the difference between two ontologies.
Diff - Class in edu.unika.aifb.owltools.tools
Returns all axioms that are within one, but not within the other ontology
Diff() - Constructor for class edu.unika.aifb.owltools.tools.Diff
 
diff(Ontology, Ontology) - Method in class edu.unika.aifb.owltools.tools.Diff
Creates an ontology for the output instead needing to be supplied with one.
diff(Ontology, Ontology, Ontology) - Method in class edu.unika.aifb.owltools.tools.Diff
Saves all the axioms that are in the diff ontology but not in base ontology in the result ontology
DLPConvert - Class in edu.unika.aifb.owltools.tools
DLPconvert is a tool to transform different syntactical representations of a DLP program into each other (refer to Raphael Volz, 2004).
DLPConvert() - Constructor for class edu.unika.aifb.owltools.tools.DLPConvert
 
dlpconvert(Ontology, Ontology) - Method in class edu.unika.aifb.owltools.tools.DLPConvert
Creates an ontology consisting of the rules that KAON2's conversion to disjunctive datalog creates out of the given ontology.
dlpconvert(Ontology, String, String) - Method in class edu.unika.aifb.owltools.tools.DLPConvert
Convenience interface.
dlpconvert(Ontology) - Method in class edu.unika.aifb.owltools.tools.DLPConvert
Convenience interface, so you can easily work with ontologies without having to define a name for it.
DLPConvert.Format - Enum in edu.unika.aifb.owltools.tools
Specifies the different possible formats that dlpconvert is able to serialise set of rules in.
DLPConvert.IntegrityConstraintHandling - Enum in edu.unika.aifb.owltools.tools
Possibilities of how to handle integrity constraints.
doGet(HttpServletRequest, HttpServletResponse) - Method in class edu.unika.aifb.owltools.server.KaonServer
 
doPost(HttpServletRequest, HttpServletResponse) - Method in class edu.unika.aifb.owltools.server.KaonServer
 
dump(Ontology) - Static method in class edu.unika.aifb.owltools.api
Returns a list of all axioms in the ontology.
dump(Ontology, Class) - Static method in class edu.unika.aifb.owltools.api
Returns a list of all axioms of a certain kind.
Dump - Class in edu.unika.aifb.owltools.tools
dump is used to serialize the ontology, or filtered parts of it, or to count it
Dump() - Constructor for class edu.unika.aifb.owltools.tools.Dump
 
dump(Ontology) - Method in class edu.unika.aifb.owltools.tools.Dump
Lists all the axioms of the ontology
dump(Ontology, Class) - Method in class edu.unika.aifb.owltools.tools.Dump
Lists all the axioms of a special kind
dumpEntities(Ontology) - Static method in class edu.unika.aifb.owltools.api
Returns a list of all entities mentioned in the ontology
dumpEntities(Ontology, Class) - Static method in class edu.unika.aifb.owltools.api
List all entities of a specified type
dumpEntities(Ontology) - Method in class edu.unika.aifb.owltools.tools.Dump
Lists all entities in the ontology
dumpEntities(Ontology, Class) - Method in class edu.unika.aifb.owltools.tools.Dump
Lists all entities of the specified kind in the ontology

E

edu.unika.aifb.owltools - package edu.unika.aifb.owltools
 
edu.unika.aifb.owltools.evaluation - package edu.unika.aifb.owltools.evaluation
 
edu.unika.aifb.owltools.metrics - package edu.unika.aifb.owltools.metrics
 
edu.unika.aifb.owltools.serializer - package edu.unika.aifb.owltools.serializer
 
edu.unika.aifb.owltools.server - package edu.unika.aifb.owltools.server
 
edu.unika.aifb.owltools.shell - package edu.unika.aifb.owltools.shell
 
edu.unika.aifb.owltools.tools - package edu.unika.aifb.owltools.tools
 
edu.unika.aifb.owltools.utils - package edu.unika.aifb.owltools.utils
 
emptyHead() - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
encounteredDDL() - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
end() - Method in class edu.unika.aifb.owltools.serializer.FLogicSerializer
 
end() - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
end() - Method in class edu.unika.aifb.owltools.serializer.RuleMLSerializer
Epilog of a RuleML file
endConnection() - Method in class edu.unika.aifb.owltools.tools.KAON2Tool
closes an existing KAON2Connection
error - Variable in class edu.unika.aifb.owltools.metrics.Metric
A possible error message when measuring failes
error - Variable in class edu.unika.aifb.owltools.utils.Printer
Place to save error output (for example in HTML'ed output)
error(String) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for error messages.
eval(String) - Method in class edu.unika.aifb.owltools.shell.Shell
evaluates the user input
eval(String) - Method in class edu.unika.aifb.owltools.shell.ShellWindow
evaluates the entered command
evaluate() - Method in class edu.unika.aifb.owltools.evaluation.AllLabeled
Checks if in an ontology all entities have a label.
evaluate() - Method in class edu.unika.aifb.owltools.evaluation.AllLabelled
Checks if in an ontology all entities have a label
evaluate() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Implements the actual evaluation
Evaluate - Class in edu.unika.aifb.owltools.tools
Accesses the evaluation package for the command line tools
Evaluate() - Constructor for class edu.unika.aifb.owltools.tools.Evaluate
 
Evaluation - Class in edu.unika.aifb.owltools.evaluation
Performs an ontology evaluation.
evaluationClassDescription() - Method in class edu.unika.aifb.owltools.evaluation.AllLabeled
Human-readable description of the evaluation type.
evaluationClassDescription() - Method in class edu.unika.aifb.owltools.evaluation.AllLabelled
 
evaluationClassDescription() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Human-readable description of what this evaluation is doing.
evaluationClassName() - Method in class edu.unika.aifb.owltools.evaluation.AllLabeled
Human-readable name for the evaluation type.
evaluationClassName() - Method in class edu.unika.aifb.owltools.evaluation.AllLabelled
 
evaluationClassName() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Human-readable name of the Evaluation.
evaluationClassURI() - Method in class edu.unika.aifb.owltools.evaluation.AllLabeled
URI for the evaluation type.
evaluationClassURI() - Method in class edu.unika.aifb.owltools.evaluation.AllLabelled
 
evaluationClassURI() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
URI for the class of evaluations.
evaluationURIBase - Variable in class edu.unika.aifb.owltools.evaluation.Evaluation
The base namesapce for the generated evaluation URIs

F

filter(Ontology, Class) - Static method in class edu.unika.aifb.owltools.api
Filters an ontology by only leaving axioms of a certain kind inside the ontology
Filter - Class in edu.unika.aifb.owltools.tools
Filter removes axioms from an ontology, specified by their axiom type
Filter() - Constructor for class edu.unika.aifb.owltools.tools.Filter
 
filter(Ontology, Class) - Method in class edu.unika.aifb.owltools.tools.Filter
Removes all axioms but those of the specified kind from an ontology
filterOut(Ontology, Class) - Static method in class edu.unika.aifb.owltools.api
Filters an ontology be removing all axioms of a certain kind from the ontology
filterOut(Ontology, Class) - Method in class edu.unika.aifb.owltools.tools.Filter
Removes all axioms of a certain kind from an ontology
FLogicSerializer - Class in edu.unika.aifb.owltools.serializer
Serializes a program in F-Logic.
FLogicSerializer(Printer) - Constructor for class edu.unika.aifb.owltools.serializer.FLogicSerializer
 

G

getBestSolution() - Method in class edu.unika.aifb.owltools.evaluation.Problem
Returns the solution that is rated best by the evaluation.
getContext() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
The context of the evaluation
getContext() - Method in class edu.unika.aifb.owltools.metrics.Metric
The context of the measurement
getDescription() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Human readable description of how the evaluation fared
getDescription() - Method in class edu.unika.aifb.owltools.evaluation.Problem
Human readable description of the problem
getDescription() - Method in class edu.unika.aifb.owltools.evaluation.Solution
A human-readable description of the solution proposal
getDistance(Ontology, OWLClass, OWLClass) - Method in class edu.unika.aifb.owltools.tools.Script
 
getError() - Method in class edu.unika.aifb.owltools.metrics.Metric
Contains the error message in case the measuring fails
getEvaluation() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
An evaluation always return a value in [0,1]
getLevel(Ontology, OWLClass) - Method in class edu.unika.aifb.owltools.tools.Script
 
getOntology() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
The ontology being evaluated
getOntology() - Method in class edu.unika.aifb.owltools.metrics.Metric
The ontology being measured
getOutput() - Method in class edu.unika.aifb.owltools.utils.Printer
get the internally saved output
getPair(Ontology) - Method in class edu.unika.aifb.owltools.tools.Script
 
getPreference() - Method in class edu.unika.aifb.owltools.evaluation.Solution
The preference for this solution.
getProblematicPart() - Method in class edu.unika.aifb.owltools.evaluation.Problem
Which part of the ontology is problematic?
getProblemMap() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Returns all the identified problems of the Evaluation
getProblems() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Returns all the identified problems of the Evaluation
getRandomURIProblem() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Creates a new random URI for a problem
getRandomURISolution() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Creates a new random URI for a solution
getResult() - Method in class edu.unika.aifb.owltools.metrics.Metric
The result of the metric
getScreech() - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
getSeverity() - Method in class edu.unika.aifb.owltools.evaluation.Problem
How bad is the problem?
getSolution() - Method in class edu.unika.aifb.owltools.evaluation.Solution
The implementation of the solution
getSolutionMap() - Method in class edu.unika.aifb.owltools.evaluation.Problem
Returns possible solutions to the problem.
getSolutions() - Method in class edu.unika.aifb.owltools.evaluation.Problem
Returns possible solutions to the problem.
getURI() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Returns the URI of the evaluation
getURI() - Method in class edu.unika.aifb.owltools.evaluation.Problem
The URI of the problem
getURI() - Method in class edu.unika.aifb.owltools.evaluation.Solution
The URI for this solution
getURI() - Method in class edu.unika.aifb.owltools.metrics.Metric
Returns the URI of the metric measurement
getVariable(Literal) - Method in class edu.unika.aifb.owltools.serializer.FLogicSerializer
 

H

hasNegation() - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
html - Variable in class edu.unika.aifb.owltools.utils.Printer
Is the output to be HTML-escaped?

I

init() - Method in class edu.unika.aifb.owltools.server.KaonServer
 
intend(int) - Method in class edu.unika.aifb.owltools.serializer.RuleMLSerializer
Make the proper intendation

K

KAON2Tool - Class in edu.unika.aifb.owltools.tools
Common code for all the owl tools
KAON2Tool() - Constructor for class edu.unika.aifb.owltools.tools.KAON2Tool
Constructor.
KAON2VisitorAdapter - Class in edu.unika.aifb.owltools.utils
Default implementation of the visitor.
KAON2VisitorAdapter() - Constructor for class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
KaonServer - Class in edu.unika.aifb.owltools.server
Implements a very simple HttpServlet with a very strange interface.
KaonServer() - Constructor for class edu.unika.aifb.owltools.server.KaonServer
 
keyPressed(KeyEvent) - Method in class edu.unika.aifb.owltools.shell.ConsoleKeyListener
catches the key event

L

lastline() - Method in class edu.unika.aifb.owltools.shell.ShellWindow
what is the last line of the console?
latex(Ontology) - Static method in class edu.unika.aifb.owltools.api
Creates a latex serialization of an ontology.
Latex - Class in edu.unika.aifb.owltools.tools
Latex makes a DL-rendering fo an ontology that can be used within Latex
Latex() - Constructor for class edu.unika.aifb.owltools.tools.Latex
 
latex(Ontology, boolean) - Method in class edu.unika.aifb.owltools.tools.Latex
creates a latex program out of an ontology
LatexSerializer - Class in edu.unika.aifb.owltools.serializer
Serializes an ontology in latex code
LatexSerializer() - Constructor for class edu.unika.aifb.owltools.serializer.LatexSerializer
 
linestart() - Method in class edu.unika.aifb.owltools.shell.ShellWindow
locates where the line starts
loadOntology(String) - Method in class edu.unika.aifb.owltools.server.KaonServer
 
loadOntology(String) - Method in class edu.unika.aifb.owltools.tools.KAON2Tool
loads an ontology.
luna(Ontology) - Static method in class edu.unika.aifb.owltools.api
Adds an axiom to an ontology that makes all the individuals in the ontology mutually different.
Luna - Class in edu.unika.aifb.owltools.tools
Asserts that all individuals in an ontology are different from each other
Luna() - Constructor for class edu.unika.aifb.owltools.tools.Luna
 
luna(Ontology) - Method in class edu.unika.aifb.owltools.tools.Luna
Adds an axiom to the ontology that states that all individuals are different from each other.

M

m_connection - Variable in class edu.unika.aifb.owltools.tools.KAON2Tool
The KAON2Connection for the tool
m_DDL - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_emptyHead - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_ichandling - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_nameStyle - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_negation - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_printer - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_screech - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
m_stat - Variable in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
main(String[]) - Static method in class edu.unika.aifb.owltools.OWLTools
Figures out which owl tool to call and does so
main(String[]) - Static method in class edu.unika.aifb.owltools.server.Server
 
main(String[]) - Static method in class edu.unika.aifb.owltools.shell.Shell
to be started from the command line as an extra tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Ded
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Deo
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Diff
If the tool is being called from the outside, some basic processing is being done
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.DLPConvert
Allows to start dlpconvert from the command line as well.
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Dump
If the tool is being called from the outside, some basic processing is being done
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Evaluate
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Filter
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Latex
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Luna
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Merge
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Meta
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Metrics
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Populate
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Satisfiable
To be called when used from a standalone command line tool
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Script
 
main(String[]) - Static method in class edu.unika.aifb.owltools.tools.Syntax
To be called when used from a standalone command line tool
makeTaxon(Map<String, Integer>, Ontology, OWLClass, int) - Method in class edu.unika.aifb.owltools.tools.Script
 
MaximalDepth - Class in edu.unika.aifb.owltools.metrics
Calculates the longest asserted subsumption path in the class hierarchy.
MaximalDepth(Ontology, String, Ontology) - Constructor for class edu.unika.aifb.owltools.metrics.MaximalDepth
 
measure() - Method in class edu.unika.aifb.owltools.metrics.AbsoluteDepth
 
measure() - Method in class edu.unika.aifb.owltools.metrics.MaximalDepth
 
measure() - Method in class edu.unika.aifb.owltools.metrics.Metric
Implements the actual measurement
merge(Ontology, Ontology, Ontology) - Static method in class edu.unika.aifb.owltools.api
Merges two ontologies.
Merge - Class in edu.unika.aifb.owltools.tools
Returns an ontology conaining all axioms from both ontologies
Merge() - Constructor for class edu.unika.aifb.owltools.tools.Merge
 
merge(Ontology, Ontology) - Method in class edu.unika.aifb.owltools.tools.Merge
Merges two ontologies
merge(Ontology, Ontology, Ontology) - Method in class edu.unika.aifb.owltools.tools.Merge
Merges two ontologies by simply taking each axiom and adding it to a resulting ontology
meta(Ontology, Ontology) - Static method in class edu.unika.aifb.owltools.api
Creates a metaontology of an ontology based on the OWL Metamodel.
Meta - Class in edu.unika.aifb.owltools.tools
meta makes a meta-ontology from an ontology, and back again
Meta() - Constructor for class edu.unika.aifb.owltools.tools.Meta
 
meta(Ontology, boolean) - Method in class edu.unika.aifb.owltools.tools.Meta
Creates a metaontology out of an ontology
meta(Ontology, Ontology, boolean) - Method in class edu.unika.aifb.owltools.tools.Meta
Createas a metaontology out of an ontology
Metric - Class in edu.unika.aifb.owltools.metrics
Calculates a structural metric
metricClassDescription() - Method in class edu.unika.aifb.owltools.metrics.AbsoluteDepth
 
metricClassDescription() - Method in class edu.unika.aifb.owltools.metrics.MaximalDepth
 
metricClassDescription() - Method in class edu.unika.aifb.owltools.metrics.Metric
Human-readable description of what the metric is measuring.
metricClassName() - Method in class edu.unika.aifb.owltools.metrics.AbsoluteDepth
 
metricClassName() - Method in class edu.unika.aifb.owltools.metrics.MaximalDepth
 
metricClassName() - Method in class edu.unika.aifb.owltools.metrics.Metric
Human-readable name of the Metric.
metricClassURI() - Method in class edu.unika.aifb.owltools.metrics.AbsoluteDepth
 
metricClassURI() - Method in class edu.unika.aifb.owltools.metrics.MaximalDepth
 
metricClassURI() - Method in class edu.unika.aifb.owltools.metrics.Metric
URI for the metric class.
Metrics - Class in edu.unika.aifb.owltools.tools
Accesses several metrics implementations in the metrics package for the command line
Metrics() - Constructor for class edu.unika.aifb.owltools.tools.Metrics
 
metricsURIBase - Variable in class edu.unika.aifb.owltools.metrics.Metric
The base namesapce for the generated measurement URIs

N

name() - Method in class edu.unika.aifb.owltools.server.Server
 
name() - Method in class edu.unika.aifb.owltools.shell.Shell
name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Ded
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Deo
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Diff
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.DLPConvert
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Dump
Name of the tool
name() - Method in class edu.unika.aifb.owltools.tools.Evaluate
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Filter
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.KAON2Tool
the name of the specified tool.
name() - Method in class edu.unika.aifb.owltools.tools.Latex
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Luna
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Merge
the name of the tool
name() - Method in class edu.unika.aifb.owltools.tools.Meta
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Metrics
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Populate
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Satisfiable
the name of the owl tool
name() - Method in class edu.unika.aifb.owltools.tools.Script
 
name() - Method in class edu.unika.aifb.owltools.tools.Syntax
the name of the tool
newline() - Method in class edu.unika.aifb.owltools.shell.ShellWindow
adds a new line to the console
nextCommand() - Method in class edu.unika.aifb.owltools.shell.ShellWindow
a command is finished, now the next

O

ontology - Variable in class edu.unika.aifb.owltools.evaluation.Evaluation
Evaluated ontology
ontology - Variable in class edu.unika.aifb.owltools.metrics.Metric
Measured ontology
ontologyOpenCompleted(String) - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
ontologyOpenStarted(String) - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
openAborted() - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
openCompleted() - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
openPhaseCompleted(OpenProgressListener.Phase) - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
openPhaseStarted(OpenProgressListener.Phase) - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
openStarted() - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
OWLTools - Class in edu.unika.aifb.owltools
OWLTools provides the interface to the command line
OWLTools() - Constructor for class edu.unika.aifb.owltools.OWLTools
 

P

populate(Ontology, int) - Static method in class edu.unika.aifb.owltools.api
Populates an ontology with random instances
Populate - Class in edu.unika.aifb.owltools.tools
creates instances for classes
Populate() - Constructor for class edu.unika.aifb.owltools.tools.Populate
 
populate(Ontology, int) - Method in class edu.unika.aifb.owltools.tools.Populate
Populates an ontology with newly created individuals.
preference - Variable in class edu.unika.aifb.owltools.evaluation.Solution
How good is this solution deemed by the evaluation?
print(Object) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for usual messages, that actually are not part of the output.
printer - Variable in class edu.unika.aifb.owltools.tools.KAON2Tool
The printer for the different kinds of output.
Printer - Class in edu.unika.aifb.owltools.utils
Printer offers static sinks for different kind of messages.
Printer() - Constructor for class edu.unika.aifb.owltools.utils.Printer
 
printUsage() - Static method in class edu.unika.aifb.owltools.OWLTools
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.server.Server
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.shell.Shell
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Ded
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Deo
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Diff
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.DLPConvert
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Dump
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Evaluate
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Filter
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Latex
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Luna
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Merge
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Meta
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Metrics
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Populate
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Satisfiable
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Script
prints the command line parameters and a short info
printUsage() - Static method in class edu.unika.aifb.owltools.tools.Syntax
prints the command line parameters and a short info
printUsageError() - Static method in class edu.unika.aifb.owltools.OWLTools
prints a short excuse after not understandable rambling
printUsageError() - Method in class edu.unika.aifb.owltools.tools.KAON2Tool
prints a short excuse after not understandable input
printVersion() - Static method in class edu.unika.aifb.owltools.OWLTools
prints the version and copyright information
Problem - Class in edu.unika.aifb.owltools.evaluation
A problem that is identified by an ontology evaluation
Problem(String, Ontology, String, Map<String, Solution>, double) - Constructor for class edu.unika.aifb.owltools.evaluation.Problem
Creates a Problem
problematicPart - Variable in class edu.unika.aifb.owltools.evaluation.Problem
The part of the ontology that includes the problem.
problems - Variable in class edu.unika.aifb.owltools.evaluation.Evaluation
The problems and their URIs
processAnnotation(Object) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
processArguments(String[]) - Method in class edu.unika.aifb.owltools.server.Server
 
processArguments(String[]) - Method in class edu.unika.aifb.owltools.shell.Shell
processes command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Ded
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Deo
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Diff
processes the command line parameteres
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.DLPConvert
Processes the command line parameters and sets the appropriate flags instead.
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Dump
processes the command line parameteres
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Evaluate
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Filter
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.KAON2Tool
needs to be implemented by all tools: processArgument to process all the given command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Latex
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Luna
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Merge
process command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Meta
process command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Metrics
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Populate
Processes the command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Satisfiable
process command line arguments
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Script
 
processArguments(String[]) - Method in class edu.unika.aifb.owltools.tools.Syntax
process command line arguments
processLiteral(Object) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
processName(String) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
ProgramSerializer - Class in edu.unika.aifb.owltools.serializer
An abstract serializer for programs.
ProgramSerializer(Printer) - Constructor for class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
ProgramSerializer.NameSerializationStyle - Enum in edu.unika.aifb.owltools.serializer
 
PrologSerializer - Class in edu.unika.aifb.owltools.serializer
Serializes a set of rules to an XSB Prolog program.
PrologSerializer(Printer) - Constructor for class edu.unika.aifb.owltools.serializer.PrologSerializer
 
put(Object) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for the output of the program.
putline(Object) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for the output of the program (ending the output with a new line).

Q

queryTop(Ontology) - Method in class edu.unika.aifb.owltools.tools.Script
 

R

replaceLastWord(String) - Method in class edu.unika.aifb.owltools.shell.ShellWindow
this is needed for the autocompletion
result - Variable in class edu.unika.aifb.owltools.metrics.Metric
The measurement result
RuleMLSerializer - Class in edu.unika.aifb.owltools.serializer
Serializes a program into a RuleML file
RuleMLSerializer(Printer) - Constructor for class edu.unika.aifb.owltools.serializer.RuleMLSerializer
 
RuleSerializer - Class in edu.unika.aifb.owltools.serializer
Serializes a set of rules the internal KAON2 way.
RuleSerializer(Printer) - Constructor for class edu.unika.aifb.owltools.serializer.RuleSerializer
 

S

satisfiable(Ontology) - Static method in class edu.unika.aifb.owltools.api
Checks if an ontology is logically satisfiable
Satisfiable - Class in edu.unika.aifb.owltools.tools
Satisiable loads an ontology and lets KAON2 check if it is satisfiable
Satisfiable() - Constructor for class edu.unika.aifb.owltools.tools.Satisfiable
 
satisfiable(Ontology) - Method in class edu.unika.aifb.owltools.tools.Satisfiable
Checks if the fiven ontology is satisfiable
screech(Ontology) - Method in class edu.unika.aifb.owltools.tools.DLPConvert
Creates an ontology consisting of the rules that KAON2's converstion to disjunctive datalog creates.
Script - Class in edu.unika.aifb.owltools.tools
This is an experimental class.
Script() - Constructor for class edu.unika.aifb.owltools.tools.Script
 
script(Ontology) - Method in class edu.unika.aifb.owltools.tools.Script
 
script1(Ontology) - Method in class edu.unika.aifb.owltools.tools.Script
 
scriptNominal(Ontology) - Method in class edu.unika.aifb.owltools.tools.Script
 
Server - Class in edu.unika.aifb.owltools.server
 
Server() - Constructor for class edu.unika.aifb.owltools.server.Server
 
server(Ontology, HttpServer) - Static method in class edu.unika.aifb.owltools.server.Server
 
setEvaluation(double) - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Sets the evaluation grade.
setFile(String) - Method in class edu.unika.aifb.owltools.utils.Printer
The output will be saved to a file
setIC(DLPConvert.IntegrityConstraintHandling) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
setline(String) - Method in class edu.unika.aifb.owltools.shell.ShellWindow
adds a new line
setScreech(boolean) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
setSimple(boolean) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
setStat(boolean) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
setString() - Method in class edu.unika.aifb.owltools.utils.Printer
the output needs to be saved internally
setStyle(ProgramSerializer.NameSerializationStyle) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
severity - Variable in class edu.unika.aifb.owltools.evaluation.Problem
How bad is the problem (in [0, 1]
Shell - Class in edu.unika.aifb.owltools.shell
Implements an experimental shell to work with OWL files (beta)
Shell() - Constructor for class edu.unika.aifb.owltools.shell.Shell
 
ShellWindow - Class in edu.unika.aifb.owltools.shell
the window with the OWL shell.
ShellWindow(Shell) - Constructor for class edu.unika.aifb.owltools.shell.ShellWindow
constructor for the acutal shell window
Solution - Class in edu.unika.aifb.owltools.evaluation
A solution provided by an evaluation to a certain identified problem.
Solution(String, List<OntologyChangeEvent>, String, double) - Constructor for class edu.unika.aifb.owltools.evaluation.Solution
Creates a solution
solution - Variable in class edu.unika.aifb.owltools.evaluation.Solution
The ontology change events that make up the solution
solutions - Variable in class edu.unika.aifb.owltools.evaluation.Problem
A number of possible solutions.
start() - Method in class edu.unika.aifb.owltools.serializer.FLogicSerializer
 
start(String) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
start() - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
start() - Method in class edu.unika.aifb.owltools.serializer.RuleMLSerializer
Prolog of a RuleML file
stop(HttpServer) - Static method in class edu.unika.aifb.owltools.server.Server
 
succesfulEvaluation() - Method in class edu.unika.aifb.owltools.evaluation.Evaluation
Has there been a succesful evaluation?
succesfulMeasurement() - Method in class edu.unika.aifb.owltools.metrics.Metric
Has there been a succesful measurement?
Syntax - Class in edu.unika.aifb.owltools.tools
Syntax calls KAON2 in order to load an OWL ontology in one serialisation and to export it in another
Syntax() - Constructor for class edu.unika.aifb.owltools.tools.Syntax
 

T

toName(String) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
toName(String) - Static method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
toName gives a resource a readable and prologable name Based on RDFReactors code, with eternal gratefulness to mvo

V

valueOf(String) - Static method in enum edu.unika.aifb.owltools.serializer.ProgramSerializer.NameSerializationStyle
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.unika.aifb.owltools.tools.DLPConvert.Format
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.unika.aifb.owltools.tools.DLPConvert.IntegrityConstraintHandling
Returns the enum constant of this type with the specified name.
values() - Static method in enum edu.unika.aifb.owltools.serializer.ProgramSerializer.NameSerializationStyle
Returns an array containing the constants of this enum type, in the order they're declared.
values() - Static method in enum edu.unika.aifb.owltools.tools.DLPConvert.Format
Returns an array containing the constants of this enum type, in the order they're declared.
values() - Static method in enum edu.unika.aifb.owltools.tools.DLPConvert.IntegrityConstraintHandling
Returns an array containing the constants of this enum type, in the order they're declared.
verbose - Variable in class edu.unika.aifb.owltools.utils.Printer
Should verbose output be shown or not?
verbose(String) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for detailed messages.
verbose(int) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for detailed messages.
version() - Static method in class edu.unika.aifb.owltools.OWLTools
Returns the version string.
visit(Rule) - Method in class edu.unika.aifb.owltools.serializer.FLogicSerializer
 
visit(Literal) - Method in class edu.unika.aifb.owltools.serializer.FLogicSerializer
 
visit(DataAll) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataCardinality) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataHasValue) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataSome) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectAll) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectAnd) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectCardinality) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectHasValue) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectNot) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectOneOf) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectOr) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectSome) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(OWLClass) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataProperty) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(AnnotationProperty) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(Individual) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectProperty) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(Rule) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(Literal) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(Variable) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataRange) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(Annotation) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ClassMember) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataPropertyAttribute) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataPropertyDomain) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataPropertyMember) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DataPropertyRange) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DifferentIndividuals) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(DisjointClasses) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(EquivalentClasses) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(EquivalentDataProperties) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(EquivalentObjectProperties) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(InverseObjectProperties) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectPropertyAttribute) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectPropertyDomain) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectPropertyMember) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(ObjectPropertyRange) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(SameIndividual) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(SubClassOf) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(SubDataPropertyOf) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(SubObjectPropertyOf) - Method in class edu.unika.aifb.owltools.serializer.LatexSerializer
 
visit(List<Rule>) - Method in class edu.unika.aifb.owltools.serializer.ProgramSerializer
 
visit(Rule) - Method in class edu.unika.aifb.owltools.serializer.PrologSerializer
 
visit(Literal) - Method in class edu.unika.aifb.owltools.serializer.PrologSerializer
 
visit(Constant) - Method in class edu.unika.aifb.owltools.serializer.PrologSerializer
 
visit(Individual) - Method in class edu.unika.aifb.owltools.serializer.PrologSerializer
 
visit(Variable) - Method in class edu.unika.aifb.owltools.serializer.PrologSerializer
 
visit(Rule) - Method in class edu.unika.aifb.owltools.serializer.RuleMLSerializer
How to serialize a rule
visit(Literal) - Method in class edu.unika.aifb.owltools.serializer.RuleMLSerializer
Serializes a literal
visit(Rule) - Method in class edu.unika.aifb.owltools.serializer.RuleSerializer
just serializes a rule the KAON2 format
visit(Predicate) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Exists) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DefaultNegation) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(PredicateSymbol) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Forall) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ClassicalNegation) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Conjunction) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(QueryDefinition) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(FMolecule) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Disjunction) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(FMethodCall) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Implication) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(FunctionalTerm) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Equivalence) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Individual) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(AnnotationProperty) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataProperty) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectProperty) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Datatype) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(OWLClass) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Variable) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Constant) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Literal) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataNot) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataOneOf) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataAll) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataSome) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataCardinality) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataHasValue) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectAll) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectSome) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectCardinality) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectOneOf) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectHasValue) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectNot) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectOr) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectAnd) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Rule) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(SubClassOf) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(EquivalentClasses) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DisjointClasses) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataPropertyAttribute) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataPropertyDomain) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataPropertyRange) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(SubDataPropertyOf) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(EquivalentDataProperties) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectPropertyAttribute) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectPropertyDomain) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectPropertyRange) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(SubObjectPropertyOf) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(EquivalentObjectProperties) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(InverseObjectProperties) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(SameIndividual) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DifferentIndividuals) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(DataPropertyMember) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ObjectPropertyMember) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(ClassMember) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Annotation) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Deprecation) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(Ontology) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 
visit(KAON2Connection) - Method in class edu.unika.aifb.owltools.utils.KAON2VisitorAdapter
 

W

warning - Variable in class edu.unika.aifb.owltools.utils.Printer
Should warnings be shown or not?
warning(String) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for warnings.
warning(int) - Method in class edu.unika.aifb.owltools.utils.Printer
Used for warnings.
workUnitCompleted(int) - Method in class edu.unika.aifb.owltools.utils.DefaultOpenProgressListener
 
writer - Variable in class edu.unika.aifb.owltools.utils.Printer
Saves the writer for the printer

A B C D E F G H I K L M N O P Q R S T V W