org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom Java Examples

The following examples show how to use org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom. 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(OWLObjectPropertyRangeAxiom axiom) {
	throw new IllegalArgumentException(
			OWLObjectPropertyRangeAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}
Example #2
Source File: OWLGraphWrapperExtended.java    From owltools with BSD 3-Clause "New" or "Revised" License 5 votes vote down vote up 
/**
 * It returns the (first) value of the range tag
 * 
 * @param prop
 * @return range or null
 */
public String getRange(OWLObjectProperty prop){
	for(OWLObjectPropertyRangeAxiom axiom : sourceOntology.getObjectPropertyRangeAxioms(prop)) {
		OWLClassExpression ce = axiom.getRange();
		return getIdentifier(ce);
	}
	return null;
}
Example #3
Source File: AbstractElkObjectConverter.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public OWLObjectPropertyRangeAxiom visit(
		ElkObjectPropertyRangeAxiom axiom) {
	return owlFactory_.getOWLObjectPropertyRangeAxiom(
			convert(axiom.getProperty()), convert(axiom.getRange()));
}
Example #4
Source File: OwlConverter.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@SuppressWarnings("static-method")
public ElkObjectPropertyRangeAxiom convert(
		OWLObjectPropertyRangeAxiom owlObjectPropertyRangeAxiom) {
	return new ElkObjectPropertyRangeAxiomWrap<OWLObjectPropertyRangeAxiom>(
			owlObjectPropertyRangeAxiom);
}
Example #5
Source File: OwlAxiomConverterVisitor.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public ElkAxiom visit(
		OWLObjectPropertyRangeAxiom owlObjectPropertyRangeAxiom) {
	return CONVERTER.convert(owlObjectPropertyRangeAxiom);
}
Example #6
Source File: OwlObjectPropertyAxiomConverterVisitor.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public ElkObjectPropertyAxiom visit(
		OWLObjectPropertyRangeAxiom owlObjectPropertyRangeAxiom) {
	return CONVERTER.convert(owlObjectPropertyRangeAxiom);
}
Example #7
Source File: FailingOwlAxiomVisitor.java    From elk-reasoner with Apache License 2.0 4 votes vote down vote up 
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
	defaultVisit(axiom);
}
Example #8
Source File: AxiomAnnotationTools.java    From owltools with BSD 3-Clause "New" or "Revised" License 4 votes vote down vote up 
@Override
public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom) {
	return factory.getOWLObjectPropertyRangeAxiom(axiom.getProperty(), axiom.getRange(), annotations);
}
Example #9
Source File: CardinalityContraintsTools.java    From owltools with BSD 3-Clause "New" or "Revised" License 4 votes vote down vote up 
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
}