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

项目：HermiT-android 文件：OWLAxioms.java

public OWLAxioms() {
    m_classes=new HashSet<OWLClass>();
    m_objectProperties=new HashSet<OWLObjectProperty>();
    m_objectPropertiesOccurringInOWLAxioms=new HashSet<OWLObjectProperty>();
    m_complexObjectPropertyExpressions=new HashSet<OWLObjectPropertyExpression>();
    m_dataProperties=new HashSet<OWLDataProperty>();
    m_namedIndividuals=new HashSet<OWLNamedIndividual>();
    m_conceptInclusions=new ArrayList<OWLClassExpression[]>();
    m_dataRangeInclusions=new ArrayList<OWLDataRange[]>();
    m_simpleObjectPropertyInclusions=new ArrayList<OWLObjectPropertyExpression[]>();
    m_complexObjectPropertyInclusions=new ArrayList<ComplexObjectPropertyInclusion>();
    m_disjointObjectProperties=new ArrayList<OWLObjectPropertyExpression[]>();
    m_reflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_irreflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_asymmetricObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_disjointDataProperties=new ArrayList<OWLDataPropertyExpression[]>();
    m_dataPropertyInclusions=new ArrayList<OWLDataPropertyExpression[]>();
    m_facts=new HashSet<OWLIndividualAxiom>();
    m_hasKeys=new HashSet<OWLHasKeyAxiom>();
    m_definedDatatypesIRIs=new HashSet<String>();
    m_rules=new HashSet<DisjunctiveRule>();
}

项目：Hermit_1.3.8_android 文件：OWLAxioms.java

public OWLAxioms() {
    m_classes=new HashSet<OWLClass>();
    m_objectProperties=new HashSet<OWLObjectProperty>();
    m_objectPropertiesOccurringInOWLAxioms=new HashSet<OWLObjectProperty>();
    m_complexObjectPropertyExpressions=new HashSet<OWLObjectPropertyExpression>();
    m_dataProperties=new HashSet<OWLDataProperty>();
    m_namedIndividuals=new HashSet<OWLNamedIndividual>();
    m_conceptInclusions=new ArrayList<OWLClassExpression[]>();
    m_dataRangeInclusions=new ArrayList<OWLDataRange[]>();
    m_simpleObjectPropertyInclusions=new ArrayList<OWLObjectPropertyExpression[]>();
    m_complexObjectPropertyInclusions=new ArrayList<ComplexObjectPropertyInclusion>();
    m_disjointObjectProperties=new ArrayList<OWLObjectPropertyExpression[]>();
    m_reflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_irreflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_asymmetricObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_disjointDataProperties=new ArrayList<OWLDataPropertyExpression[]>();
    m_dataPropertyInclusions=new ArrayList<OWLDataPropertyExpression[]>();
    m_facts=new HashSet<OWLIndividualAxiom>();
    m_hasKeys=new HashSet<OWLHasKeyAxiom>();
    m_definedDatatypesIRIs=new HashSet<String>();
    m_rules=new HashSet<DisjunctiveRule>();
}

项目：Wolpertinger 文件：OWLAxioms.java

public OWLAxioms() {
    m_classes=new HashSet<OWLClass>();
    m_objectProperties=new HashSet<OWLObjectProperty>();
    m_objectPropertiesOccurringInOWLAxioms=new HashSet<OWLObjectProperty>();
    m_complexObjectPropertyExpressions=new HashSet<OWLObjectPropertyExpression>();
    m_dataProperties=new HashSet<OWLDataProperty>();
    m_namedIndividuals=new HashSet<OWLNamedIndividual>();

    m_aspConstraints=new HashSet<ASPConstraint>();
    m_aspRules=new HashSet<ASPRule>();

    m_conceptInclusions=new ArrayList<OWLClassExpression[]>();
    m_dataRangeInclusions=new ArrayList<OWLDataRange[]>();
    m_simpleObjectPropertyInclusions=new ArrayList<OWLObjectPropertyExpression[]>();
    m_complexObjectPropertyInclusions=new ArrayList<ComplexObjectPropertyInclusion>();
    m_disjointObjectProperties=new ArrayList<OWLObjectPropertyExpression[]>();
    m_reflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_irreflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_asymmetricObjectProperties=new HashSet<OWLObjectPropertyExpression>();
    m_disjointDataProperties=new ArrayList<OWLDataPropertyExpression[]>();
    m_dataPropertyInclusions=new ArrayList<OWLDataPropertyExpression[]>();
    m_facts=new HashSet<OWLIndividualAxiom>();
    m_hasKeys=new HashSet<OWLHasKeyAxiom>();
    m_definedDatatypesIRIs=new HashSet<String>();
    m_rules=new HashSet<DisjunctiveRule>();
}

