@Override protected String getObjectHasSelfName(OWLObjectPropertyExpression p) { return "(self " + getObjectPropertyName(p) + ")"; }
@Override protected void writeSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, double d) { // if (superProperty.isOWLTopObjectProperty() == false) print("(implies-role " + getObjectPropertyName(subProperty) + " " + getObjectPropertyName(superProperty) + " " + d + ")"); }
@Override protected void writeInverseObjectPropertiesAxiom(OWLObjectPropertyExpression p1, OWLObjectPropertyExpression p2) { print("(inverse " + getObjectPropertyName(p1) + " " + getObjectPropertyName(p2) + ")"); }
@Override protected void writeEquivalentObjectPropertiesAxiom(Set<OWLObjectPropertyExpression> set) { Iterator<OWLObjectPropertyExpression> it = set.iterator(); OWLObjectPropertyExpression first = it.next(); while(it.hasNext()) { OWLObjectPropertyExpression property = it.next(); print("(implies-role " + getObjectPropertyName(first) + " " + getObjectPropertyName(property) + ")"); print("(implies-role " + getObjectPropertyName(property) + " " + getObjectPropertyName(first) + ")"); } }
@Override protected String getObjectAllValuesFromName(OWLObjectPropertyExpression p, OWLClassExpression c) { return "(all " + getObjectPropertyName(p) + " " + getClassName(c) + " )"; }
@Override protected void writeTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(transitive " + getObjectPropertyName(p) + ")"); }
@Override protected void writeSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(symmetric " + getObjectPropertyName(p) + ")"); }
@Override protected void writeInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(inverse-functional " + getObjectPropertyName(p) + ")"); }
@Override protected void writeReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(reflexive " + getObjectPropertyName(p) + ")"); }
@Override protected String getObjectSomeValuesFromName(OWLObjectPropertyExpression p, OWLClassExpression c) { return "(some " + getObjectPropertyName(p) + " " + getClassName(c) + ")"; }
@Override protected void writeFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression p) { print("(functional " + getObjectPropertyName(p) + ")"); }
@Override protected void writeObjectPropertyDomainAxiom(OWLObjectPropertyExpression p, OWLClassExpression c) { print("(domain " + getObjectPropertyName(p) + " " + getClassName(c) + " )"); }
@Override protected void writeObjectPropertyRangeAxiom(OWLObjectPropertyExpression p, OWLClassExpression c) { print("(range " + getObjectPropertyName(p) + " " + getClassName(c) + " )"); }
@Override protected void writeObjectPropertyAssertionAxiom(OWLIndividual i1, OWLIndividual i2, OWLObjectPropertyExpression p, double d) { print("(related " + getIndividualName(i1) + " " + getIndividualName(i2) + " " + getObjectPropertyName(p) + " " + d + ")"); }