org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom Java Examples

The following examples show how to use org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom. 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: AbstractOwlAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

5 votes

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

Example #2

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

5 votes

public Set<OWLObjectProperty> getIrreflexiveProperties() {
	if (irreflexiveProps == null) {
		irreflexiveProps = new HashSet<OWLObjectProperty>();
		for (OWLIrreflexiveObjectPropertyAxiom ax: normalizedOntology.getAxioms(AxiomType.IRREFLEXIVE_OBJECT_PROPERTY)) {
			irreflexiveProps.add(ax.getProperty().getNamedProperty());
		}
	}
	return irreflexiveProps;
}

Example #3

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

4 votes

@Override
public OWLIrreflexiveObjectPropertyAxiom visit(
		ElkIrreflexiveObjectPropertyAxiom axiom) {
	return owlFactory_.getOWLIrreflexiveObjectPropertyAxiom(
			convert(axiom.getProperty()));
}

Example #4

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

4 votes

@SuppressWarnings("static-method")
public ElkIrreflexiveObjectPropertyAxiom convert(
		OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom) {
	return new ElkIrreflexiveObjectPropertyAxiomWrap<OWLIrreflexiveObjectPropertyAxiom>(
			owlIrreflexiveObjectPropertyAxiom);
}

Example #5

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

4 votes

@Override
public ElkAxiom visit(
		OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom) {
	return CONVERTER.convert(owlIrreflexiveObjectPropertyAxiom);
}

Example #6

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

4 votes

@Override
public ElkObjectPropertyAxiom visit(
		OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom) {
	return CONVERTER.convert(owlIrreflexiveObjectPropertyAxiom);
}

Example #7

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

4 votes

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

Example #8

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

4 votes

@Override
public OWLAxiom visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	return factory.getOWLIrreflexiveObjectPropertyAxiom(axiom.getProperty(), annotations);
}

Example #9

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

4 votes

@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
}