org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom Java Examples

@Override
public T visit(OWLSubObjectPropertyOfAxiom axiom) {
	throw new IllegalArgumentException(
			OWLSubObjectPropertyOfAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}
 

@Override
protected void addAxioms(
    @Nonnull OWLObjectProperty entity,
    @Nonnull OWLReasoner reasoner,
    @Nonnull OWLDataFactory dataFactory,
    @Nonnull Set<OWLSubObjectPropertyOfAxiom> result,
    @Nonnull Set<OWLObjectPropertyExpression> nonSimpleProperties) {
  for (OWLObjectPropertyExpression prop :
      reasoner.getSuperObjectProperties(entity, false).getFlattened()) {
    result.add(dataFactory.getOWLSubObjectPropertyOfAxiom(entity, prop));
  }
}
 

public static Set<OWLObjectPropertyExpression> getSuperProperties(OWLObjectPropertyExpression prop, OWLOntology ont) {
	Set<OWLObjectPropertyExpression> result = new HashSet<>();
	Set<OWLSubObjectPropertyOfAxiom> axioms = ont.getObjectSubPropertyAxiomsForSubProperty(prop);
	for (OWLSubPropertyAxiom<OWLObjectPropertyExpression> axiom : axioms) {
		result.add(axiom.getSuperProperty());
	}
	return result;
}
 

public static Set<OWLObjectPropertyExpression> getSubProperties(OWLObjectPropertyExpression prop, OWLOntology ont) {
	Set<OWLObjectPropertyExpression> results = new HashSet<>();
	Set<OWLSubObjectPropertyOfAxiom> axioms = ont.getObjectSubPropertyAxiomsForSuperProperty(prop);
	for (OWLSubObjectPropertyOfAxiom axiom : axioms) {
		results.add(axiom.getSubProperty());
	}
	return results;
}
 

/**
 * returns parent properties of p in all ontologies
 * @param p
 * @return set of properties
 */
public Set<OWLObjectPropertyExpression> getSuperPropertiesOf(OWLObjectPropertyExpression p) {
	Set<OWLObjectPropertyExpression> ps = new HashSet<OWLObjectPropertyExpression>();
	for (OWLOntology ont : getAllOntologies()) {
		for (OWLSubObjectPropertyOfAxiom a : ont.getObjectSubPropertyAxiomsForSubProperty(p)) {
			ps.add(a.getSuperProperty());
		}
	}
	return ps;
}
 

/**
 * Returns the direct child properties of <code>prop</code> in all ontologies.
 * @param prop 		The <code>OWLObjectPropertyExpression</code> for which 
 * 					we want the direct sub-properties.
 * @return 			A <code>Set</code> of <code>OWLObjectPropertyExpression</code>s 
 * 					that are the direct sub-properties of <code>prop</code>.
    * 
    * @see #getSubPropertyClosureOf(OWLObjectPropertyExpression)
    * @see #getSubPropertyReflexiveClosureOf(OWLObjectPropertyExpression)
 */
public Set<OWLObjectPropertyExpression> getSubPropertiesOf(
		OWLObjectPropertyExpression prop) {
	Set<OWLObjectPropertyExpression> subProps = new HashSet<OWLObjectPropertyExpression>();
	for (OWLOntology ont : this.getAllOntologies()) {
		for (OWLSubObjectPropertyOfAxiom axiom : 
			    ont.getObjectSubPropertyAxiomsForSuperProperty(prop)) {
			subProps.add(axiom.getSubProperty());
		}
	}
	return subProps;
}
 

private void addAxiom(List<Rule> list, OWLSubObjectPropertyOfAxiom a) {
	if (!(a.getSubProperty().isAnonymous() ||
	      a.getSuperProperty().isAnonymous())) {
		String op1 = getString(a.getSubProperty());
		String op2 = getString(a.getSuperProperty());
		list.add(new SubPropertyOf(op1, op2));
	}
}
 

@Override
public Void visit(OWLSubObjectPropertyOfAxiom axiom) {
  long subProperty = getOrCreateNode(getIri(axiom.getSubProperty()));
  long superProperty = getOrCreateNode(getIri(axiom.getSuperProperty()));
  getOrCreateRelationship(subProperty, superProperty, OwlRelationships.RDFS_SUB_PROPERTY_OF);
  return null;
}
 

public Set<OWLSubObjectPropertyOfAxiom> asSubObjectPropertyOfAxioms(OWLEquivalentObjectPropertiesAxiom eop ) {
	List<OWLObjectPropertyExpression> props = new ArrayList<OWLObjectPropertyExpression>(eop.getProperties());
    Set<OWLSubObjectPropertyOfAxiom> axs = new HashSet<OWLSubObjectPropertyOfAxiom>();
    for(int i = 0; i < props.size() - 1; i++) {
    	for(int j = i + 1; j < props.size(); j++) {
    		axs.add(fac.getOWLSubObjectPropertyOfAxiom(props.get(i), props.get(j)));
    		axs.add(fac.getOWLSubObjectPropertyOfAxiom(props.get(j), props.get(i)));
    	}
    }
    return axs;
}
 

@SuppressWarnings("static-method")
public ElkSubObjectPropertyOfAxiom convert(
		OWLSubObjectPropertyOfAxiom owlSubObjectPropertyOfAxiom) {
	return new ElkSubObjectPropertyOfAxiomWrap<OWLSubObjectPropertyOfAxiom>(
			owlSubObjectPropertyOfAxiom);
}
 

@Override
public ElkAxiom visit(
		OWLSubObjectPropertyOfAxiom owlSubObjectPropertyOfAxiom) {
	return CONVERTER.convert(owlSubObjectPropertyOfAxiom);
}
 

@Override
public ElkObjectPropertyAxiom visit(
		OWLSubObjectPropertyOfAxiom owlSubObjectPropertyOfAxiom) {
	return CONVERTER.convert(owlSubObjectPropertyOfAxiom);
}
 

@Override
public void visit(OWLSubObjectPropertyOfAxiom axiom) {
	defaultVisit(axiom);
}
 

@Override
public OWLAxiom visit(OWLSubObjectPropertyOfAxiom axiom) {
	return factory.getOWLSubObjectPropertyOfAxiom(axiom.getSubProperty(), axiom.getSuperProperty(), annotations);
}
 

@Override
public void visit(OWLSubObjectPropertyOfAxiom axiom) {
}
 

private void addObjectAxioms(List<Rule> list,
		Set<OWLSubObjectPropertyOfAxiom> axs) {
	for (OWLSubObjectPropertyOfAxiom a : axs) {
		addAxiom(list, a);
	}
}