[DL-Learner SVN] SF.net SVN: dl-learner:[3111] trunk/components-core/src/main/java/org/ dllearner/reasoning/FastInstanceChecker.java

[<sha...@us...>]

Revision: 3111
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3111&view=rev
Author:   shadowtm
Date:     2011-08-24 11:17:33 +0000 (Wed, 24 Aug 2011)
Log Message:
-----------
Added back forAllSemantics option to fast instance checker.

Modified Paths:
--------------
    trunk/components-core/src/main/java/org/dllearner/reasoning/FastInstanceChecker.java

Modified: trunk/components-core/src/main/java/org/dllearner/reasoning/FastInstanceChecker.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/reasoning/FastInstanceChecker.java	2011-08-24 11:12:08 UTC (rev 3110)
+++ trunk/components-core/src/main/java/org/dllearner/reasoning/FastInstanceChecker.java	2011-08-24 11:17:33 UTC (rev 3111)
@@ -67,6 +67,7 @@
 import org.dllearner.parser.ParseException;
 import org.dllearner.utilities.Helper;
 import org.dllearner.utilities.owl.ConceptTransformation;
+import org.springframework.beans.propertyeditors.StringTrimmerEditor;
 import sun.beans.editors.BoolEditor;
 
 /**
@@ -127,6 +128,12 @@
     @ConfigOption(name="defaultNegation", description = "Whether to use default negation, i.e. an instance not being in a class means that it is in the negation of the class.", defaultValue = "true", required = false, propertyEditorClass = BoolEditor.class)
     private boolean defaultNegation = true;
 
+    @ConfigOption(name = "forAllRetrievalSemantics", description = "This option controls how to interpret the all quantifier in forall r.C. The standard option is" +
+            "to return all those which do not have an r-filler not in C. The domain semantics is to use those" +
+            "which are in the domain of r and do not have an r-filler not in C. The forallExists semantics is to"+
+            "use those which have at least one r-filler and do not have an r-filler not in C.",defaultValue = "standard",propertyEditorClass = StringTrimmerEditor.class)
+    private String forAllSemantics;
+
 	/**
 	 * Creates an instance of the fast instance checker.
 	 */
@@ -1037,4 +1044,12 @@
     public void setDefaultNegation(boolean defaultNegation) {
         this.defaultNegation = defaultNegation;
     }
+
+    public String getForAllSemantics() {
+        return forAllSemantics;
+    }
+
+    public void setForAllSemantics(String forAllSemantics) {
+        this.forAllSemantics = forAllSemantics;
+    }
 }

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