Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
G
H
I
L
M
N
O
P
R
S
T
U
V
W
D
de.dfleischhacker.uni.thesis
- package de.dfleischhacker.uni.thesis
de.dfleischhacker.uni.thesis.calculator
- package de.dfleischhacker.uni.thesis.calculator
de.dfleischhacker.uni.thesis.semantic
- package de.dfleischhacker.uni.thesis.semantic
de.dfleischhacker.uni.thesis.semantic.closure
- package de.dfleischhacker.uni.thesis.semantic.closure
de.dfleischhacker.uni.thesis.semantic.naturalsemantic
- package de.dfleischhacker.uni.thesis.semantic.naturalsemantic
de.dfleischhacker.uni.thesis.semantic.nullsemantic
- package de.dfleischhacker.uni.thesis.semantic.nullsemantic
de.dfleischhacker.uni.thesis.semantic.pragmaticsemantic
- package de.dfleischhacker.uni.thesis.semantic.pragmaticsemantic
de.dfleischhacker.uni.thesis.userinterface
- package de.dfleischhacker.uni.thesis.userinterface
de.dfleischhacker.uni.thesis.userinterface.swing
- package de.dfleischhacker.uni.thesis.userinterface.swing
de.dfleischhacker.uni.thesis.userinterface.textbased
- package de.dfleischhacker.uni.thesis.userinterface.textbased
de.dfleischhacker.uni.thesis.utils.alignment
- package de.dfleischhacker.uni.thesis.utils.alignment
de.dfleischhacker.uni.thesis.utils.ontology
- package de.dfleischhacker.uni.thesis.utils.ontology
de.dfleischhacker.uni.thesis.utils.ontology.nominals
- package de.dfleischhacker.uni.thesis.utils.ontology.nominals
de.dfleischhacker.uni.thesis.utils.types
- package de.dfleischhacker.uni.thesis.utils.types
de.dfleischhacker.uni.thesis.utils.wrapper
- package de.dfleischhacker.uni.thesis.utils.wrapper
DEBUG
- Static variable in class de.dfleischhacker.uni.thesis.
GlobalSettings
If set to true there will be debug outputs to console and some data created during a run will be saved iunto files.
deleteABox()
- Method in class de.dfleischhacker.uni.thesis.utils.ontology.
Ontology
Deletes individuals found in the ABox of this ontology.
detectedNominal()
- Method in class de.dfleischhacker.uni.thesis.utils.ontology.nominals.
NominalAxiomDetector
Informs about the existence of a nominal in an axiom.
dump(String)
- Method in class de.dfleischhacker.uni.thesis.utils.types.
TypeMap
Dumps the generated typemap to the given file
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
G
H
I
L
M
N
O
P
R
S
T
U
V
W