private void renderObjectProperty(OWLOntology ontology, OWLObjectProperty prop)
throws OWLException {
// String key = "defprimrole";
if (!definedURIs.contains(prop.getURI())) {
pw.println(" (defprimrole " + shortForm(prop) + ")");
definedURIs.add(prop.getURI());
}
// if ( prop.isTransitive( ontology ) ) {
// pw.print(" :transitive T");
// }
/* ?? */
if (prop.isInverseFunctional(ontology)) {
pw.print(" (functional");
pw.print(" (inv " + shortForm(prop) + ")");
pw.println(" )");
}
if (!prop.getSuperProperties(ontology).isEmpty()) {
// pw.print(" :supers ( ");
for (Iterator it = prop.getSuperProperties(ontology).iterator(); it.hasNext(); ) {
OWLObjectProperty sup = (OWLObjectProperty) it.next();
// pw.print(" ;; Super");
pw.print(" (implies_r ");
pw.print(shortForm(prop));
pw.print(" ");
pw.print(shortForm(sup));
pw.println(")");
}
// pw.print(")");
}
// pw.println(")");
if (prop.isFunctional(ontology)) {
pw.print(" (functional");
pw.print(" " + shortForm(prop));
pw.println(" )");
}
if (prop.isTransitive(ontology)) {
pw.print(" (transitive");
pw.print(" " + shortForm(prop));
pw.println(" )");
}
for (Iterator it = prop.getDomains(ontology).iterator(); it.hasNext(); ) {
pw.println(" ;; Domain " + shortForm(prop));
pw.print(" (domain " + shortForm(prop) + " ");
OWLDescription dom = (OWLDescription) it.next();
visitor.reset();
dom.accept(visitor);
pw.println(visitor.result() + " )");
}
for (Iterator it = prop.getRanges(ontology).iterator(); it.hasNext(); ) {
pw.println(" ;; Range " + shortForm(prop));
pw.print(" (range " + shortForm(prop) + " ");
OWLDescription dom = (OWLDescription) it.next();
visitor.reset();
dom.accept(visitor);
pw.println(visitor.result() + " )");
}
if (prop.isSymmetric(ontology)) {
pw.println(" ;; Symmetry ");
pw.println(" (equal_r " + " " + shortForm(prop) + " " + "(inv " + shortForm(prop) + " ))");
}
for (Iterator it = prop.getInverses(ontology).iterator(); it.hasNext(); ) {
pw.println(" ;;Inverse " + shortForm(prop));
pw.print(" (equal_r " + " " + shortForm(prop) + " " + "(inv ");
OWLObjectProperty inv = (OWLObjectProperty) it.next();
visitor.reset();
inv.accept(visitor);
pw.println(visitor.result() + " ))");
}
pw.println();
}