项目：HermiT-android 文件：OWLNormalization.java

public void visit(OWLHasKeyAxiom axiom) {
    for (OWLDataPropertyExpression dataPropertyExpression : axiom.getDataPropertyExpressions())
        checkTopDataPropertyUse(dataPropertyExpression,axiom);
    OWLClassExpression description=positive(axiom.getClassExpression());
    if (!isSimple(description)) {
        OWLClassExpression definition=getDefinitionFor(description,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),description });
        description=definition;
    }
    m_axioms.m_hasKeys.add(m_factory.getOWLHasKeyAxiom(description,axiom.getPropertyExpressions()));
    for (OWLObjectPropertyExpression objectPropertyExpression : axiom.getObjectPropertyExpressions())
        m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpression.getNamedProperty());
}

项目：elk-reasoner 文件：AbstractElkObjectConverter.java

@Override
public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) {
    return owlFactory_.getOWLHasKeyAxiom(
            convert(axiom.getClassExpression()),
            toPropertyExpressionSet(axiom.getObjectPropertyExpressions(),
                    axiom.getDataPropertyExpressions()));
}

项目：Hermit_1.3.8_android 文件：OWLNormalization.java

public void visit(OWLHasKeyAxiom axiom) {
    for (OWLDataPropertyExpression dataPropertyExpression : axiom.getDataPropertyExpressions())
        checkTopDataPropertyUse(dataPropertyExpression,axiom);
    OWLClassExpression description=positive(axiom.getClassExpression());
    if (!isSimple(description)) {
        OWLClassExpression definition=getDefinitionFor(description,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),description });
        description=definition;
    }
    m_axioms.m_hasKeys.add(m_factory.getOWLHasKeyAxiom(description,axiom.getPropertyExpressions()));
    for (OWLObjectPropertyExpression objectPropertyExpression : axiom.getObjectPropertyExpressions())
        m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpression.getNamedProperty());
}

项目：Wolpertinger 文件：OWLNormalization.java

public void visit(OWLHasKeyAxiom axiom) {
    for (OWLDataPropertyExpression dataPropertyExpression : axiom.getDataPropertyExpressions())
        checkTopDataPropertyUse(dataPropertyExpression,axiom);
    OWLClassExpression description=positive(axiom.getClassExpression());
    if (!isSimple(description)) {
        OWLClassExpression definition=getDefinitionFor(description,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),description });
        description=definition;
    }
    m_axioms.m_hasKeys.add(m_factory.getOWLHasKeyAxiom(description,axiom.getPropertyExpressions()));
    for (OWLObjectPropertyExpression objectPropertyExpression : axiom.getObjectPropertyExpressions())
        m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpression.getNamedProperty());
}

项目：owlapi-gwt 文件：AbstractEntityRegistrationManager.java

@Override
public void visit(@Nonnull OWLHasKeyAxiom axiom) {
    axiom.getClassExpression().accept(this);
    for (OWLPropertyExpression prop : axiom.getPropertyExpressions()) {
        prop.accept(this);
    }
    processAxiomAnnotations(axiom);
}

项目：jopa 文件：IntegrityConstraintParser.java

public void visit(OWLHasKeyAxiom axiom) {
    notSupported(axiom);
}

项目：HermiT-android 文件：EntailmentChecker.java

public void visit(OWLHasKeyAxiom axiom) {
}

项目：elk-reasoner 文件：AbstractOwlAxiomConverterVisitor.java

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

项目：elk-reasoner 文件：OwlConverter.java

@SuppressWarnings("static-method")
public ElkHasKeyAxiom convert(OWLHasKeyAxiom owlHasKey) {
    return new ElkHasKeyAxiomWrap<OWLHasKeyAxiom>(owlHasKey);
}

项目：elk-reasoner 文件：OwlAxiomConverterVisitor.java

@Override
public ElkAxiom visit(OWLHasKeyAxiom axiom) {
    return CONVERTER.convert(axiom);
}

项目：elk-reasoner 文件：FailingOwlAxiomVisitor.java

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

项目：Hermit_1.3.8_android 文件：EntailmentChecker.java

public void visit(OWLHasKeyAxiom axiom) {
}

