org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom Java Examples

The following examples show how to use org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example #1

Source File: GraphOwlVisitor.java From SciGraph with Apache License 2.0

6 votes

@Override
public Void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
  Set<OWLObjectPropertyExpression> properties = axiom.getProperties();
  boolean anonymousPropertyExists = false;
  for (OWLObjectPropertyExpression property : properties) {
    anonymousPropertyExists = anonymousPropertyExists || property.isAnonymous();
  }

  // #217 - in case of EquivalentObjectProperties(:p ObjectInverseOf(:q))
  if (!anonymousPropertyExists) {
    Collection<Long> nodes = Collections2.transform(axiom.getObjectPropertiesInSignature(),
        new Function<OWLObjectProperty, Long>() {

          @Override
          public Long apply(OWLObjectProperty objectProperty) {
            return getOrCreateNode(getIri(objectProperty));
          }
        });

    getOrCreateRelationshipPairwise(nodes, OwlRelationships.OWL_EQUIVALENT_OBJECT_PROPERTY);
  }
  return null;
}

Example #2

Source File: AbstractElkObjectConverter.java From elk-reasoner with Apache License 2.0

5 votes

@Override
public OWLEquivalentObjectPropertiesAxiom visit(
		ElkEquivalentObjectPropertiesAxiom axiom) {
	return owlFactory_.getOWLEquivalentObjectPropertiesAxiom(
			toObjectPropertyExpressionSet(
					axiom.getObjectPropertyExpressions()));
}

Example #3

Source File: AbstractOwlAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

5 votes

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

Example #4

Source File: OWLQLNormalizer.java From quetzal with Eclipse Public License 2.0

5 votes

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;
}

Example #5

Source File: OwlConverter.java From elk-reasoner with Apache License 2.0

4 votes

@SuppressWarnings("static-method")
public ElkEquivalentObjectPropertiesAxiom convert(
		OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectPropertiesAxiom) {
	return new ElkEquivalentObjectPropertiesAxiomWrap<OWLEquivalentObjectPropertiesAxiom>(
			owlEquivalentObjectPropertiesAxiom);
}

Example #6

Source File: OwlAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

4 votes

@Override
public ElkAxiom visit(
		OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectProperties) {
	return CONVERTER.convert(owlEquivalentObjectProperties);
}

Example #7

Source File: OwlObjectPropertyAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

4 votes

@Override
public ElkObjectPropertyAxiom visit(
		OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectProperties) {
	return CONVERTER.convert(owlEquivalentObjectProperties);
}

Example #8

Source File: FailingOwlAxiomVisitor.java From elk-reasoner with Apache License 2.0

4 votes

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

Example #9

Source File: AxiomAnnotationTools.java From owltools with BSD 3-Clause "New" or "Revised" License

4 votes

@Override
public OWLAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom) {
	return factory.getOWLEquivalentObjectPropertiesAxiom(axiom.getProperties(), annotations);
}

Example #10

Source File: CardinalityContraintsTools.java From owltools with BSD 3-Clause "New" or "Revised" License

4 votes

@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
}