Thread: [DL-Learner SVN] SF.net SVN: dl-learner: [754] trunk/src/dl-learner/org/dllearner/examples

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 754
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=754&view=rev
Author:   kurzum
Date:     2008-04-02 08:39:32 -0700 (Wed, 02 Apr 2008)

Log Message:
-----------
working ontology closer,
I put it here, because I wasn't sure where and how to integrate it,
code could be better

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/examples/KRK.java

Added Paths:
-----------
    trunk/src/dl-learner/org/dllearner/examples/OntologyCloser.java

Modified: trunk/src/dl-learner/org/dllearner/examples/KRK.java
===================================================================

--- trunk/src/dl-learner/org/dllearner/examples/KRK.java	2008-04-02 15:37:21 UTC (rev 753)
+++ trunk/src/dl-learner/org/dllearner/examples/KRK.java	2008-04-02 15:39:32 UTC (rev 754)
@@ -47,6 +47,11 @@
 
 	// FLAGS
 	// 
+	static boolean writeOWL = true;
+	static boolean writeClosedOWL = true ;
+	static boolean useTransitivity = false;
+	
+
 	static boolean useInverse = false;
 	// dependent, love and marriage, horse and carriage
 	static boolean useTripleSubProps = useInverse && false;
@@ -97,7 +102,6 @@
 	public static void main(String[] args) {
 		System.out.println("Start");
 		// turn off to not write the owl, needs about 30 seconds or more
-		boolean writeOWL = true;
 
 		// classToInd = new HashMap<String,SortedSet<String>>();
 		init();
@@ -125,7 +129,8 @@
 			int x = 0;
 			while ((line = in.readLine()) != null) {
 				x++;
-				 if(x % 3000 == 0 ) System.out.println("Currently at line"+x);
+				if (x % 3000 == 0)
+					System.out.println("Currently at line" + x);
 				ar = tokenize(line);
 
 				gameind = getIndividual("game" + x);
@@ -194,8 +199,20 @@
 			System.out.println("Finished Background");
 			// WRITE
 			writeExampleSets();
-			if (writeOWL)
+			
+
+			if (writeOWL) {
 				writeOWLFile("test.owl");
+			}
+			if(writeClosedOWL) {
+				String conceptStr = "ALL \"http://www.test.de/test#hasPiece\".(EXISTS \"http://www.test.de/test#fileDistanceLessThan6\".((NOT \"http://www.test.de/test#WKing\") AND ALL \"http://www.test.de/test#rankDistance1\".(\"http://www.test.de/test#WKing\" AND ALL \"http://www.test.de/test#fileDistanceLessThan2\".\"http://www.test.de/test#BKing\" AND ALL \"http://www.test.de/test#hasLowerFileThan\".\"http://www.test.de/test#WKing\")) AND ALL \"http://www.test.de/test#fileDistance1\".\"http://www.test.de/test#WRook\")";
+				//conceptStr = "ALL http://www.test.de/test#hasPiece.(EXISTS http://www.test.de/test#fileDistanceLessThan6.((NOT http://www.test.de/test#WKing) AND ALL http://www.test.de/test#rankDistance1.(http://www.test.de/test#WKing AND ALL http://www.test.de/test#fileDistanceLessThan2.http://www.test.de/test#WKing AND ALL http://www.test.de/test#hasLowerFileThan.http://www.test.de/test#WKing)) AND ALL http://www.test.de/test#fileDistance1.http://www.test.de/test#WRook)";
+				//conceptStr = "ALL hasPiece.(EXISTS fileDistanceLessThan6.((NOT WKing) AND ALL rankDistance1.(WKing AND ALL fileDistanceLessThan2.WKing AND ALL hasLowerFileThan.WKing)) AND ALL fileDistance1.WRook)";
+				OntologyCloser oc = new OntologyCloser(kb);
+				oc.applyNumberRestrictions();
+				oc.verifyConcept(conceptStr);
+				writeOWLFile("test_Closed.owl");
+			}
 
 		} catch (Exception e) {
 			e.printStackTrace();
@@ -329,9 +346,10 @@
 
 	static void finishBackgroundForRoles() {
 
-		kb.addRBoxAxiom(new TransitiveObjectPropertyAxiom(rankLessThan));
-		kb.addRBoxAxiom(new TransitiveObjectPropertyAxiom(fileLessThan));
-
+		if (useTransitivity) {
+			kb.addRBoxAxiom(new TransitiveObjectPropertyAxiom(rankLessThan));
+			kb.addRBoxAxiom(new TransitiveObjectPropertyAxiom(fileLessThan));
+		}
 		if (useInverse)
 		// INVERSE
 		{
@@ -456,15 +474,15 @@
 	}
 
 	protected static void writeExampleSets() {
-		StringBuffer collect1 = new StringBuffer(); 
+		StringBuffer collect1 = new StringBuffer();
 		StringBuffer collect2 = new StringBuffer();
 		System.out.println("start writing sets");
-		
+
 		for (String keys : classToInd.keySet()) {
 			System.out.println(keys);
 			SortedSet<String> tmpset = classToInd.get(keys);
 			for (String individuals : tmpset) {
-				collect1.append( "+\"" + individuals + "\"\n");
+				collect1.append("+\"" + individuals + "\"\n");
 				collect2.append("-\"" + individuals + "\"\n");
 			}
 
@@ -473,7 +491,7 @@
 			collect1 = new StringBuffer();
 			collect2 = new StringBuffer();
 		}
-		//System.out.println("Sets written");
+		// System.out.println("Sets written");
 		collect1 = new StringBuffer();
 		collect2 = new StringBuffer();
 		for (String key : classToInd.keySet()) {
@@ -481,16 +499,16 @@
 			SortedSet<String> tmpset = classToInd.get(key);
 
 			if (key.equals("ZERO")) {
-				collect1.append( "/**" + key + "**/\n");
+				collect1.append("/**" + key + "**/\n");
 				for (String individuals : tmpset) {
-					collect1.append( "+\"" + individuals + "\"\n");
+					collect1.append("+\"" + individuals + "\"\n");
 				}
 
 				continue;
 			} else {
-				collect2.append( "/**" + key + "**/\n");
+				collect2.append("/**" + key + "**/\n");
 				for (String individuals : tmpset) {
-					collect2.append( "-\"" + individuals + "\"\n");
+					collect2.append("-\"" + individuals + "\"\n");
 				}
 			}
 

Added: trunk/src/dl-learner/org/dllearner/examples/OntologyCloser.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/examples/OntologyCloser.java	                        (rev 0)
+++ trunk/src/dl-learner/org/dllearner/examples/OntologyCloser.java	2008-04-02 15:39:32 UTC (rev 754)
@@ -0,0 +1,102 @@
+package org.dllearner.examples;
+
+import java.util.HashSet;
+import java.util.Map;
+import java.util.Set;
+import java.util.SortedSet;
+
+import org.dllearner.core.KnowledgeSource;
+import org.dllearner.core.ReasoningService;
+import org.dllearner.core.owl.ClassAssertionAxiom;
+import org.dllearner.core.owl.Description;
+import org.dllearner.core.owl.Individual;
+import org.dllearner.core.owl.KB;
+import org.dllearner.core.owl.ObjectExactCardinalityRestriction;
+import org.dllearner.core.owl.ObjectProperty;
+import org.dllearner.core.owl.PropertyAxiom;
+import org.dllearner.core.owl.Thing;
+import org.dllearner.kb.KBFile;
+import org.dllearner.parser.KBParser;
+import org.dllearner.reasoning.OWLAPIReasoner;
+
+public class OntologyCloser {
+	KB kb;
+	KBFile kbFile;
+	Set<KnowledgeSource> ks;
+	ReasoningService rs;
+
+	public OntologyCloser(KB kb) {
+		super();
+		this.kb = kb;
+		this.kbFile = new KBFile(this.kb);
+		this.ks = new HashSet<KnowledgeSource>();
+		this.ks.add(this.kbFile);
+		OWLAPIReasoner owlapi = new OWLAPIReasoner(ks);
+		owlapi.init();
+
+		this.rs = new ReasoningService(owlapi);
+
+	}
+
+	/**
+	 * counts the number of roles used by each individual and assigns
+	 * ExactCardinalityRestriction
+	 */
+	public void applyNumberRestrictions() {
+		Set<ObjectProperty> allRoles = this.rs.getAtomicRoles();
+		// Set<Individual> allind = this.rs.getIndividuals();
+		Set<PropertyAxiom> ax = kb.getRbox();
+		for (PropertyAxiom propertyAxiom : ax) {
+			if (propertyAxiom.getClass().getSimpleName().equals(
+					"TransitiveObjectPropertyAxiom")) {
+
+				System.out
+						.println("WARNING transitive object property can't be used in cardinality restriction\n"
+								+ propertyAxiom.toString());
+			}
+		}
+
+		for (ObjectProperty oneRole : allRoles) {
+
+			// System.out.println(oneRole.getClass());
+			Map<Individual, SortedSet<Individual>> allRoleMembers = this.rs
+					.getRoleMembers(oneRole);
+			for (Individual oneInd : allRoleMembers.keySet()) {
+				SortedSet<Individual> fillers = allRoleMembers.get(oneInd);
+				if (fillers.size() > 0) {
+					ObjectExactCardinalityRestriction oecr = new ObjectExactCardinalityRestriction(
+							fillers.size(), oneRole, new Thing());
+					kb.addABoxAxiom(new ClassAssertionAxiom(oecr, oneInd));
+				}
+			}
+
+		}
+		// System.out.println("good ontology? " + rs.isSatisfiable());
+
+	}
+
+	public static void closeKB(KB kb) {
+		new OntologyCloser(kb).applyNumberRestrictions();
+	}
+
+	public void verifyConcept(String conceptStr) {
+		Description d;
+		StringBuffer sb = new StringBuffer();
+		sb.append(conceptStr);
+		conceptStr = sb.toString();
+		try {
+			d = KBParser.parseConcept(conceptStr);
+			System.out.println("Starting retrieval");
+			SortedSet<Individual> ind = this.rs.retrieval(d);
+			System.out.println("retrieved: " + ind.size() + " instances");
+
+			for (Individual individual : ind) {
+				System.out.println(individual + "");
+			}
+
+		} catch (Exception e) {
+			e.printStackTrace();
+		}
+	}
+
+}


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




Thread: [DL-Learner SVN] SF.net SVN: dl-learner: [754] trunk/src/dl-learner/org/dllearner/examples

dl-learner-svn