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

项目：jopa 文件：IntegrityConstraintParser.java

public void visit(OWLObjectPropertyDomainAxiom axiom) {
    // OWLObjectProperty op = ensureObjectProperty(axiom.getProperty());
    // OWLClass clz = ensureClass(axiom.getDomain());
    // Set<ObjectDomainConstraint> c = odConstraints.get(op);
    // if (c == null) {
    // c = new HashSet<ObjectDomainConstraint>();
    // odConstraints.put(op, c);
    // }
    //
    // c.add(IntegrityConstraintFactoryImpl
    // .ObjectPropertyDomainConstraint(op, clz));
    notSupported(axiom);
}

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

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

项目：jcel 文件：AxiomTranslator.java

@Override
public Set<ComplexIntegerAxiom> visit(OWLObjectPropertyDomainAxiom axiom) throws TranslationException {
    Objects.requireNonNull(axiom);
    IntegerObjectPropertyExpression propertyExpr = translateObjectPropertyExpression(axiom.getProperty());
    OWLClassExpression classExpression = axiom.getDomain();
    IntegerClassExpression superClassExpression = translateClassExpression(classExpression);
    IntegerClassExpression subClassExpression = getDataTypeFactory().createObjectSomeValuesFrom(propertyExpr,
            getDataTypeFactory().createClass(IntegerEntityManager.topClassId));
    ComplexIntegerAxiom ret = getAxiomFactory().createSubClassOfAxiom(subClassExpression, superClassExpression,
            translateAnnotations(axiom.getAnnotations()));
    return Collections.singleton(ret);
}

项目：semantika 文件：OwlClassStructureHandler.java

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom)
{
   addSubClassAxiom(axiom.asOWLSubClassOfAxiom());

   OWLObjectPropertyExpression op = axiom.getProperty();
   OwlNodeSet<OWLPropertyExpression<?,?>> descendants = mPropertyStructureHandler.getDescendants(op, false);
   for (OwlNode<OWLPropertyExpression<?,?>> node : descendants.getNodes()) {
      op = (OWLObjectPropertyExpression) node.getEntity();
      axiom = mOwlDataFactory.getOWLObjectPropertyDomainAxiom(op, axiom.getDomain());
      addSubClassAxiom(axiom.asOWLSubClassOfAxiom());
   }
}

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

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
    hashCode = primes[25];
    hashCode = hashCode * MULT + axiom.getProperty().hashCode();
    hashCode = hashCode * MULT + axiom.getDomain().hashCode();
    hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}

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

@Override
public OWLObjectPropertyDomainAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLObjectPropertyDomainAxiomImpl(getProperty(), getDomain(),
            NO_ANNOTATIONS);
}

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

@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLObjectPropertyDomainAxiom;
}

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

public void visit(OWLObjectPropertyDomainAxiom axiom) {
    OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing());
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}

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

public Boolean visit(OWLObjectPropertyDomainAxiom axiom) {
    return reasoner.isSubClassOf(factory.getOWLObjectSomeValuesFrom(axiom.getProperty(),factory.getOWLThing()),axiom.getDomain());
}

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

public void visit(OWLObjectPropertyDomainAxiom axiom) {
}

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

@Override
public OWLObjectPropertyDomainAxiom visit(
        ElkObjectPropertyDomainAxiom axiom) {
    return owlFactory_.getOWLObjectPropertyDomainAxiom(
            convert(axiom.getProperty()), convert(axiom.getDomain()));
}

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

@SuppressWarnings("static-method")
public ElkObjectPropertyDomainAxiom convert(
        OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom) {
    return new ElkObjectPropertyDomainAxiomWrap<OWLObjectPropertyDomainAxiom>(
            owlObjectPropertyDomainAxiom);
}

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

@Override
public ElkAxiom visit(
        OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom) {
    return CONVERTER.convert(owlObjectPropertyDomainAxiom);
}

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

@Override
public ElkObjectPropertyAxiom visit(
        OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom) {
    return CONVERTER.convert(owlObjectPropertyDomainAxiom);
}

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

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

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

public void visit(OWLObjectPropertyDomainAxiom axiom) {
    OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing());
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}

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

public Boolean visit(OWLObjectPropertyDomainAxiom axiom) {
    return reasoner.isSubClassOf(factory.getOWLObjectSomeValuesFrom(axiom.getProperty(),factory.getOWLThing()),axiom.getDomain());
}

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

public void visit(OWLObjectPropertyDomainAxiom axiom) {
}

项目：owltools 文件：AxiomAnnotationTools.java

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
    return factory.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain(), annotations);
}

项目：owltools 文件：CardinalityContraintsTools.java

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
}

项目：Wolpertinger 文件：OWLNormalization.java

public void visit(OWLObjectPropertyDomainAxiom axiom) {
    OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing());
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting });
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}

项目：born 文件：CycleDetector.java

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

项目：born 文件：ElAxiomFilter.java

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

项目：born 文件：AnnotationProcessor.java

@Override
public Boolean visit(OWLObjectPropertyDomainAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain(),
            reg(axiom.getAnnotations())));
}

项目：born 文件：AnnotationCreator.java

@Override
public Boolean visit(OWLObjectPropertyDomainAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain(), empty()));
}

项目：semantika 文件：TMappingProcessor.java

