org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom Java Examples

The following examples show how to use org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom. 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 vote down vote up 
@Override
public T visit(OWLTransitiveObjectPropertyAxiom axiom) {
	throw new IllegalArgumentException(
			OWLTransitiveObjectPropertyAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}
Example #2
Source File: OWLInAboxTranslator.java    From owltools with BSD 3-Clause "New" or "Revised" License 5 votes vote down vote up 
/**
 * Transitive(R) ==> Transitive(R')
 * 
 * @param ax
 */
private void tr(OWLObjectPropertyCharacteristicAxiom ax) {
	if (ax instanceof OWLTransitiveObjectPropertyAxiom) {
		OWLObjectPropertyExpression pt = trTypeLevel(ax.getProperty());
		if (pt instanceof OWLObjectProperty) {
			add(getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(pt));
		}
	}
	add(ax); // pass-through
}
Example #3
Source File: OWLGraphWrapperExtended.java    From owltools with BSD 3-Clause "New" or "Revised" License 5 votes vote down vote up 
/**
 * true if c is transitive in the graph
 * 
 * @param c
 * @return boolean
 */
public boolean getIsTransitive(OWLObjectProperty c) {
	for(OWLOntology ont : getAllOntologies()) {
		Set<OWLTransitiveObjectPropertyAxiom> ax = ont.getTransitiveObjectPropertyAxioms(c);
		if (ax.isEmpty() == false) {
			return true;
		}
	}
	return false;
}
Example #4
Source File: AbstractElkObjectConverter.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public OWLTransitiveObjectPropertyAxiom visit(
		ElkTransitiveObjectPropertyAxiom axiom) {
	return owlFactory_.getOWLTransitiveObjectPropertyAxiom(
			convert(axiom.getProperty()));
}
Example #5
Source File: OwlConverter.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@SuppressWarnings("static-method")
public ElkTransitiveObjectPropertyAxiom convert(
		OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom) {
	return new ElkTransitiveObjectPropertyAxiomWrap<OWLTransitiveObjectPropertyAxiom>(
			owlTransitiveObjectPropertyAxiom);
}
Example #6
Source File: OwlAxiomConverterVisitor.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public ElkAxiom visit(
		OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom) {
	return CONVERTER.convert(owlTransitiveObjectPropertyAxiom);
}
Example #7
Source File: OwlObjectPropertyAxiomConverterVisitor.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public ElkObjectPropertyAxiom visit(
		OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom) {
	return CONVERTER.convert(owlTransitiveObjectPropertyAxiom);
}
Example #8
Source File: FailingOwlAxiomVisitor.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
	defaultVisit(axiom);
}
Example #9
Source File: AxiomAnnotationTools.java    From owltools with BSD 3-Clause "New" or "Revised" License 4 votes vote down vote up 
@Override
public OWLAxiom visit(OWLTransitiveObjectPropertyAxiom axiom) {
	return factory.getOWLTransitiveObjectPropertyAxiom(axiom.getProperty(), annotations);
}
Example #10
Source File: CardinalityContraintsTools.java    From owltools with BSD 3-Clause "New" or "Revised" License 4 votes vote down vote up 
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
}