Java 类org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom 实例源码

项目:jopa    文件:IntegrityConstraintParser.java   
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    // ic.addAll(processParticipationConstraint(f.getOWLThing(), f
    // .getOWLObjectMaxCardinality(1, axiom.getProperty())));

    // processParticipationConstraint(f.getOWLThing(), f
    // .getOWLObjectMaxCardinality(1, axiom.getProperty()));
    notSupported(axiom);
}
项目:HermiT-android    文件:Reasoner.java   
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;
}
项目:elk-reasoner    文件:AbstractOwlAxiomConverterVisitor.java   
@Override
public T visit(OWLFunctionalObjectPropertyAxiom axiom) {
    throw new IllegalArgumentException(
            OWLFunctionalObjectPropertyAxiom.class.getSimpleName()
                    + " cannot be converted to "
                    + getTargetClass().getSimpleName());
}
项目:Hermit_1.3.8_android    文件:Reasoner.java   
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;
}
项目:owltools    文件:OWLGraphWrapperExtended.java   
/**
 * true if c is functional in the graph
 * 
 * @param c
 * @return boolean
 */
public boolean getIsFunctional(OWLObjectProperty c) {
    for(OWLOntology ont : getAllOntologies()) {
        Set<OWLFunctionalObjectPropertyAxiom> ax = ont.getFunctionalObjectPropertyAxioms(c);
        if (ax.isEmpty() == false) {
            return true;
        }
    }
    return false;
}
项目:jcel    文件:AxiomTranslator.java   
@Override
public Set<ComplexIntegerAxiom> visit(OWLFunctionalObjectPropertyAxiom axiom) {
    Objects.requireNonNull(axiom);
    OWLObjectProperty property = asOWLObjectProperty(axiom.getProperty());
    IntegerObjectPropertyExpression propExpr = this.getDataTypeFactory()
            .createObjectProperty(translateObjectProperty(property));
    ComplexIntegerAxiom ret = getAxiomFactory().createFunctionalObjectPropertyAxiom(propExpr,
            translateAnnotations(axiom.getAnnotations()));
    return Collections.singleton(ret);
}
项目:owlapi-gwt    文件:OWLFunctionalObjectPropertyAxiomImpl.java   
@Nonnull
@Override
public OWLFunctionalObjectPropertyAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLFunctionalObjectPropertyAxiomImpl(getProperty(),
            NO_ANNOTATIONS);
}
项目:owlapi-gwt    文件:OWLFunctionalObjectPropertyAxiomImpl.java   
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLFunctionalObjectPropertyAxiom;
}
项目:HermiT-android    文件:OWLNormalization.java   
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLObjectMaxCardinality(1,axiom.getProperty().getSimplified()) });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
项目:HermiT-android    文件:EntailmentChecker.java   
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return reasoner.isFunctional(axiom.getProperty());
}
项目:HermiT-android    文件:EntailmentChecker.java   
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
}
项目:elk-reasoner    文件:AbstractElkObjectConverter.java   
@Override
public OWLFunctionalObjectPropertyAxiom visit(
        ElkFunctionalObjectPropertyAxiom axiom) {
    return owlFactory_.getOWLFunctionalObjectPropertyAxiom(
            convert(axiom.getProperty()));
}
项目:elk-reasoner    文件:OwlConverter.java   
@SuppressWarnings("static-method")
public ElkFunctionalObjectPropertyAxiom convert(
        OWLFunctionalObjectPropertyAxiom owlFunctionalObjectPropertyAxiom) {
    return new ElkFunctionalObjectPropertyAxiomWrap<OWLFunctionalObjectPropertyAxiom>(
            owlFunctionalObjectPropertyAxiom);
}
项目:elk-reasoner    文件:OwlAxiomConverterVisitor.java   
@Override
public ElkAxiom visit(
        OWLFunctionalObjectPropertyAxiom owlFunctionalObjectPropertyAxiom) {
    return CONVERTER.convert(owlFunctionalObjectPropertyAxiom);
}
项目:elk-reasoner    文件:OwlObjectPropertyAxiomConverterVisitor.java   
@Override
public ElkObjectPropertyAxiom visit(
        OWLFunctionalObjectPropertyAxiom owlFunctionalObjectPropertyAxiom) {
    return CONVERTER.convert(owlFunctionalObjectPropertyAxiom);
}
项目:elk-reasoner    文件:FailingOwlAxiomVisitor.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    defaultVisit(axiom);
}
项目:Hermit_1.3.8_android    文件:OWLNormalization.java   
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLObjectMaxCardinality(1,axiom.getProperty().getSimplified()) });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
项目:Hermit_1.3.8_android    文件:EntailmentChecker.java   
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return reasoner.isFunctional(axiom.getProperty());
}
项目:Hermit_1.3.8_android    文件:EntailmentChecker.java   
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
}
项目:owltools    文件:AxiomAnnotationTools.java   
@Override
public OWLAxiom visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return factory.getOWLFunctionalObjectPropertyAxiom(axiom.getProperty(), annotations);
}
项目:owltools    文件:CardinalityContraintsTools.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
}
项目:Wolpertinger    文件:OWLNormalization.java   
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLObjectMaxCardinality(1,axiom.getProperty().getSimplified()) });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
项目:Wolpertinger    文件:DebugTranslation.java   
public void visit(OWLFunctionalObjectPropertyAxiom arg0) {
    throw new IllegalStateException("OWLFunctionalObjectPropertyAxiom should have been normalized (rewritten) already.");
}
项目:Wolpertinger    文件:NaiveTranslation.java   
public void visit(OWLFunctionalObjectPropertyAxiom arg0) {
    throw new IllegalStateException("OWLFunctionalObjectPropertyAxiom should have been normalized (rewritten) already.");
}
项目:born    文件:CycleDetector.java   
@Override
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return true;
}
项目:born    文件:ElAxiomFilter.java   
@Override
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return false;
}
项目:born    文件:AnnotationProcessor.java   
@Override
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLFunctionalObjectPropertyAxiom(axiom.getProperty(), reg(axiom.getAnnotations())));
}
项目:born    文件:AnnotationCreator.java   
@Override
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLFunctionalObjectPropertyAxiom(axiom.getProperty(), empty()));
}
项目:semantika    文件:TMappingProcessor.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom)
{
   ignoreOwlAxiom("FunctionalObjectProperty", axiom);
}
项目:OWL2SPARQL    文件:OWLAxiomToSPARQLConverter.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    axiom.asOWLSubClassOfAxiom().accept(this);
}
项目:owlapi-gwt    文件:OWLObjectVisitorExAdapter.java   
@Override
public O visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return doDefault(axiom);
}
项目:owlapi-gwt    文件:OWLObjectTypeIndexProvider.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
项目:owlapi-gwt    文件:NNF.java   
@Override
public OWLAxiom visit(OWLFunctionalObjectPropertyAxiom axiom) {
    return axiom;
}
项目:owlapi-gwt    文件:HashCode.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    hashCode = primes[17];
    hashCode = hashCode * MULT + axiom.getProperty().hashCode();
    hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}