/**
 * A utility method to process OWL <code>ObjectPropertyDomain(OPE CE)</code> axiom and produce
 * inferred mapping assertions. This axiom is equivalent to
 * <code>SubClassOf(ObjectSomeValuesFrom(OPE owl:Thing) CE)</code>.
 */
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom)
{
   axiom.asOWLSubClassOfAxiom().accept(this);
}

项目：OWL2SPARQL 文件：OWLAxiomToSPARQLConverter.java

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
    axiom.asOWLSubClassOfAxiom().accept(this);
}

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

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

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

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

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

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
    return dataFactory.getOWLObjectPropertyDomainAxiom(axiom.getProperty(),
            axiom.getDomain().accept(this));
}

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

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

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

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

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

@Override
public OWLObjectPropertyDomainAxiom getAnnotatedAxiom(
        Set<OWLAnnotation> annotations) {
    return new OWLObjectPropertyDomainAxiomImpl(getProperty(), getDomain(),
            mergeAnnos(annotations));
}

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

@Override
public void visit(@Nonnull OWLObjectPropertyDomainAxiom axiom) {
    axiom.getDomain().accept(this);
    axiom.getProperty().accept(this);
    processAxiomAnnotations(axiom);
}

项目：SVoNt 文件：CEXOWL2ELProfile.java

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

项目：binaryowl 文件：OWLObjectPropertyDomainSerializer.java

@Override
protected void writeAxiom(OWLObjectPropertyDomainAxiom axiom, BinaryOWLOutputStream outputStream) throws IOException {
    outputStream.writeOWLObject(axiom.getProperty());
    outputStream.writeOWLObject(axiom.getDomain());
}

项目：binaryowl 文件：OWLObjectPropertyDomainSerializer.java

@Override
protected OWLObjectPropertyDomainAxiom readAxiom(BinaryOWLInputStream inputStream, Set<OWLAnnotation> annotations) throws IOException, BinaryOWLParseException {
    OWLObjectPropertyExpression propertyExpression = inputStream.readOWLObject();
    OWLClassExpression classExpression = inputStream.readOWLObject();
    return inputStream.getDataFactory().getOWLObjectPropertyDomainAxiom(propertyExpression, classExpression, annotations);
}

项目：Widoco 文件：OntologyDifferencesRenderer.java

private static String axiomSetToHTML(Set<Object> set, boolean isAddition, Properties lang){
    String v = "";
    String message;
    if(isAddition){
        message=lang.getProperty(Constants.LANG_ADDED)+": ";
    }else{
        message=lang.getProperty(Constants.LANG_DELETED)+": ";
    }
    for(Object f:set){
        try{
            v+="<li>";
            if(f instanceof OWLSubClassOfAxiom){
                v+=message+lang.getProperty(Constants.LANG_SUBCLASS_OF) +" "+ ((OWLSubClassOfAxiom)f).getSuperClass().asOWLClass().getIRI();
            }else if(f instanceof OWLSubPropertyAxiom){
                OWLPropertyExpression prop = ((OWLSubPropertyAxiom)f).getSuperProperty();
                if(prop instanceof OWLObjectPropertyImpl){
                    v+=message+lang.getProperty(Constants.LANG_SUBPROP_OF) +" "+ ((OWLObjectPropertyImpl)prop).getIRI();
                }else if(prop instanceof OWLDataPropertyImpl){
                    v+=message+lang.getProperty(Constants.LANG_SUBPROP_OF) +" "+ ((OWLDataPropertyImpl)prop).getIRI();
                }
            }else if(f instanceof OWLObjectPropertyDomainAxiom){
                v+=message+Constants.LANG_DOMAIN+" "+expressionToHTML(((OWLObjectPropertyDomainAxiom)f).getDomain(), lang);
            }else if(f instanceof OWLDataPropertyDomainAxiom){
                v+=message+lang.getProperty(Constants.LANG_DOMAIN)+" "+expressionToHTML(((OWLDataPropertyDomainAxiom)f).getDomain(), lang);
            }else if(f instanceof OWLObjectPropertyRangeAxiom){
                v+=message+lang.getProperty(Constants.LANG_RANGE)+" "+expressionToHTML(((OWLObjectPropertyRangeAxiom)f).getRange(), lang);
            }else if(f instanceof OWLDataPropertyRangeAxiom){
                v+=message+lang.getProperty(Constants.LANG_RANGE)+" "+((OWLDataPropertyRangeAxiom)f).getRange().asOWLDatatype().getIRI();
            }else if(f instanceof OWLAnnotationAssertionAxiom){
                v+= message+((OWLAnnotationAssertionAxiom)f).getProperty().toString() +" "+ ((OWLAnnotationAssertionAxiom)f).getValue().toString();
            }else{
                //other less typical axioms
                v+=message+((OWLAxiom)f).getAxiomType().getName()+" "+f.toString().replace("<", "&lt;").replace(">", "&gt;");
            }
            /**
             * To add if we want to refine
             * OWLDisjointClassesAxiom, OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom,
             * OWLEquivalentClassesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, 
             * OWLFunctionalDataPropertyAxiom, OWLFunctionalObjectPropertyAxiom,
             */
            v+="</li>\n";
        }catch (Exception e){
            System.out.println("Error while transforming "+f.toString() +" "+e.getMessage());
        }

    }

    return v;
}

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

public void visit(OWLObjectPropertyDomainAxiom arg0) {

}

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

public void visit(OWLObjectPropertyDomainAxiom arg0) {

}