项目：owltools 文件：AxiomAnnotationTools.java

@Override
public OWLAxiom visit(OWLHasKeyAxiom axiom) {
    return factory.getOWLHasKeyAxiom(axiom.getClassExpression(), axiom.getDataPropertyExpressions(), annotations);
}

项目：owltools 文件：CardinalityContraintsTools.java

@Override
public void visit(OWLHasKeyAxiom axiom) {
}

项目：born 文件：CycleDetector.java

@Override
public Boolean visit(OWLHasKeyAxiom axiom) {
    return true;
}

项目：born 文件：ElAxiomFilter.java

@Override
public Boolean visit(OWLHasKeyAxiom axiom) {
    return false;
}

项目：born 文件：AnnotationProcessor.java

@Override
public Boolean visit(OWLHasKeyAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLHasKeyAxiom(axiom.getClassExpression(), axiom.getObjectPropertyExpressions(),
            reg(axiom.getAnnotations())));
}

项目：born 文件：AnnotationCreator.java

@Override
public Boolean visit(OWLHasKeyAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(
            this.df.getOWLHasKeyAxiom(axiom.getClassExpression(), axiom.getObjectPropertyExpressions(), empty()));
}

项目：jcel 文件：AxiomTranslator.java

@Override
public Set<ComplexIntegerAxiom> visit(OWLHasKeyAxiom axiom) {
    Objects.requireNonNull(axiom);
    throw TranslationException.newUnsupportedAxiomException(axiom);
}

项目：semantika 文件：TMappingProcessor.java

@Override
public void visit(OWLHasKeyAxiom axiom)
{
   ignoreOwlAxiom("HasKey", axiom);
}

项目：OWL2SPARQL 文件：OWLAxiomToSPARQLConverter.java

@Override
public void visit(OWLHasKeyAxiom axiom) {
    LOGGER.warn("Ignoring axiom {} . Reason: HasKey axiom not supported.", axiom);
}

项目：owlapi-gwt 文件：OWLObjectVisitorExAdapter.java

@Override
public O visit(OWLHasKeyAxiom axiom) {
    return doDefault(axiom);
}

项目：owlapi-gwt 文件：OWLObjectTypeIndexProvider.java

@Override
public void visit(OWLHasKeyAxiom axiom) {
    type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}

项目：owlapi-gwt 文件：NNF.java

@Override
public OWLAxiom visit(OWLHasKeyAxiom axiom) {
    return axiom;
}

项目：owlapi-gwt 文件：HashCode.java

@Override
public void visit(OWLHasKeyAxiom axiom) {
    hashCode = primes[72];
    hashCode = hashCode * MULT + axiom.getClassExpression().hashCode();
    hashCode = hashCode * MULT + axiom.getPropertyExpressions().hashCode();
}

项目：owlapi-gwt 文件：OWLClassExpressionCollector.java

@Override
public Set<OWLClassExpression> visit(OWLHasKeyAxiom axiom) {
    return axiom.getClassExpression().accept(this);
}

项目：owlapi-gwt 文件：OWLAxiomVisitorAdapter.java

@Override
public void visit(OWLHasKeyAxiom axiom) {
    handleDefault(axiom);
}

项目：SVoNt 文件：PelletOWL2ELProfile.java

public Object visit(OWLHasKeyAxiom axiom) {
  profileViolations.add(new UseOfIllegalAxiom(getCurrentOntology(), axiom));
  return null;
}

项目：SVoNt 文件：CEXOWL2ELProfile.java

public void visit(OWLHasKeyAxiom arg0) {
    unusedAxiom(arg0);
}

项目：logmap-matcher 文件：OWLMappingAxiomVisitor.java

public void visit(OWLHasKeyAxiom arg0) {

}

项目：logmap-matcher 文件：ELAxiomVisitor.java

public void visit(OWLHasKeyAxiom arg0) {

}

项目：Wolpertinger 文件：NiceAxiomPrinter.java

public void visit(OWLHasKeyAxiom arg0) {
    // TODO Auto-generated method stub

}

项目：Wolpertinger 文件：DebugTranslation.java

public void visit(OWLHasKeyAxiom arg0) {
    // TODO Auto-generated method stub

}

项目：Wolpertinger 文件：DirectTranslation.java

public void visit(OWLHasKeyAxiom arg0) {
    // TODO Auto-generated method stub

}

项目：Wolpertinger 文件：NaiveTranslation.java

public void visit(OWLHasKeyAxiom arg0) {

    }