Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [64] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2007-08-27 15:04:43
|
Revision: 64
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=64&view=rev
Author: jenslehmann
Date: 2007-08-27 08:04:36 -0700 (Mon, 27 Aug 2007)
Log Message:
-----------
rebuild parser and fixed a number of warnings
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/ScoreThreeValued.java
trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java
trunk/src/dl-learner/org/dllearner/algorithms/refinement/Node.java
trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator.java
trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator2.java
trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparatorStable.java
trunk/src/dl-learner/org/dllearner/dl/All.java
trunk/src/dl-learner/org/dllearner/dl/AtomicRole.java
trunk/src/dl-learner/org/dllearner/dl/Bottom.java
trunk/src/dl-learner/org/dllearner/dl/Concept.java
trunk/src/dl-learner/org/dllearner/dl/ConceptAssertion.java
trunk/src/dl-learner/org/dllearner/dl/Conjunction.java
trunk/src/dl-learner/org/dllearner/dl/Disjunction.java
trunk/src/dl-learner/org/dllearner/dl/Equality.java
trunk/src/dl-learner/org/dllearner/dl/Exists.java
trunk/src/dl-learner/org/dllearner/dl/FlatABox.java
trunk/src/dl-learner/org/dllearner/dl/FunctionalRoleAxiom.java
trunk/src/dl-learner/org/dllearner/dl/Inclusion.java
trunk/src/dl-learner/org/dllearner/dl/InverseRole.java
trunk/src/dl-learner/org/dllearner/dl/InverseRoleAxiom.java
trunk/src/dl-learner/org/dllearner/dl/KB.java
trunk/src/dl-learner/org/dllearner/dl/MultiConjunction.java
trunk/src/dl-learner/org/dllearner/dl/MultiDisjunction.java
trunk/src/dl-learner/org/dllearner/dl/Negation.java
trunk/src/dl-learner/org/dllearner/dl/RoleAssertion.java
trunk/src/dl-learner/org/dllearner/dl/SubRoleAxiom.java
trunk/src/dl-learner/org/dllearner/dl/SymmetricRoleAxiom.java
trunk/src/dl-learner/org/dllearner/dl/Top.java
trunk/src/dl-learner/org/dllearner/dl/TransitiveRoleAxiom.java
trunk/src/dl-learner/org/dllearner/parser/SimpleCharStream.java
trunk/src/dl-learner/org/dllearner/parser/SimpleNode.java
trunk/src/dl-learner/org/dllearner/parser/Token.java
trunk/src/dl-learner/org/dllearner/reasoning/DIGReasoner.java
trunk/src/dl-learner/org/dllearner/reasoning/FastRetrievalReasoner.java
trunk/src/dl-learner/org/dllearner/reasoning/KAON2Reasoner.java
trunk/src/dl-learner/org/dllearner/reasoning/SubsumptionHierarchy.java
trunk/src/dl-learner/org/dllearner/utilities/ConceptComparator.java
Modified: trunk/src/dl-learner/org/dllearner/ScoreThreeValued.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/ScoreThreeValued.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/ScoreThreeValued.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -124,10 +124,12 @@
errorRate = (double) errors/numberOfExamples;
}
+ @Override
public double getScore() {
return score;
}
+ @Override
public String toString() {
DecimalFormat df = new DecimalFormat("0.00");
String str = "";
Modified: trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -19,6 +19,7 @@
return 1;
}
+ @Override
public String toString() {
return "ADC";
}
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refinement/Node.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/Node.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/Node.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -88,6 +88,7 @@
return isTooWeak;
}
+ @Override
public String toString() {
String ret = concept.toString() + " [q:";
if(isTooWeak)
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -87,7 +87,9 @@
throw new RuntimeException("Cannot compare nodes, which have no evaluated quality or are too weak.");
}
+
// alle NodeComparators führen zur gleichen Ordnung
+ @Override
public boolean equals(Object o) {
return (o instanceof NodeComparator);
}
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator2.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator2.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparator2.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -53,6 +53,7 @@
throw new RuntimeException("Cannot compare nodes, which have no evaluated quality or are too weak.");
}
+ @Override
public boolean equals(Object o) {
return (o instanceof NodeComparator2);
}
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparatorStable.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparatorStable.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/NodeComparatorStable.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -43,6 +43,7 @@
}
// alle NodeComparators führen zur gleichen Ordnung
+ @Override
public boolean equals(Object o) {
return (o instanceof NodeComparatorStable);
}
Modified: trunk/src/dl-learner/org/dllearner/dl/All.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/All.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/All.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -84,6 +84,7 @@
}
*/
+ @Override
public String toString() {
return "ALL " + role + "." + children.get(0).toString();
}
Modified: trunk/src/dl-learner/org/dllearner/dl/AtomicRole.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/AtomicRole.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/AtomicRole.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -13,6 +13,7 @@
return 1;
}
+ @Override
public String toString() {
String name = getName();
String prefixToHide = Helper.findPrefixToHide(name);
Modified: trunk/src/dl-learner/org/dllearner/dl/Bottom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Bottom.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Bottom.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -11,7 +11,7 @@
negSet = abox.top;
}
*/
-
+ @Override
public String toString() {
return "BOTTOM";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Concept.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Concept.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Concept.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -158,6 +158,7 @@
* werden dabei nicht mitgeklont, sondern nur parent und children.
*/
@SuppressWarnings("unchecked")
+ @Override
public Object clone() {
Concept node = null;
try {
Modified: trunk/src/dl-learner/org/dllearner/dl/ConceptAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/ConceptAssertion.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/ConceptAssertion.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -22,6 +22,7 @@
return 1 + concept.getLength();
}
+ @Override
public String toString() {
return concept.toString() + "(" + individual + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Conjunction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Conjunction.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Conjunction.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -20,6 +20,7 @@
addChild(c2);
}
+ @Override
public String toString() {
return "(" + children.get(0).toString() + " AND " + children.get(1).toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Disjunction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Disjunction.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Disjunction.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -19,6 +19,7 @@
addChild(c2);
}
+ @Override
public String toString() {
return "(" + children.get(0).toString() + " OR " + children.get(1).toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Equality.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Equality.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Equality.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -22,6 +22,7 @@
return 1 + concept1.getLength() + concept2.getLength();
}
+ @Override
public String toString() {
return concept1.toString() + " = " + concept2.toString();
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Exists.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Exists.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Exists.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -85,6 +85,7 @@
}
*/
+ @Override
public String toString() {
return "EXISTS " + role + "." + children.get(0).toString();
}
Modified: trunk/src/dl-learner/org/dllearner/dl/FlatABox.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/FlatABox.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/FlatABox.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -76,6 +76,7 @@
return (String) roleArray[nr];
}
+ @Override
public String toString() {
String output = "";
output += "domain: " + domain.toString() + "\n";
Modified: trunk/src/dl-learner/org/dllearner/dl/FunctionalRoleAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/FunctionalRoleAxiom.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/FunctionalRoleAxiom.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -16,6 +16,7 @@
return 1 + role.getLength();
}
+ @Override
public String toString() {
return "Functional(" + role.toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Inclusion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Inclusion.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Inclusion.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -22,6 +22,7 @@
return 1 + subConcept.getLength() + superConcept.getLength();
}
+ @Override
public String toString() {
return subConcept.toString() + " SUBCONCEPTOF " + superConcept.toString();
}
Modified: trunk/src/dl-learner/org/dllearner/dl/InverseRole.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/InverseRole.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/InverseRole.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -22,6 +22,7 @@
return 2;
}
+ @Override
public String toString() {
return getName() + "-";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/InverseRoleAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/InverseRoleAxiom.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/InverseRoleAxiom.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -22,6 +22,7 @@
return 1 + role.getLength() + inverseRole.getLength();
}
+ @Override
public String toString() {
return "Inverse(" + inverseRole + "," + role.toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/KB.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/KB.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/KB.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -156,6 +156,7 @@
return length;
}
+ @Override
public String toString() {
String str = "TBox["+tbox.size()+"]:\n";
for(Axiom a : tbox)
Modified: trunk/src/dl-learner/org/dllearner/dl/MultiConjunction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/MultiConjunction.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/MultiConjunction.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -33,6 +33,7 @@
return length + children.size() - 1;
}
+ @Override
public String toString() {
if(children.size()==0)
return "EMPTY_AND";
Modified: trunk/src/dl-learner/org/dllearner/dl/MultiDisjunction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/MultiDisjunction.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/MultiDisjunction.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -35,6 +35,7 @@
return length + children.size() - 1;
}
+ @Override
public String toString() {
if(children.size()==0)
return "EMPTY_OR";
Modified: trunk/src/dl-learner/org/dllearner/dl/Negation.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Negation.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Negation.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -16,6 +16,7 @@
addChild(c);
}
+ @Override
public String toString() {
return "(NOT " +children.get(0).toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/RoleAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/RoleAssertion.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/RoleAssertion.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -28,6 +28,7 @@
return 2 + role.getLength();
}
+ @Override
public String toString() {
return role.toString() + "(" + individual1 + "," + individual2 +")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/SubRoleAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/SubRoleAxiom.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/SubRoleAxiom.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -22,6 +22,7 @@
return 1 + role.getLength() + subRole.getLength();
}
+ @Override
public String toString() {
return "Subrole(" + subRole + "," + role.toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/SymmetricRoleAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/SymmetricRoleAxiom.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/SymmetricRoleAxiom.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -16,6 +16,7 @@
return 1 + role.getLength();
}
+ @Override
public String toString() {
return "Symmetric(" + role.toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/Top.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/Top.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/Top.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -12,6 +12,7 @@
}
*/
+ @Override
public String toString() {
return "TOP";
}
Modified: trunk/src/dl-learner/org/dllearner/dl/TransitiveRoleAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/dl/TransitiveRoleAxiom.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/dl/TransitiveRoleAxiom.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -16,6 +16,7 @@
return role;
}
+ @Override
public String toString() {
return "Transitive(" + role.toString() + ")";
}
Modified: trunk/src/dl-learner/org/dllearner/parser/SimpleCharStream.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/parser/SimpleCharStream.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/parser/SimpleCharStream.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -6,6 +6,7 @@
* contain only ASCII characters (without unicode processing).
*/
+@SuppressWarnings("all")
public class SimpleCharStream
{
public static final boolean staticFlag = true;
Modified: trunk/src/dl-learner/org/dllearner/parser/SimpleNode.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/parser/SimpleNode.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/parser/SimpleNode.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -2,6 +2,7 @@
package org.dllearner.parser;
+@SuppressWarnings("all")
public class SimpleNode implements Node {
protected Node parent;
protected Node[] children;
Modified: trunk/src/dl-learner/org/dllearner/parser/Token.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/parser/Token.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/parser/Token.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -4,7 +4,7 @@
/**
* Describes the input token stream.
*/
-
+@SuppressWarnings("all")
public class Token {
/**
Modified: trunk/src/dl-learner/org/dllearner/reasoning/DIGReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/DIGReasoner.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/reasoning/DIGReasoner.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -560,6 +560,7 @@
return resultsSet;
}
+ @Override
public boolean instanceCheck(Concept concept, Individual individual) {
String instanceCheckDIG = asksPrefix;
instanceCheckDIG += "<instance id= \"query_instance\">";
@@ -570,6 +571,7 @@
return parseBooleanAnswer(instanceCheckDIG);
}
+ @Override
public Set<Individual> instanceCheck(Concept concept, Set<Individual> individuals) {
String instanceCheckDIG = asksPrefix;
int id = 0;
@@ -596,6 +598,7 @@
return returnSet;
}
+ @Override
public SortedSet<Individual> retrieval(Concept concept) {
String retrievalDIG = asksPrefix;
@@ -614,6 +617,7 @@
}
// ToDo: gibt momentan nur einen Wert bei äquivalenten Klassen aus
+ @Override
public Set<AtomicConcept> getConcepts(Individual individual) {
String typesDIG = asksPrefix;
typesDIG += "<types id=\"query_types\">";
@@ -646,6 +650,7 @@
// keine getter um ein IndividualPairSet zu finden; in der XSD-Datei ist
// das in Responsegroup auch nicht definiert
// => deswegen wird hier die XML-Cursor-API verwendet
+ @Override
public Map<Individual, SortedSet<Individual>> getRoleMembers(AtomicRole atomicRole) {
String relatedIndividualsDIG = asksPrefix;
relatedIndividualsDIG += "<relatedIndividuals id=\"related_individuals\">";
@@ -691,7 +696,7 @@
return resultMap;
}
-
+ @Override
public boolean isSatisfiable() {
String satisfiableDIG = asksPrefix;
// wenn Top erfüllbar ist, dann gibt es auch ein Modell für die KB
Modified: trunk/src/dl-learner/org/dllearner/reasoning/FastRetrievalReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/FastRetrievalReasoner.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/reasoning/FastRetrievalReasoner.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -44,15 +44,18 @@
return ReasonerType.FAST_RETRIEVAL;
}
+ @Override
public SortedSetTuple<Individual> doubleRetrieval(Concept concept) {
return Helper.getIndividualTuple(fastRetrieval.calculateSets(concept));
}
+ @Override
public SortedSetTuple<Individual> doubleRetrieval(Concept concept, Concept adc) {
SortedSetTuple<String> adcSet = fastRetrieval.calculateSets(adc);
return Helper.getIndividualTuple(fastRetrieval.calculateSetsADC(concept, adcSet));
}
+ @Override
public SortedSet<Individual> retrieval(Concept concept) {
return Helper.getIndividualSet(fastRetrieval.calculateSets(concept).getPosSet());
}
Modified: trunk/src/dl-learner/org/dllearner/reasoning/KAON2Reasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/KAON2Reasoner.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/reasoning/KAON2Reasoner.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -273,6 +273,7 @@
subsumptionHierarchy = new org.dllearner.reasoning.SubsumptionHierarchy(atomicConcepts, subsumptionHierarchyUp, subsumptionHierarchyDown);
}
+ @Override
public SortedSet<Individual> retrieval(Concept c) {
SortedSet<Individual> result = new TreeSet<Individual>();
Description d = getKAON2Description(c);
@@ -358,6 +359,7 @@
throw new Error("Subsumption Error in KAON2.");
}
+ @Override
public boolean isSatisfiable() {
try {
return kaon2Reasoner.isSatisfiable();
@@ -396,6 +398,7 @@
}
*/
+ @Override
public org.dllearner.reasoning.SubsumptionHierarchy getSubsumptionHierarchy() {
return subsumptionHierarchy;
}
@@ -428,6 +431,7 @@
}
}
+ @Override
public Map<org.dllearner.dl.Individual, SortedSet<org.dllearner.dl.Individual>> getRoleMembers(AtomicRole atomicRole) {
Map<org.dllearner.dl.Individual, SortedSet<org.dllearner.dl.Individual>> returnMap = new TreeMap<org.dllearner.dl.Individual, SortedSet<org.dllearner.dl.Individual>>();
Modified: trunk/src/dl-learner/org/dllearner/reasoning/SubsumptionHierarchy.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/SubsumptionHierarchy.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/reasoning/SubsumptionHierarchy.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -97,6 +97,7 @@
subsumptionHierarchyUp = hierarchyUpNew;
}
+ @Override
public String toString() {
return toString(false);
}
Modified: trunk/src/dl-learner/org/dllearner/utilities/ConceptComparator.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/utilities/ConceptComparator.java 2007-08-27 11:41:10 UTC (rev 63)
+++ trunk/src/dl-learner/org/dllearner/utilities/ConceptComparator.java 2007-08-27 15:04:36 UTC (rev 64)
@@ -156,6 +156,7 @@
// TODO: Vergleich zwischen ConceptComparators: immer identisch
// (testen, ob das bessere Performance bringt)
+ @Override
public boolean equals(Object o) {
return (o instanceof ConceptComparator);
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
