Java OWLObjectProperty.toString Examples

Example #1

File: TransitiveObjectPropertyLint.java Project: liyuange/co-ode-owl-plugins

 public LintReport<OWLObjectProperty> detected(Collection<? extends OWLOntology> targets)
     throws LintException {
   SimpleMatchBasedLintReport<OWLObjectProperty> report =
       new SimpleMatchBasedLintReport<OWLObjectProperty>(this);
   for (OWLOntology ontology : targets) {
     for (OWLObjectProperty objectProperty : ontology.getObjectPropertiesInSignature()) {
       if (objectProperty.isTransitive(ontology)) {
         Set<OWLObjectPropertyExpression> superProperties =
             objectProperty.getSuperProperties(ontology);
         for (OWLObjectPropertyExpression objectPropertyExpression : superProperties) {
           if (objectPropertyExpression.isTransitive(ontology)) {
             report.add(
                 objectProperty,
                 ontology,
                 "The property "
                     + objectProperty.toString()
                     + " is transitive and has a transitive super property");
           }
         }
       }
     }
   }
   return report;
 }

Example #2

File: ALCRenderer.java Project: jmayaalv/mapo

 /*
  * (non-Javadoc)
  *
  * @seeorg.semanticweb.owlapi.model.OWLPropertyExpressionVisitor#visit(org.
  * semanticweb.owlapi.model.OWLObjectProperty)
  */
 @Override
 public void visit(OWLObjectProperty axiom) {
   sb.append(print(axiom.toString()));
 }