@Override protected void printURI(PrintWriter out, ATermAppl c) { String str = null; if (c.equals(ATermUtils.TOP)) str = "owl:Thing"; else if (c.equals(ATermUtils.BOTTOM)) str = "owl:Nothing"; else if (ATermUtils.isPrimitive(c)) str = qnames.shortForm(c.getName()); else str = c.toString(); out.print(str); }
@Override public OWLLiteral map(ATermAppl term) { String lexValue = ((ATermAppl) term.getArgument(0)).getName(); ATermAppl lang = (ATermAppl) term.getArgument(1); ATermAppl dtype = (ATermAppl) term.getArgument(2); if (dtype.equals(ATermUtils.PLAIN_LITERAL_DATATYPE)) { if (lang.equals(ATermUtils.EMPTY)) return factory.getOWLLiteral(lexValue); else return factory.getOWLLiteral(lexValue, lang.toString()); } else { OWLDatatype datatype = DT_MAPPER.map(dtype); return factory.getOWLLiteral(lexValue, datatype); } }
@Override public OWLClass map(ATermAppl term) { if (term.equals(ATermUtils.TOP)) return factory.getOWLThing(); else if (term.equals(ATermUtils.BOTTOM)) return factory.getOWLNothing(); else return factory.getOWLClass(iri(term)); }