Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes