[DL-Learner SVN] SF.net SVN: dl-learner: [55] trunk/src/dl-learner/org/dllearner/reasoning

[<jen...@us...>]

Revision: 55
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=55&view=rev
Author:   jenslehmann
Date:     2007-08-25 01:43:30 -0700 (Sat, 25 Aug 2007)

Log Message:
-----------
add obtaining the role hierarchy to reasoner tasks (first step to role hierarchy support in refinement based learner)

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/reasoning/AbstractReasoner.java
    trunk/src/dl-learner/org/dllearner/reasoning/Reasoner.java

Added Paths:
-----------
    trunk/src/dl-learner/org/dllearner/reasoning/RoleHierarchy.java

Modified: trunk/src/dl-learner/org/dllearner/reasoning/AbstractReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/AbstractReasoner.java	2007-08-24 14:35:02 UTC (rev 54)
+++ trunk/src/dl-learner/org/dllearner/reasoning/AbstractReasoner.java	2007-08-25 08:43:30 UTC (rev 55)
@@ -90,6 +90,10 @@
 		throw new ReasoningMethodUnsupportedException();
 	}
 		
+	public RoleHierarchy getRoleHierarchy() throws ReasoningMethodUnsupportedException {
+		throw new ReasoningMethodUnsupportedException();
+	}	
+	
 	public Set<AtomicConcept> getConcepts(Individual i) throws ReasoningMethodUnsupportedException {
 		throw new ReasoningMethodUnsupportedException();
 	}

Modified: trunk/src/dl-learner/org/dllearner/reasoning/Reasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/Reasoner.java	2007-08-24 14:35:02 UTC (rev 54)
+++ trunk/src/dl-learner/org/dllearner/reasoning/Reasoner.java	2007-08-25 08:43:30 UTC (rev 55)
@@ -40,6 +40,8 @@
 	
 	public SubsumptionHierarchy getSubsumptionHierarchy() throws ReasoningMethodUnsupportedException;
 	
+	public RoleHierarchy getRoleHierarchy() throws ReasoningMethodUnsupportedException;
+	
 	public SortedSet<Individual> retrieval(Concept concept) throws ReasoningMethodUnsupportedException;
 	
 	public Map<Individual, SortedSet<Individual>> getRoleMembers(AtomicRole atomicRole) throws ReasoningMethodUnsupportedException;

Added: trunk/src/dl-learner/org/dllearner/reasoning/RoleHierarchy.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/RoleHierarchy.java	                        (rev 0)
+++ trunk/src/dl-learner/org/dllearner/reasoning/RoleHierarchy.java	2007-08-25 08:43:30 UTC (rev 55)
@@ -0,0 +1,46 @@
+/**
+ * Copyright (C) 2007, 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.reasoning;
+
+import java.util.Set;
+import java.util.TreeMap;
+import java.util.TreeSet;
+
+import org.dllearner.dl.AtomicConcept;
+import org.dllearner.dl.AtomicRole;
+import org.dllearner.dl.Concept;
+import org.dllearner.utilities.RoleComparator;
+
+/**
+ * Represents a hierarchy of roles.
+ * 
+ * @author Jens Lehmann
+ *
+ */
+public class RoleHierarchy {
+
+	RoleComparator rc = new RoleComparator();
+	
+	public RoleHierarchy(Set<AtomicRole> atomicRoles, TreeMap<AtomicRole,TreeSet<AtomicRole>> roleHierarchyUp , TreeMap<AtomicRole,TreeSet<AtomicRole>> roleHierarchyDown) {
+		
+		
+	}
+	
+}


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.