protected String getObjectIntersectionOfName(Set<OWLClassExpression> operands) { print("Print ObjectIntersectionOf" + operands); return ""; }
protected String getObjectSomeValuesFromName(OWLObjectPropertyExpression p, OWLClassExpression c) { print("Print ObjectSomeValuesFrom(" + p + " " + c + ")"); return ""; }
protected String getObjectHasValueName(OWLObjectPropertyExpression p, OWLIndividual i) { print("Print ObjectHasValue(" + p + " " + i + ")"); return ""; }
protected String getObjectUnionOfName(Set<OWLClassExpression> operands) { print("Print ObjectUnionOf" + operands); return ""; }
protected String getDataSomeValuesFromName(OWLDataPropertyExpression p, OWLDataRange range) { print("Print DataSomeValuesFrom(" + p + " " + range + ")"); return ""; }
protected String getTopObjectPropertyName() { print("Write top object property"); return ""; }
protected String getBottomObjectPropertyName() { print("Write bottom object property"); return ""; }
protected String getTopConceptName() { print("Print Top concept"); return ""; }
protected String getDataAllValuesFromName(OWLDataPropertyExpression p, OWLDataRange range) { print("Print DataAllValuesFrom(" + p + " " + range + ")"); return ""; }
protected String getObjectOneOfName(Set<OWLIndividual> set) { print("Print ObjectOneOf(" + set + ")"); return ""; }
protected String getDataHasValueName(OWLDataPropertyExpression p, OWLLiteral lit) { print("Print DataHasValue(" + p + " " + lit + ")"); return ""; }
protected String getObjectMaxCardinalityRestrictionName(int card, OWLObjectPropertyExpression p) { print("Print ObjectMaxCardinalityRestriction(" + card + " " + p + " " + ")"); return ""; }
protected String getObjectExactCardinalityRestrictionName(int card, OWLObjectPropertyExpression p, OWLClassExpression c) { print("Print ObjectExactCardinalityRestriction(" + card + " " + p + " " + c + ")"); return ""; }
protected String getDataMinCardinalityRestrictionName(int card, OWLDataPropertyExpression p) { print("Print DataMinCardinalityRestriction(" + card + " " + p + " " + ")"); return ""; }
protected String getDataMaxCardinalityRestrictionName(int card, OWLDataPropertyExpression p, OWLDataRange range) { print("Print DataMaxCardinalityRestriction(" + card + " " + p + " " + range + ")"); return ""; }
protected String getTopDataPropertyName() { print("Write top object property"); return ""; }
protected String getBottomDataPropertyName() { print("Write bottom object property"); return ""; }
protected String getAtomicDataPropertyName(OWLDataProperty p) { print("Write object property + " + getShortName(p) ); return ""; }
protected String getAtomicObjectPropertyName(OWLObjectProperty p) { print("Write object property + " + getShortName(p) ); return ""; }
protected String getAtomicConceptName(OWLClass c) { String name = getShortName(c); print("Print Atomic concept" + name); return ""; }