Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [775] trunk/src/dl-learner/org/dllearner
|
From: <ku...@us...> - 2008-04-07 15:05:57
|
Revision: 775
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=775&view=rev
Author: kurzum
Date: 2008-04-07 08:05:51 -0700 (Mon, 07 Apr 2008)
Log Message:
-----------
added toKBSyntaxString method
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java
trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java
trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java
trunk/src/dl-learner/org/dllearner/core/owl/BooleanValueRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypeExactCardinalityRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMaxCardinalityRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMinCardinalityRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypeSomeRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java
trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java
trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java
trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/Individual.java
trunk/src/dl-learner/org/dllearner/core/owl/Intersection.java
trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/KB.java
trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java
trunk/src/dl-learner/org/dllearner/core/owl/NamedClass.java
trunk/src/dl-learner/org/dllearner/core/owl/Negation.java
trunk/src/dl-learner/org/dllearner/core/owl/Nothing.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectAllRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectExactCardinalityRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectMaxCardinalityRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectMinCardinalityRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectSomeRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectValueRestriction.java
trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/Thing.java
trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java
trunk/src/dl-learner/org/dllearner/core/owl/Union.java
trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java
trunk/src/dl-learner/org/dllearner/examples/KRK.java
Modified: trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/algorithms/gp/ADC.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -37,6 +37,12 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "ADC";
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "ADC";
+ }
+
+
/* (non-Javadoc)
* @see org.dllearner.core.owl.Description#toManchesterSyntaxString()
Modified: trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -58,6 +58,13 @@
// TODO Auto-generated method stub
return null;
}
+
+
+ public String toKBSyntaxString (String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -37,6 +37,11 @@
public String toString(String baseURI, Map<String, String> prefixes) {
return datatypeProperty.toString(baseURI, prefixes) + "(" + individual.toString(baseURI, prefixes) + "," + value +")";
}
+
+ @Override
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return datatypeProperty.toKBSyntaxString(baseURI,prefixes) + "(" + individual.toKBSyntaxString( baseURI, prefixes) + "," + value +")";
+ }
public boolean getValue() {
return value;
Modified: trunk/src/dl-learner/org/dllearner/core/owl/BooleanValueRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/BooleanValueRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/BooleanValueRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -19,6 +19,7 @@
*/
package org.dllearner.core.owl;
+
/**
* Convenience class for boolean value restrictions.
*
@@ -58,4 +59,10 @@
public int getLength() {
return 2;
}
+
+ /*@Override
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ throw new Error("BooleanValueRestriction: not implemented");
+
+ }*/
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -51,9 +51,18 @@
}
public String toString(String baseURI, Map<String,String> prefixes) {
- return concept.toString(baseURI, prefixes) + "(" + individual + ")";
+ return concept.toString(baseURI, prefixes) + "(" + individual.toString(baseURI, prefixes) + ")";
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return concept.toKBSyntaxString(baseURI, prefixes) + "(" + individual.toKBSyntaxString(baseURI, prefixes) + ")";
+ }
+
+ /*@Override
+ public String toKBSyntaxString() {
+ return concept.toKBSyntaxString() + "(" + individual + ")";
+ }*/
+
@Override
public void accept(AxiomVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -55,6 +55,10 @@
return uri.toString();
}
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return uri.toString();
+ }
+
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeExactCardinalityRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeExactCardinalityRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeExactCardinalityRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -63,6 +63,11 @@
return null;
}
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
/* (non-Javadoc)
* @see org.dllearner.core.owl.Description#toManchesterSyntaxString()
*/
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMaxCardinalityRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMaxCardinalityRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMaxCardinalityRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -62,6 +62,11 @@
// TODO Auto-generated method stub
return null;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
@Override
public void accept(DescriptionVisitor visitor) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMinCardinalityRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMinCardinalityRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeMinCardinalityRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -62,6 +62,11 @@
// TODO Auto-generated method stub
return null;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
/* (non-Javadoc)
* @see org.dllearner.core.owl.Description#accept(org.dllearner.core.owl.DescriptionVisitor)
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -52,6 +52,10 @@
}
public String toString(String baseURI, Map<String, String> prefixes) {
+ return Helper.getAbbreviatedString(name, baseURI, prefixes);
+ }
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
return "\"" + Helper.getAbbreviatedString(name, baseURI, prefixes) + "\"";
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -52,6 +52,15 @@
}
/* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toKBSyntaxString(java.lang.String, java.util.Map)
+ */
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+
+ /* (non-Javadoc)
* @see org.dllearner.core.owl.Axiom#accept(org.dllearner.core.owl.AxiomVisitor)
*/
@Override
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -50,6 +50,11 @@
// TODO Auto-generated method stub
return null;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
/* (non-Javadoc)
* @see org.dllearner.core.owl.Axiom#accept(org.dllearner.core.owl.AxiomVisitor)
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeSomeRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeSomeRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeSomeRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -63,6 +63,13 @@
public String toString(String baseURI, Map<String, String> prefixes) {
return restrictedPropertyExpression.toString(baseURI, prefixes) + dataRange.toString(baseURI, prefixes);
}
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toKBSyntaxString(java.lang.String, java.util.Map)
+ */
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return restrictedPropertyExpression.toKBSyntaxString(baseURI, prefixes) + dataRange.toKBSyntaxString(baseURI, prefixes);
+ }
/* (non-Javadoc)
* @see org.dllearner.core.owl.Description#accept(org.dllearner.core.owl.DescriptionVisitor)
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -68,6 +68,10 @@
public String toString(String baseURI, Map<String, String> prefixes) {
return restrictedPropertyExpression.toString(baseURI, prefixes) + " = " + value.toString(baseURI, prefixes);
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return restrictedPropertyExpression.toKBSyntaxString(baseURI, prefixes) + " = " + value.toKBSyntaxString(baseURI, prefixes);
+ }
public DatatypeProperty getRestrictedPropertyExpresssion() {
return (DatatypeProperty) restrictedPropertyExpression;
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -48,6 +48,11 @@
// TODO Auto-generated method stub
return null;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ throw new Error("DifferentIndividualsAxiom: Not implemented");
+ }
public Set<Individual> getIndividuals() {
return individuals;
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -51,6 +51,13 @@
// TODO Auto-generated method stub
return null;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ throw new Error("DisjointClassesAxiom: Not implemented");
+ }
+
+
@Override
public void accept(AxiomVisitor visitor) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -40,6 +40,13 @@
public String toString(String baseURI, Map<String, String> prefixes) {
return datatypeProperty.toString(baseURI, prefixes) + "(" + individual.toString(baseURI, prefixes) + "," + value +")";
}
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toKBSyntaxString(java.lang.String, java.util.Map)
+ */
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return datatypeProperty.toKBSyntaxString(baseURI, prefixes) + "(" + individual.toKBSyntaxString(baseURI, prefixes) + "," + value +")";
+ }
public double getValue() {
return value;
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -57,6 +57,10 @@
return " <= " + value;
}
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return " <= " + value;
+ }
+
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -57,6 +57,10 @@
return " >= " + value;
}
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return " >= " + value;
+ }
+
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -27,6 +27,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return concept1.toString(baseURI, prefixes) + " = " + concept2.toString(baseURI, prefixes);
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return concept1.toKBSyntaxString(baseURI, prefixes) + " = " + concept2.toKBSyntaxString(baseURI, prefixes);
+ }
@Override
public void accept(AxiomVisitor visitor) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -18,9 +18,19 @@
return 1 + role.getLength();
}
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
+ */
public String toString(String baseURI, Map<String,String> prefixes) {
return "Functional(" + role.toString(baseURI, prefixes) + ")";
}
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toKBSyntaxString(java.lang.String, java.util.Map)
+ */
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "Functional(" + role.toKBSyntaxString(baseURI, prefixes) + ")";
+ }
@Override
public void accept(AxiomVisitor visitor) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Individual.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Individual.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Individual.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -60,6 +60,10 @@
}
public String toString(String baseURI, Map<String,String> prefixes) {
+ return Helper.getAbbreviatedString(name, baseURI, prefixes);
+ }
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
return "\"" + Helper.getAbbreviatedString(name, baseURI, prefixes) + "\"";
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Intersection.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Intersection.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Intersection.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -39,16 +39,28 @@
return "EMPTY_AND";
String ret = "(";
+ for(int i=0; i<children.size()-1; i++) {
+ ret += children.get(i).toString(baseURI, prefixes) + " AND ";
+ }
+ ret += children.get(children.size()-1).toString(baseURI, prefixes) + ")";
+ return ret;
+ }
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ if(children.size()==0)
+ return "EMPTY_AND";
+
+ String ret = "(";
String bracketCollect = "";
for(int i=0; i<children.size()-1; i++) {
- ret += children.get(i).toString(baseURI, prefixes) + " AND ";
+ ret += children.get(i).toKBSyntaxString(baseURI, prefixes) + " AND ";
if( i != (children.size()-2) ) {
ret += "(";
bracketCollect += ")";
}
}
- ret += children.get(children.size()-1).toString(baseURI, prefixes) + ")";
+ ret += children.get(children.size()-1).toKBSyntaxString(baseURI, prefixes) + ")";
ret += bracketCollect;
return ret;
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -26,6 +26,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "Inverse(" + inverseRole + "," + role.toString(baseURI, prefixes) + ")";
+ }
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "Inverse(" + inverseRole.toKBSyntaxString(baseURI, prefixes) + "," + role.toKBSyntaxString(baseURI, prefixes) + ")";
}
@Override
Modified: trunk/src/dl-learner/org/dllearner/core/owl/KB.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/KB.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/KB.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -203,6 +203,19 @@
return str;
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ String str = "TBox["+tbox.size()+"]:\n";
+ for(Axiom a : tbox)
+ str += " " + a.toString(baseURI, prefixes)+"\n";
+ str += "RBox["+rbox.size()+"]:\n";
+ for(Axiom a : rbox)
+ str += " " + a.toString(baseURI, prefixes)+"\n";
+ str += "ABox["+abox.size()+"]:\n";
+ for(Axiom a : abox)
+ str += " " + a.toString(baseURI, prefixes)+"\n";
+ return str;
+ }
+
public Set<Individual> findRelatedIndividuals(Individual individual) {
return findRelatedIndividuals(individual, new TreeSet<Individual>());
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -14,5 +14,7 @@
public String toString(String baseURI, Map<String,String> prefixes);
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes);
+
public void accept(KBElementVisitor visitor);
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/NamedClass.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/NamedClass.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/NamedClass.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -52,6 +52,10 @@
}
public String toString(String baseURI, Map<String,String> prefixes) {
+ return Helper.getAbbreviatedString(name, baseURI, prefixes);
+ }
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
return "\"" + Helper.getAbbreviatedString(name, baseURI, prefixes) + "\"";
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Negation.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Negation.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Negation.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -21,6 +21,11 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "(NOT " +children.get(0).toString(baseURI, prefixes) + ")";
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ //TODO brackets removed, but they maybe have to be here
+ return "NOT " +children.get(0).toKBSyntaxString(baseURI, prefixes) + "";
+ }
public int getLength() {
return 1 + children.get(0).getLength();
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Nothing.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Nothing.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Nothing.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -34,6 +34,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "BOTTOM";
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "BOTTOM";
+ }
/* (non-Javadoc)
* @see org.dllearner.core.owl.Description#toManchesterSyntaxString(java.lang.String, java.util.Map)
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectAllRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectAllRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectAllRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -37,6 +37,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "ALL " + restrictedPropertyExpression.toString(baseURI, prefixes) + "." + children.get(0).toString(baseURI, prefixes);
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "ALL " + restrictedPropertyExpression.toKBSyntaxString(baseURI, prefixes) + "." + children.get(0).toKBSyntaxString(baseURI, prefixes);
+ }
@Override
public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectExactCardinalityRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectExactCardinalityRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectExactCardinalityRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -39,6 +39,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "= " + number + " " + role.toString(baseURI, prefixes) + " " + getChild(0).toString(baseURI, prefixes);
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "= " + number + " " + role.toKBSyntaxString(baseURI, prefixes) + " " + getChild(0).toKBSyntaxString(baseURI, prefixes);
+ }
@Override
public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectMaxCardinalityRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectMaxCardinalityRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectMaxCardinalityRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -15,8 +15,12 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "<= " + number + " " + role.toString(baseURI, prefixes) + " " + getChild(0).toString(baseURI, prefixes);
- }
+ }
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "<= " + number + " " + role.toKBSyntaxString(baseURI, prefixes) + " " + getChild(0).toKBSyntaxString(baseURI, prefixes);
+ }
+
@Override
public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
return role.toString(baseURI, prefixes) + " max " + number + " " + getChild(0).toManchesterSyntaxString(baseURI, prefixes);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectMinCardinalityRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectMinCardinalityRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectMinCardinalityRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -17,6 +17,10 @@
return ">= " + number + " " + role.toString(baseURI, prefixes) + " " + getChild(0).toString(baseURI, prefixes);
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return ">= " + number + " " + role.toKBSyntaxString(baseURI, prefixes) + " " + getChild(0).toKBSyntaxString(baseURI, prefixes);
+ }
+
@Override
public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
return role.toString(baseURI, prefixes) + " min " + number + " " + getChild(0).toManchesterSyntaxString(baseURI, prefixes);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -46,8 +46,12 @@
}
public String toString(String baseURI, Map<String,String> prefixes) {
+ return Helper.getAbbreviatedString(name, baseURI, prefixes) ;
+ }
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
return "\"" + Helper.getAbbreviatedString(name, baseURI, prefixes) + "\"";
- }
+ }
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -65,6 +65,10 @@
return role.toString(baseURI, prefixes) + "(" + individual1.toString(baseURI, prefixes) + "," + individual2.toString(baseURI, prefixes) +")";
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return role.toKBSyntaxString(baseURI, prefixes) + "(" + individual1.toKBSyntaxString(baseURI, prefixes) + "," + individual2.toKBSyntaxString(baseURI, prefixes) +")";
+ }
+
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -52,6 +52,12 @@
// TODO Auto-generated method stub
return null;
}
+
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
@Override
public void accept(AxiomVisitor visitor) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -50,6 +50,10 @@
return Helper.getAbbreviatedString(name, baseURI, prefixes) + "-";
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return Helper.getAbbreviatedString(name, baseURI, prefixes) + "-";
+ }
+
public void accept(KBElementVisitor visitor) {
visitor.visit(this);
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -46,6 +46,11 @@
// TODO Auto-generated method stub
return null;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
@Override
public Description getRange() {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectSomeRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectSomeRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectSomeRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -36,6 +36,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "EXISTS " + restrictedPropertyExpression.toString(baseURI, prefixes) + "." + children.get(0).toString(baseURI, prefixes);
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "EXISTS " + restrictedPropertyExpression.toKBSyntaxString(baseURI, prefixes) + "." + children.get(0).toKBSyntaxString(baseURI, prefixes);
+ }
@Override
public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectValueRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectValueRestriction.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectValueRestriction.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -71,6 +71,11 @@
return null;
}
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
public Individual getIndividual() {
return (Individual) value;
}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -28,6 +28,10 @@
return subConcept.toString(baseURI, prefixes) + " SUBCONCEPTOF " + superConcept.toString(baseURI, prefixes);
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return subConcept.toKBSyntaxString(baseURI, prefixes) + " SUBCONCEPTOF " + superConcept.toKBSyntaxString(baseURI, prefixes);
+ }
+
@Override
public void accept(AxiomVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -26,8 +26,12 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "Subrole(" + subRole.toString(baseURI, prefixes) + "," + role.toString(baseURI, prefixes) + ")";
- }
+ }
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "Subrole(" + subRole.toKBSyntaxString(baseURI, prefixes) + "," + role.toKBSyntaxString(baseURI, prefixes) + ")";
+ }
+
@Override
public void accept(AxiomVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -22,6 +22,10 @@
return "Symmetric(" + role.toString(baseURI, prefixes) + ")";
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "Symmetric(" + role.toKBSyntaxString(baseURI, prefixes) + ")";
+ }
+
@Override
public void accept(AxiomVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Thing.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Thing.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Thing.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -41,6 +41,10 @@
public String toString(String baseURI, Map<String,String> prefixes) {
return "TOP";
}
+
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "TOP";
+ }
@Override
public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
Modified: trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -22,6 +22,10 @@
return "Transitive(" + role.toString(baseURI, prefixes) + ")";
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+ return "Transitive(" + role.toKBSyntaxString(baseURI, prefixes) + ")";
+ }
+
@Override
public void accept(AxiomVisitor visitor) {
visitor.visit(this);
Modified: trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -50,6 +50,11 @@
return literal;
// return literal + "^^" + datatype;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ return literal;
+// return literal + "^^" + datatype;
+ }
/**
* @return the datatype
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Union.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Union.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Union.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -48,6 +48,25 @@
return ret;
}
+ public String toKBSyntaxString(String baseURI, Map<String,String> prefixes) {
+
+ if(children.size()==0)
+ return "EMPTY_OR";
+
+ String ret = "(";
+ String bracketCollect = "";
+ for(int i=0; i<children.size()-1; i++) {
+ ret += children.get(i).toKBSyntaxString(baseURI, prefixes) + " OR ";
+ if( i != (children.size()-2) ) {
+ ret += "(";
+ bracketCollect += ")";
+ }
+ }
+ ret += children.get(children.size()-1).toKBSyntaxString(baseURI, prefixes) + ")";
+ ret += bracketCollect;
+ return ret;
+ }
+
@Override
public String toManchesterSyntaxString(String baseURI, Map<String,String> prefixes) {
if(children.size()==0)
Modified: trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -61,6 +61,13 @@
else
return literal;
}
+
+ public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
+ if(hasLang)
+ return literal + "@" + lang;
+ else
+ return literal;
+ }
/**
* @return the lang
Modified: trunk/src/dl-learner/org/dllearner/examples/KRK.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/examples/KRK.java 2008-04-07 12:18:57 UTC (rev 774)
+++ trunk/src/dl-learner/org/dllearner/examples/KRK.java 2008-04-07 15:05:51 UTC (rev 775)
@@ -233,14 +233,17 @@
if(closeKB) {
if(closeConcise) {
- oc.applyNumberRestrictionsNamed();
+ oc.applyNumberRestrictionsConcise();
kbaddition = "_CloseConcise";
}
else oc.applyNumberRestrictions();
}
-
- if (verifySomeConcepts) verifySomeConcepts(oc);
+
+ if (verifySomeConcepts) {
+ oc.updateReasoner();
+ verifySomeConcepts(oc);
+ }
if (writeClosedOWL) writeOWLFile("test"+kbaddition+".owl");
} catch (Exception e) {
@@ -319,6 +322,9 @@
" ALL \"http://www.test.de/test#fileDistanceLessThan1\"." +
"\"http://www.test.de/test#WKing\") ");*/
+
+ test.add("EXISTS \"http://www.test.de/test#hasPiece\".EXISTS \"http://www.test.de/test#hasLowerRankThan\".(\"http://www.test.de/test#WRook\" AND ALL \"http://www.test.de/test#fileDistanceLessThan1\".\"http://www.test.de/test#WKing\")") ;
+
for (int i = 0; i < test.size(); i++) {
String conceptStr = test.get(i);
oc.verifyConcept(conceptStr);
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
