Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[1029] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2008-07-30 14:49:13
|
Revision: 1029
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1029&view=rev
Author: jenslehmann
Date: 2008-07-30 14:49:02 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
skeleton for EL learning algorithm
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedROLearner.java
trunk/src/dl-learner/org/dllearner/algorithms/refinement/ROLearner.java
trunk/src/dl-learner/org/dllearner/refinementoperators/PsiDown.java
trunk/src/dl-learner/org/dllearner/refinementoperators/PsiUp.java
trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java
trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDown.java
trunk/src/dl-learner/org/dllearner/tools/ore/DescriptionLabel.java
Added Paths:
-----------
trunk/src/dl-learner/org/dllearner/algorithms/el/
trunk/src/dl-learner/org/dllearner/algorithms/el/ELDescriptionTree.java
trunk/src/dl-learner/org/dllearner/algorithms/el/Edge.java
trunk/src/dl-learner/org/dllearner/algorithms/el/package.html
trunk/src/dl-learner/org/dllearner/refinementoperators/ELDown.java
trunk/src/dl-learner/org/dllearner/refinementoperators/RefinementOperator.java
trunk/src/dl-learner/org/dllearner/refinementoperators/package.html
Removed Paths:
-------------
trunk/src/dl-learner/org/dllearner/algorithms/refinement/RefinementOperator.java
trunk/src/dl-learner/org/dllearner/algorithms/refinement/SearchSpace.java
Added: trunk/src/dl-learner/org/dllearner/algorithms/el/ELDescriptionTree.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/el/ELDescriptionTree.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/algorithms/el/ELDescriptionTree.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -0,0 +1,53 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.algorithms.el;
+
+import java.util.List;
+import java.util.SortedSet;
+
+import org.dllearner.core.owl.NamedClass;
+
+/**
+ * Represents an EL description tree.
+ *
+ * @author Jens Lehmann
+ *
+ */
+public class ELDescriptionTree {
+
+ private SortedSet<NamedClass> label;
+
+ private List<Edge> edges;
+
+ /**
+ * @return the label
+ */
+ public SortedSet<NamedClass> getLabel() {
+ return label;
+ }
+
+ /**
+ * @return the edges
+ */
+ public List<Edge> getEdges() {
+ return edges;
+ }
+
+}
Added: trunk/src/dl-learner/org/dllearner/algorithms/el/Edge.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/el/Edge.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/algorithms/el/Edge.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -0,0 +1,30 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.algorithms.el;
+
+/**
+ * An edge in an EL description tree.
+ *
+ * @author Jens Lehmann
+ *
+ */
+public class Edge {
+
+}
Added: trunk/src/dl-learner/org/dllearner/algorithms/el/package.html
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/el/package.html (rev 0)
+++ trunk/src/dl-learner/org/dllearner/algorithms/el/package.html 2008-07-30 14:49:02 UTC (rev 1029)
@@ -0,0 +1,7 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
+<html>
+<head></head>
+<body bgcolor="white">
+<p>Learning algorithms for the EL description logic.</p>
+</body>
+</html>
\ No newline at end of file
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedROLearner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedROLearner.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refexamples/ExampleBasedROLearner.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -32,7 +32,6 @@
import java.util.TreeSet;
import org.apache.log4j.Logger;
-import org.dllearner.algorithms.refinement.RefinementOperator;
import org.dllearner.core.EvaluatedDescription;
import org.dllearner.core.LearningProblem;
import org.dllearner.core.ReasoningService;
@@ -44,6 +43,7 @@
import org.dllearner.core.owl.Union;
import org.dllearner.learningproblems.PosNegLP;
import org.dllearner.learningproblems.PosOnlyDefinitionLP;
+import org.dllearner.refinementoperators.RefinementOperator;
import org.dllearner.refinementoperators.RhoDRDown;
import org.dllearner.utilities.Files;
import org.dllearner.utilities.Helper;
Modified: trunk/src/dl-learner/org/dllearner/algorithms/refinement/ROLearner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/ROLearner.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/ROLearner.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -1050,6 +1050,7 @@
return new EvaluatedDescription(candidatesStable.last().getConcept(), getSolutionScore());
}
+ @Override
public SortedSet<EvaluatedDescription> getCurrentlyBestEvaluatedDescriptions() {
int count = 0;
SortedSet<Node> rev = candidatesStable.descendingSet();
Deleted: trunk/src/dl-learner/org/dllearner/algorithms/refinement/RefinementOperator.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/RefinementOperator.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/RefinementOperator.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -1,14 +0,0 @@
-package org.dllearner.algorithms.refinement;
-
-import java.util.List;
-import java.util.Set;
-
-import org.dllearner.core.owl.Description;
-
-public interface RefinementOperator {
-
- public Set<Description> refine(Description concept);
- // SortedSet zu erzwingen ist nicht so elegant
- public Set<Description> refine(Description concept, int maxLength, List<Description> knownRefinements);
-
-}
Deleted: trunk/src/dl-learner/org/dllearner/algorithms/refinement/SearchSpace.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/refinement/SearchSpace.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/algorithms/refinement/SearchSpace.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -1,21 +0,0 @@
-package org.dllearner.algorithms.refinement;
-
-import org.dllearner.core.owl.Description;
-
-/**
- * Soll hauptsächlich dazu dienen zu testen, ob ein Konzept im
- * Suchraum ist oder nicht.
- *
- * @author jl
- *
- */
-
-public class SearchSpace {
-
- // determines whether a concept is in the search space
- // noch nicht benutzt
- public boolean isInSearchSpace(Description concept) {
- return true;
- }
-
-}
Added: trunk/src/dl-learner/org/dllearner/refinementoperators/ELDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/ELDown.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/ELDown.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -0,0 +1,66 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.refinementoperators;
+
+import java.util.List;
+import java.util.Set;
+
+import org.dllearner.core.owl.Description;
+
+/**
+ * EL downward refinement operator constructed by Jens Lehmann
+ * and Christoph Haase. It takes an EL description tree as input
+ * and outputs a set of EL description trees.
+ *
+ * <p>Properties:
+ * <ul>
+ * <li>complete</li>
+ * <li>proper</li>
+ * <li>finite</li>
+ * <li>uses class/property hierarchy</li>
+ * <li>takes domain/range into account</li>
+ * <li>uses disjoint classes/classes without common instances</li>
+ * </ul>
+ *
+ * @author Jens Lehmann
+ *
+ */
+public class ELDown implements RefinementOperator {
+
+ /* (non-Javadoc)
+ * @see org.dllearner.refinementoperators.RefinementOperator#refine(org.dllearner.core.owl.Description)
+ */
+ @Override
+ public Set<Description> refine(Description concept) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.refinementoperators.RefinementOperator#refine(org.dllearner.core.owl.Description, int, java.util.List)
+ */
+ @Override
+ public Set<Description> refine(Description concept, int maxLength,
+ List<Description> knownRefinements) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+}
Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/PsiDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/PsiDown.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/PsiDown.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -7,7 +7,6 @@
import java.util.Set;
import java.util.TreeSet;
-import org.dllearner.algorithms.refinement.RefinementOperator;
import org.dllearner.core.ReasoningService;
import org.dllearner.core.owl.ObjectAllRestriction;
import org.dllearner.core.owl.NamedClass;
Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/PsiUp.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/PsiUp.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/PsiUp.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -7,7 +7,6 @@
import java.util.Set;
import java.util.TreeSet;
-import org.dllearner.algorithms.refinement.RefinementOperator;
import org.dllearner.core.ReasoningService;
import org.dllearner.core.owl.ObjectAllRestriction;
import org.dllearner.core.owl.NamedClass;
Copied: trunk/src/dl-learner/org/dllearner/refinementoperators/RefinementOperator.java (from rev 1018, trunk/src/dl-learner/org/dllearner/algorithms/refinement/RefinementOperator.java)
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/RefinementOperator.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/RefinementOperator.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -0,0 +1,14 @@
+package org.dllearner.refinementoperators;
+
+import java.util.List;
+import java.util.Set;
+
+import org.dllearner.core.owl.Description;
+
+public interface RefinementOperator {
+
+ public Set<Description> refine(Description concept);
+ // SortedSet zu erzwingen ist nicht so elegant
+ public Set<Description> refine(Description concept, int maxLength, List<Description> knownRefinements);
+
+}
Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -33,7 +33,6 @@
import java.util.Map.Entry;
import org.apache.log4j.Logger;
-import org.dllearner.algorithms.refinement.RefinementOperator;
import org.dllearner.core.ReasoningService;
import org.dllearner.core.owl.BooleanValueRestriction;
import org.dllearner.core.owl.DataRange;
Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDown.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDown.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -29,7 +29,6 @@
import java.util.SortedSet;
import java.util.TreeSet;
-import org.dllearner.algorithms.refinement.RefinementOperator;
import org.dllearner.core.ReasoningService;
import org.dllearner.core.owl.BooleanValueRestriction;
import org.dllearner.core.owl.DatatypeProperty;
Added: trunk/src/dl-learner/org/dllearner/refinementoperators/package.html
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/package.html (rev 0)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/package.html 2008-07-30 14:49:02 UTC (rev 1029)
@@ -0,0 +1,7 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
+<html>
+<head></head>
+<body bgcolor="white">
+<p>Refinement operator implementations.</p>
+</body>
+</html>
\ No newline at end of file
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/DescriptionLabel.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/DescriptionLabel.java 2008-07-30 13:51:05 UTC (rev 1028)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/DescriptionLabel.java 2008-07-30 14:49:02 UTC (rev 1029)
@@ -202,7 +202,7 @@
// MoveMenuItem move = new MoveMenuItem((NamedClass)desc, nc);
// dme.add(move);
// Set<NamedClass> complements = ore.getComplements(nc, ind);
-// System.out.println("Gr\xF6\xDFe" + complements.size());
+// System.out.println("Gr��e" + complements.size());
// if(!(complements.size() <=1)){
// move.setEnabled(false);
// StringBuffer strBuf = new StringBuffer();
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
