@Override protected String getObjectIntersectionOfName(Set<OWLClassExpression> operands) { String s = "(and "; for(OWLClassExpression c : operands) s += getClassName(c) + " "; s += ")"; return s; }
@Override protected String getObjectComplementOfName(OWLClassExpression c) { return "(not " + getClassName(c) + " )"; }
@Override protected String getObjectUnionOfName(Set<OWLClassExpression> operands) { String s = "(or "; for(OWLClassExpression c : operands) s += getClassName(c) + " "; s += ")"; return s; }
@Override protected String getObjectAllValuesFromName(OWLObjectPropertyExpression p, OWLClassExpression c) { return "(all " + getObjectPropertyName(p) + " " + getClassName(c) + " )"; }
@Override protected String getObjectSomeValuesFromName(OWLObjectPropertyExpression p, OWLClassExpression c) { return "(some " + 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 writeObjectPropertyDomainAxiom(OWLObjectPropertyExpression p, OWLClassExpression c) { print("(domain " + getObjectPropertyName(p) + " " + getClassName(c) + " )"); }
@Override protected void writeConceptDeclaration(OWLClassExpression c) { print("(define-primitive-concept " + getClassName(c) + " " + getTopConceptName() + " )"); }
@Override protected void writeConceptAssertionAxiom(OWLIndividual i, OWLClassExpression c, double d) { print("(instance " + getIndividualName(i) + " " + getClassName(c) + " " + d + ")"); }
@Override protected void writeObjectPropertyRangeAxiom(OWLObjectPropertyExpression p, OWLClassExpression c) { print("(range " + getObjectPropertyName(p) + " " + getClassName(c) + " )"); }
@Override protected void writeDataPropertyDomainAxiom(OWLDataPropertyExpression p, OWLClassExpression c) { print("(domain " + getDataPropertyName(p) + " " + getClassName(c) + " )"); }
@Override protected void writeEquivalentClassesAxiom(Set<OWLClassExpression> set) { String name = null; OWLClassExpression leftClass = null; for (OWLClassExpression c : set) if (c.getClassExpressionType() == ClassExpressionType.OWL_CLASS) { name = getShortName(c.asOWLClass()); leftClass = c; break; } if (name == null) exit("Equivalent classes axiom " + set + " require at least one atomic class"); for (OWLClassExpression c : set) if (c != leftClass) print("(define-concept " + name + " " + getClassName(c) + " )"); }