@Override protected void writeFuzzyLogic(FuzzyLogic logic) { print("(define-fuzzy-logic " + logic + ")"); }
@Override protected void writeLinearModifierDefinition(String name, LinearModifier mod) { double c = mod.getC(); print("(define-modifier " + name + " linear-modifier(" + c + ") )"); }
@Override protected void writeTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(transitive " + getObjectPropertyName(p) + ")"); }
@Override protected void writeSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(symmetric " + getObjectPropertyName(p) + ")"); }
@Override protected void writeInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(inverse-functional " + getObjectPropertyName(p) + ")"); }
@Override protected void writeReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(reflexive " + getObjectPropertyName(p) + ")"); }
@Override protected void writeEquivalentDataPropertiesAxiom(Set<OWLDataPropertyExpression> set) { Iterator<OWLDataPropertyExpression> it = set.iterator(); OWLDataPropertyExpression first = it.next(); while(it.hasNext()) { OWLDataPropertyExpression property = it.next(); print("(implies-role " + getDataPropertyName(first) + " " + getDataPropertyName(property) + ")"); print("(implies-role " + getDataPropertyName(property) + " " + getDataPropertyName(first) + ")"); } }
@Override protected void writeQowaConceptDefinition(String name, QowaConcept c) { String s = "(define-concept " + name + " (q-owa " + c.getQuantifier() + " "; List<String> list = c.getConcepts(); s += list.get(0); for(int i=1; i<list.size(); i++) s += " " + list.get(i); s += ") )"; print(s); }
@Override protected void writeEquivalentObjectPropertiesAxiom(Set<OWLObjectPropertyExpression> set) { Iterator<OWLObjectPropertyExpression> it = set.iterator(); OWLObjectPropertyExpression first = it.next(); while(it.hasNext()) { OWLObjectPropertyExpression property = it.next(); print("(implies-role " + getObjectPropertyName(first) + " " + getObjectPropertyName(property) + ")"); print("(implies-role " + getObjectPropertyName(property) + " " + getObjectPropertyName(first) + ")"); } }
@Override protected void writeConceptDeclaration(OWLClassExpression c) { print("(define-primitive-concept " + getClassName(c) + " " + getTopConceptName() + " )"); }
@Override protected void writeWeightedConceptDefinition(String name, WeightedConcept c) { print("(define-concept " + name + " (" + c.getWeight() + " " + c.getFuzzyConcept() + ") )"); }
@Override protected void writeSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty, double d) { // if (superProperty.isOWLTopDataProperty() == false) print("(implies-role " + getDataPropertyName(subProperty) + " " + getDataPropertyName(superProperty) + " " + d + ")"); }
@Override protected void writeModifiedFunctionDefinition(String name, ModifiedFunction dat) { print("(define-concept " + name + " ( " + dat.getMod() + " " + dat.getD() + " ) )"); }
@Override protected void writeModifiedConceptDefinition(String name, ModifiedConcept c) { print("(define-concept " + name + " (" + c.getFuzzyModifier() + " " + c.getFuzzyConcept() + ") )"); }
@Override protected void writeObjectPropertyDomainAxiom(OWLObjectPropertyExpression p, OWLClassExpression c) { print("(domain " + getObjectPropertyName(p) + " " + getClassName(c) + " )"); }
@Override protected void writeSubclassOfAxiom(OWLClassExpression subclass, OWLClassExpression superclass, double d) { // if (superclass.isOWLThing() != false) { ClassExpressionType type = subclass.getClassExpressionType(); if ((type == ClassExpressionType.OWL_CLASS) && (d == 1)) print("(define-primitive-concept " + getShortName(subclass.asOWLClass()) + " " + getClassName(superclass) + ")"); else print("(implies " + getClassName(subclass) + " " + getClassName(superclass) + " " + d + ")"); } }
@Override protected void writeObjectPropertyAssertionAxiom(OWLIndividual i1, OWLIndividual i2, OWLObjectPropertyExpression p, double d) { print("(related " + getIndividualName(i1) + " " + getIndividualName(i2) + " " + getObjectPropertyName(p) + " " + d + ")"); }
@Override protected void writeLeftShoulderFunctionDefinition(String name, LeftShoulderFunction f) { double k1 = f.getMinValue(); double k2 = f.getMaxValue(); double a = f.getA(); double b = f.getB(); print("(define-fuzzy-concept " + name + " left-shoulder(" + k1 + ", " + k2 + ", " + a + ", " + b + ") )"); }
@Override protected void writeRightShoulderFunctionDefinition(String name, RightShoulderFunction f) { double k1 = f.getMinValue(); double k2 = f.getMaxValue(); double a = f.getA(); double b = f.getB(); print("(define-fuzzy-concept " + name + " right-shoulder(" + k1 + ", " + k2 + ", " + a + ", " + b + ") )"); }
@Override protected void writeTriangularFunctionDefinition(String name, TriangularFunction f) { double k1 = f.getMinValue(); double k2 = f.getMaxValue(); double a = f.getA(); double b = f.getB(); double c = f.getC(); print("(define-fuzzy-concept " + name + " triangular(" + k1 + ", " + k2 + ", " + a + ", " + b + ", " + c + ") )"); }