@Override protected String getDataHasValueName(OWLDataPropertyExpression p, OWLLiteral lit) { printError("Data has value concept not supported"); return null; }
@Override protected String getDataMinCardinalityRestrictionName(int card, OWLDataPropertyExpression p) { printError("Data min cardinality restriction not supported"); return null; }
@Override protected String getBottomObjectPropertyName() { printError("Bottom object property not supported"); return null; }
@Override protected void writeIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression p) { printError("Irreflexive object property axiom not supported"); }
@Override protected String getObjectOneOfName(Set<OWLIndividual> set) { printError("OneOf concept not supported"); return null; }
@Override protected String getObjectExactCardinalityRestrictionName(int card, OWLObjectPropertyExpression p) { printError("Object exact cardinality restriction not supported"); return null; }
@Override protected String getDataMaxCardinalityRestrictionName(int card, OWLDataPropertyExpression p) { printError("Data max cardinality restriction not supported"); return null; }
@Override protected String getBottomDataPropertyName() { printError("Bottom data property not supported"); return null; }
@Override protected void writeSubPropertyChainOfAxiom(List<OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, double d) { printError("Subproperty chain axiom not supported"); }
@Override protected void writeDisjointObjectPropertiesAxiom(Set<OWLObjectPropertyExpression> set) { printError("Disjoint object properties axiom not supported"); }
@Override protected String getObjectMaxCardinalityRestrictionName(int card, OWLObjectPropertyExpression p, OWLClassExpression c) { printError("Object max cardinality restriction not supported"); return null; }
@Override protected String getObjectMaxCardinalityRestrictionName(int card, OWLObjectPropertyExpression p) { printError("Object max cardinality restriction not supported"); return null; }
@Override protected String getObjectExactCardinalityRestrictionName(int card, OWLObjectPropertyExpression p, OWLClassExpression c) { printError("Object exact cardinality restriction not supported"); return null; }
@Override protected String getTopObjectPropertyName() { printError("Top object property not supported"); return null; }
@Override protected String getObjectMinCardinalityRestrictionName(int card, OWLObjectPropertyExpression p, OWLClassExpression c) { printError("Object min cardinality restriction not supported"); return null; }
@Override protected String getDataMaxCardinalityRestrictionName(int card, OWLDataPropertyExpression p, OWLDataRange range) { printError("Data max cardinality restriction not supported"); return null; }
@Override protected String getTopDataPropertyName() { printError("Top data property not supported"); return null; }
@Override protected void writeNegativeDataPropertyAssertionAxiom(OWLIndividual i1, OWLLiteral i2, OWLDataPropertyExpression p, double d) { printError("Negative data property assertion not supported"); }
@Override protected void writeSameIndividualAxiom(Set<OWLIndividual> set) { printError("Same individual axiom not supported"); }
@Override public String getIndividualName(OWLIndividual i) { if (i.isAnonymous()) { printError("Anonymous individual " + i + " not supported"); return null; } else return( getShortName( i.asOWLNamedIndividual() )) ; }