import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
protected static boolean isUnsupportedExtensionAxiom(OWLAxiom axiom) {
	return axiom instanceof OWLSubObjectPropertyOfAxiom
			|| axiom instanceof OWLTransitiveObjectPropertyAxiom
			|| axiom instanceof OWLSubPropertyChainOfAxiom
			|| axiom instanceof OWLFunctionalObjectPropertyAxiom
			|| axiom instanceof OWLInverseFunctionalObjectPropertyAxiom
			|| axiom instanceof SWRLRule;
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public T visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	throw new IllegalArgumentException(
			OWLInverseFunctionalObjectPropertyAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
/**
 * true if c is inverse functional in the graph
 * 
 * @param c
 * @return boolean
 */
public boolean getIsInverseFunctional(OWLObjectProperty c) {
	for(OWLOntology ont : getAllOntologies()) {
		Set<OWLInverseFunctionalObjectPropertyAxiom> ax = ont.getInverseFunctionalObjectPropertyAxioms(c);
		if (ax.isEmpty() == false) {
			return true;
		}
	}
	return false;
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	OWLObjectProperty property = asOWLObjectProperty(axiom.getProperty());
	IntegerObjectProperty propExpr = getDataTypeFactory().createObjectProperty(translateObjectProperty(property));
	ComplexIntegerAxiom ret = getAxiomFactory().createInverseFunctionalObjectPropertyAxiom(propExpr,
			translateAnnotations(axiom.getAnnotations()));
	return Collections.singleton(ret);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLInverseFunctionalObjectPropertyAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLInverseFunctionalObjectPropertyAxiomImpl(getProperty(),
            NO_ANNOTATIONS);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLInverseFunctionalObjectPropertyAxiom;
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
    notSupported(axiom);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLObjectMaxCardinality(1,axiom.getProperty().getSimplified().getInverseProperty()) });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
public Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
    return reasoner.isInverseFunctional(axiom.getProperty());
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLInverseFunctionalObjectPropertyAxiom visit(
		ElkInverseFunctionalObjectPropertyAxiom axiom) {
	return owlFactory_.getOWLInverseFunctionalObjectPropertyAxiom(
			convert(axiom.getProperty()));
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkInverseFunctionalObjectPropertyAxiom convert(
		OWLInverseFunctionalObjectPropertyAxiom owlInverseFunctionalObjectPropertyAxiom) {
	return new ElkInverseFunctionalObjectPropertyAxiomWrap<OWLInverseFunctionalObjectPropertyAxiom>(
			owlInverseFunctionalObjectPropertyAxiom);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(
		OWLInverseFunctionalObjectPropertyAxiom owlInverseFunctionalObjectPropertyAxiom) {
	return CONVERTER.convert(owlInverseFunctionalObjectPropertyAxiom);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkObjectPropertyAxiom visit(
		OWLInverseFunctionalObjectPropertyAxiom owlInverseFunctionalObjectPropertyAxiom) {
	return CONVERTER.convert(owlInverseFunctionalObjectPropertyAxiom);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	defaultVisit(axiom);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	return factory.getOWLInverseFunctionalObjectPropertyAxiom(axiom.getProperty(), annotations);
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	return true;
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	return false;
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	return add(
			this.df.getOWLInverseFunctionalObjectPropertyAxiom(axiom.getProperty(), reg(axiom.getAnnotations())));
}
 

import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	return add(this.df.getOWLInverseFunctionalObjectPropertyAxiom(axiom.getProperty(), empty()));
}