项目:owlapi-gwt    文件:OWLAxiomVisitorAdapter.java   
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
    handleDefault(axiom);
}
项目:owlapi-gwt    文件:AbstractEntityRegistrationManager.java   
@Override
public void visit(@Nonnull OWLFunctionalObjectPropertyAxiom axiom) {
    axiom.getProperty().accept(this);
    processAxiomAnnotations(axiom);
}
项目:owlapi-gwt    文件:OWLFunctionalObjectPropertyAxiomImpl.java   
@Override
public OWLFunctionalObjectPropertyAxiom getAnnotatedAxiom(
        Set<OWLAnnotation> annotations) {
    return new OWLFunctionalObjectPropertyAxiomImpl(getProperty(),
            mergeAnnos(annotations));
}
项目:SVoNt    文件:PelletOWL2ELProfile.java   
public Object visit(OWLFunctionalObjectPropertyAxiom axiom) {
  profileViolations.add(new UseOfIllegalAxiom(getCurrentOntology(), axiom));
  return null;
}
项目:SVoNt    文件:CEXOWL2ELProfile.java   
public void visit(OWLFunctionalObjectPropertyAxiom arg0) {
    unusedAxiom(arg0);
}
项目:binaryowl    文件:OWLFunctionalObjectPropertyAxiomSerializer.java   
@Override
protected OWLFunctionalObjectPropertyAxiom createAxiom(OWLObjectPropertyExpression propertyExpression, Set<OWLAnnotation> annotations, OWLDataFactory dataFactory) {
    return dataFactory.getOWLFunctionalObjectPropertyAxiom(propertyExpression, annotations);
}