1. 包列表
  2. 类列表
  3. org.semanticweb.owlapi.model.OWLDataSomeValuesFrom

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

项目：HermiT-android    文件：OWLNormalization.java    
public void visit(SWRLDataRangeAtom atom) {
    if (atom.getArgument() instanceof SWRLVariable)
        throwVarError(atom);
    // dr(literal) :-
    // convert to: ClassAssertion(DataSomeValuesFrom(freshDP DataOneOf(literal)) freshIndividual)
    // and top -> \forall freshDP.dr
    OWLLiteral lit=((SWRLLiteralArgument)atom.getArgument()).getLiteral();
    OWLDataRange dr=atom.getPredicate();
    OWLNamedIndividual freshIndividual=getFreshIndividual();
    OWLDataProperty freshDP=getFreshDataProperty();
    OWLDataSomeValuesFrom some=m_factory.getOWLDataSomeValuesFrom(freshDP,m_factory.getOWLDataOneOf(lit));
    OWLClassExpression definition=getDefinitionFor(some,m_alreadyExists);
    if (!m_alreadyExists[0])
        m_newInclusions.add(new OWLClassExpression[] { negative(definition),some });
    addFact(m_factory.getOWLClassAssertionAxiom(definition,freshIndividual));
    m_newInclusions.add(new OWLClassExpression[] { m_factory.getOWLDataAllValuesFrom(freshDP,dr) });
}
项目：Hermit_1.3.8_android    文件：OWLNormalization.java    
public void visit(SWRLDataRangeAtom atom) {
    if (atom.getArgument() instanceof SWRLVariable)
        throwVarError(atom);
    // dr(literal) :-
    // convert to: ClassAssertion(DataSomeValuesFrom(freshDP DataOneOf(literal)) freshIndividual)
    // and top -> \forall freshDP.dr
    OWLLiteral lit=((SWRLLiteralArgument)atom.getArgument()).getLiteral();
    OWLDataRange dr=atom.getPredicate();
    OWLNamedIndividual freshIndividual=getFreshIndividual();
    OWLDataProperty freshDP=getFreshDataProperty();
    OWLDataSomeValuesFrom some=m_factory.getOWLDataSomeValuesFrom(freshDP,m_factory.getOWLDataOneOf(lit));
    OWLClassExpression definition=getDefinitionFor(some,m_alreadyExists);
    if (!m_alreadyExists[0])
        m_newInclusions.add(new OWLClassExpression[] { negative(definition),some });
    addFact(m_factory.getOWLClassAssertionAxiom(definition,freshIndividual));
    m_newInclusions.add(new OWLClassExpression[] { m_factory.getOWLDataAllValuesFrom(freshDP,dr) });
}
项目：Wolpertinger    文件：OWLNormalization.java    
public void visit(SWRLDataRangeAtom atom) {
    if (atom.getArgument() instanceof SWRLVariable)
        throwVarError(atom);
    // dr(literal) :-
    // convert to: ClassAssertion(DataSomeValuesFrom(freshDP DataOneOf(literal)) freshIndividual)
    // and top -> \forall freshDP.dr
    OWLLiteral lit=((SWRLLiteralArgument)atom.getArgument()).getLiteral();
    OWLDataRange dr=atom.getPredicate();
    OWLNamedIndividual freshIndividual=getFreshIndividual();
    OWLDataProperty freshDP=getFreshDataProperty();
    OWLDataSomeValuesFrom some=m_factory.getOWLDataSomeValuesFrom(freshDP,m_factory.getOWLDataOneOf(lit));
    OWLClassExpression definition=getDefinitionFor(some,m_alreadyExists);
    if (!m_alreadyExists[0])
        m_newInclusions.add(new OWLClassExpression[] { negative(definition),some });
    addFact(m_factory.getOWLClassAssertionAxiom(definition,freshIndividual));
    m_newInclusions.add(new OWLClassExpression[] { m_factory.getOWLDataAllValuesFrom(freshDP,dr) });
}
项目：OntoBench    文件：OwlDataSomeValuesFromOwl2RlFeature.java    
@Override
public void addToOntology() {
  OWLDataProperty property = factory.getOWLDataProperty(":dataSomeValuesFromProperty_RL", pm);
  OWLDatatype datatype = OWL2Datatype.XSD_DATE_TIME.getDatatype(factory);

  OWLClass range = featurePool.getExclusiveClass(":DataSomeValuesFrom_RL");
  OWLDataSomeValuesFrom restriction = factory.getOWLDataSomeValuesFrom(property, datatype);
  addAxiomToOntology(factory.getOWLSubClassOfAxiom(restriction, range));
}
项目：OntoBench    文件：OwlDataSomeValuesFromFeature.java    
@Override
public void addToOntology() {
  OWLDataProperty property = factory.getOWLDataProperty(":dataSomeValuesFromProperty", pm);
  OWLDatatype datatype = OWL2Datatype.XSD_DATE_TIME.getDatatype(factory);

  OWLClass someValuesFrom = featurePool.getExclusiveClass(":DataSomeValuesFrom");
  OWLDataSomeValuesFrom restriction = factory.getOWLDataSomeValuesFrom(property, datatype);
  addAxiomToOntology(factory.getOWLSubClassOfAxiom(someValuesFrom, restriction));
}
项目：OWLAx    文件：IntegrateOntologyWithProtege.java    
/**
 * create axioms for class--dataproperty----literal relation.
 * 
 * @param src
 * @param dataprop
 * @param dest
 * @return
 */
private void getClass2DataProperty2LiteralAxioms(OWLClass src, OWLDataProperty dataprop, OWLLiteral dest) {
    // Set<OWLAxiom> tmpaxioms = new HashSet<OWLAxiom>();
    OWLAxiom axiom;
    OWLDataSomeValuesFrom owlDataSomeValuesFrom;
    OWLDataHasValue owlLDataHasValue;
    OWLDataMaxCardinality owlDataMaxCardinality;
    OWLDataOneOf owldataOneOf;

    // set domain and range
    // scoped domain
    if (editor.isGenerateDomainAxiom()) {
        owlLDataHasValue = owlDataFactory.getOWLDataHasValue(dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlLDataHasValue, src);
        domainAndRangeAxioms.add(axiom);

        owlDataSomeValuesFrom = owlDataFactory.getOWLDataSomeValuesFrom(dataprop, owlDataFactory.getTopDatatype());
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataSomeValuesFrom, src);
        domainAndRangeAxioms.add(axiom);
    }

    if (editor.isGenerateCardinalityAxiom()) {
        owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop,
                owlDataFactory.getTopDatatype());
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlDataMaxCardinality);
        cardinalityAxioms.add(axiom);

        // need to verify with Adila
        owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop,
                owlDataFactory.getTopDatatype());
        axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataMaxCardinality);
        cardinalityAxioms.add(axiom);
    }
    // return tmpaxioms;
}
项目：jopa    文件：IntegrityConstraintClassParser.java    
public void visit(OWLDataSomeValuesFrom arg0) {
    try {
        final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
        final OWLDataProperty dp = Utils.ensureDataProperty(arg0
            .getProperty());

        integrityConstraints.add(integrityConstraintFactory
            .MinDataParticipationConstraint(subjClass, dp, dt, 1));
    } catch (UnsupportedICException e) {
        notSupported(arg0);
    }
}
项目：HermiT-android    文件：BuiltInPropertyManager.java    
protected void axiomatizeTopDataProperty(OWLAxioms axioms) {
    OWLDatatype anonymousConstantsDatatype=m_factory.getOWLDatatype(IRI.create("internal:anonymous-constants"));
    OWLLiteral newConstant=m_factory.getOWLLiteral("internal:constant",anonymousConstantsDatatype);
    OWLDataOneOf oneOfNewConstant=m_factory.getOWLDataOneOf(newConstant);
    OWLDataSomeValuesFrom hasTopNewConstant=m_factory.getOWLDataSomeValuesFrom(m_topDataProperty,oneOfNewConstant);
    axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewConstant });
}
项目：HermiT-android    文件：OWLNormalization.java    
public void visit(OWLClassAssertionAxiom axiom) {
    OWLClassExpression classExpression=axiom.getClassExpression();
    if (classExpression instanceof OWLDataHasValue) {
        OWLDataHasValue hasValue=(OWLDataHasValue)classExpression;
        addFact(m_factory.getOWLDataPropertyAssertionAxiom(hasValue.getProperty(), axiom.getIndividual(), hasValue.getValue()));
        return;
    }
    if (classExpression instanceof OWLDataSomeValuesFrom) {
        OWLDataSomeValuesFrom someValuesFrom=(OWLDataSomeValuesFrom)classExpression;
        OWLDataRange dataRange=someValuesFrom.getFiller();
        if (dataRange instanceof OWLDataOneOf) {
            OWLDataOneOf oneOf=(OWLDataOneOf)dataRange;
            if (oneOf.getValues().size()==1) {
                addFact(m_factory.getOWLDataPropertyAssertionAxiom(someValuesFrom.getProperty(),axiom.getIndividual(),oneOf.getValues().iterator().next()));
                return;
            }
        }
    }
    classExpression=positive(classExpression);
    if (!isSimple(classExpression)) {
        OWLClassExpression definition=getDefinitionFor(classExpression,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),classExpression });
        classExpression=definition;
    }
    addFact(m_factory.getOWLClassAssertionAxiom(classExpression,axiom.getIndividual()));
}
项目：HermiT-android    文件：OWLNormalization.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom object) {
    OWLDataRange filler=object.getFiller();
    OWLDataPropertyExpression prop=object.getProperty();
    if (prop.isOWLTopDataProperty())
        throwInvalidTopDPUseError(object);
    if (isLiteral(filler))
        return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),filler);
    else {
        OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler });
        return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),definition);
    }
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else
        return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
}
项目：HermiT-android    文件：OWLClausification.java    
public void visit(OWLDataSomeValuesFrom object) {
    if (!object.getProperty().isOWLBottomDataProperty()) {
        AtomicRole atomicRole=getAtomicRole(object.getProperty());
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(object.getFiller());
        AtLeastDataRange atLeastDataRange=AtLeastDataRange.create(1,atomicRole,literalRange);
        if (!atLeastDataRange.isAlwaysFalse())
            m_headAtoms.add(Atom.create(atLeastDataRange,X));
    }
}
项目：HermiT-android    文件：EntailmentChecker.java    
public Boolean visit(OWLDisjointDataPropertiesAxiom axiom) {
    int n=axiom.getProperties().size();
    OWLDataPropertyExpression[] props=axiom.getProperties().toArray(new OWLDataPropertyExpression[n]);
    for (int i=0;i<n-1;i++) {
        for (int j=i+1;j<n;j++) {
            OWLDataSomeValuesFrom some_i=factory.getOWLDataSomeValuesFrom(props[i],factory.getOWLDatatype(IRI.create(InternalDatatype.RDFS_LITERAL.getIRI())));
            OWLDataSomeValuesFrom some_j=factory.getOWLDataSomeValuesFrom(props[j],factory.getOWLDatatype(IRI.create(InternalDatatype.RDFS_LITERAL.getIRI())));
            OWLDataMaxCardinality max1=factory.getOWLDataMaxCardinality(1,factory.getOWLDataProperty(IRI.create(AtomicRole.TOP_DATA_ROLE.getIRI())));
            OWLClassExpression desc=factory.getOWLObjectIntersectionOf(some_i,some_j,max1);
            if (reasoner.isSatisfiable(desc))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}
项目：elk-reasoner    文件：AbstractElkObjectConverter.java    
@Override
public OWLDataSomeValuesFrom visit(ElkDataSomeValuesFrom expression) {
    List<? extends ElkDataPropertyExpression> propertyExpressions = expression
            .getDataPropertyExpressions();
    if (propertyExpressions.size() > 0) {
        throw new IllegalArgumentException(
                "OWLAPI supports only one data property in OWLDataSomeValuesFrom");
    }
    return owlFactory_.getOWLDataSomeValuesFrom(
            convert(propertyExpressions.get(0)),
            convert(expression.getDataRange()));
}
项目：Hermit_1.3.8_android    文件：BuiltInPropertyManager.java    
protected void axiomatizeTopDataProperty(OWLAxioms axioms) {
    OWLDatatype anonymousConstantsDatatype=m_factory.getOWLDatatype(IRI.create("internal:anonymous-constants"));
    OWLLiteral newConstant=m_factory.getOWLLiteral("internal:constant",anonymousConstantsDatatype);
    OWLDataOneOf oneOfNewConstant=m_factory.getOWLDataOneOf(newConstant);
    OWLDataSomeValuesFrom hasTopNewConstant=m_factory.getOWLDataSomeValuesFrom(m_topDataProperty,oneOfNewConstant);
    axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewConstant });
}
项目：Hermit_1.3.8_android    文件：OWLNormalization.java    
public void visit(OWLClassAssertionAxiom axiom) {
    OWLClassExpression classExpression=axiom.getClassExpression();
    if (classExpression instanceof OWLDataHasValue) {
        OWLDataHasValue hasValue=(OWLDataHasValue)classExpression;
        addFact(m_factory.getOWLDataPropertyAssertionAxiom(hasValue.getProperty(), axiom.getIndividual(), hasValue.getValue()));
        return;
    }
    if (classExpression instanceof OWLDataSomeValuesFrom) {
        OWLDataSomeValuesFrom someValuesFrom=(OWLDataSomeValuesFrom)classExpression;
        OWLDataRange dataRange=someValuesFrom.getFiller();
        if (dataRange instanceof OWLDataOneOf) {
            OWLDataOneOf oneOf=(OWLDataOneOf)dataRange;
            if (oneOf.getValues().size()==1) {
                addFact(m_factory.getOWLDataPropertyAssertionAxiom(someValuesFrom.getProperty(),axiom.getIndividual(),oneOf.getValues().iterator().next()));
                return;
            }
        }
    }
    classExpression=positive(classExpression);
    if (!isSimple(classExpression)) {
        OWLClassExpression definition=getDefinitionFor(classExpression,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),classExpression });
        classExpression=definition;
    }
    addFact(m_factory.getOWLClassAssertionAxiom(classExpression,axiom.getIndividual()));
}
项目：Hermit_1.3.8_android    文件：OWLNormalization.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom object) {
    OWLDataRange filler=object.getFiller();
    OWLDataPropertyExpression prop=object.getProperty();
    if (prop.isOWLTopDataProperty())
        throwInvalidTopDPUseError(object);
    if (isLiteral(filler))
        return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),filler);
    else {
        OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler });
        return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),definition);
    }
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else
        return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
}
项目：Hermit_1.3.8_android    文件：OWLClausification.java    
public void visit(OWLDataSomeValuesFrom object) {
    if (!object.getProperty().isOWLBottomDataProperty()) {
        AtomicRole atomicRole=getAtomicRole(object.getProperty());
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(object.getFiller());
        AtLeastDataRange atLeastDataRange=AtLeastDataRange.create(1,atomicRole,literalRange);
        if (!atLeastDataRange.isAlwaysFalse())
            m_headAtoms.add(Atom.create(atLeastDataRange,X));
    }
}
项目：Hermit_1.3.8_android    文件：EntailmentChecker.java    
public Boolean visit(OWLDisjointDataPropertiesAxiom axiom) {
    int n=axiom.getProperties().size();
    OWLDataPropertyExpression[] props=axiom.getProperties().toArray(new OWLDataPropertyExpression[n]);
    for (int i=0;i<n-1;i++) {
        for (int j=i+1;j<n;j++) {
            OWLDataSomeValuesFrom some_i=factory.getOWLDataSomeValuesFrom(props[i],factory.getOWLDatatype(IRI.create(InternalDatatype.RDFS_LITERAL.getIRI())));
            OWLDataSomeValuesFrom some_j=factory.getOWLDataSomeValuesFrom(props[j],factory.getOWLDatatype(IRI.create(InternalDatatype.RDFS_LITERAL.getIRI())));
            OWLDataMaxCardinality max1=factory.getOWLDataMaxCardinality(1,factory.getOWLDataProperty(IRI.create(AtomicRole.TOP_DATA_ROLE.getIRI())));
            OWLClassExpression desc=factory.getOWLObjectIntersectionOf(some_i,some_j,max1);
            if (reasoner.isSatisfiable(desc))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}
项目：Wolpertinger    文件：OWLNormalization.java    
public void visit(OWLClassAssertionAxiom axiom) {
    OWLClassExpression classExpression=axiom.getClassExpression();
    if (classExpression instanceof OWLDataHasValue) {
        OWLDataHasValue hasValue=(OWLDataHasValue)classExpression;
        addFact(m_factory.getOWLDataPropertyAssertionAxiom(hasValue.getProperty(), axiom.getIndividual(), hasValue.getValue()));
        return;
    }
    if (classExpression instanceof OWLDataSomeValuesFrom) {
        OWLDataSomeValuesFrom someValuesFrom=(OWLDataSomeValuesFrom)classExpression;
        OWLDataRange dataRange=someValuesFrom.getFiller();
        if (dataRange instanceof OWLDataOneOf) {
            OWLDataOneOf oneOf=(OWLDataOneOf)dataRange;
            if (oneOf.getValues().size()==1) {
                addFact(m_factory.getOWLDataPropertyAssertionAxiom(someValuesFrom.getProperty(),axiom.getIndividual(),oneOf.getValues().iterator().next()));
                return;
            }
        }
    }
    classExpression=positive(classExpression);
    if (!isSimple(classExpression)) {
        OWLClassExpression definition=getDefinitionFor(classExpression,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),classExpression });
        classExpression=definition;
    }
    addFact(m_factory.getOWLClassAssertionAxiom(classExpression,axiom.getIndividual()));
}
项目：Wolpertinger    文件：OWLNormalization.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom object) {
    OWLDataRange filler=object.getFiller();
    OWLDataPropertyExpression prop=object.getProperty();
    if (prop.isOWLTopDataProperty())
        throwInvalidTopDPUseError(object);
    if (isLiteral(filler))
        return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),filler);
    else {
        OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler });
        return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),definition);
    }
}
项目：Wolpertinger    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else
        return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
}
项目：owlapi-gwt    文件：NNF.java    
@Override
public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
    OWLDataRange filler = ce.getFiller().accept(this);
    if (negated) {
        return dataFactory
                .getOWLDataAllValuesFrom(ce.getProperty(), filler);
    } else {
        return dataFactory.getOWLDataSomeValuesFrom(ce.getProperty(),
                filler);
    }
}
项目：owlapi-gwt    文件：OWLDataSomeValuesFromImpl.java    
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLDataSomeValuesFrom;
}
项目：OWLAx    文件：IntegrateOntologyWithProtege.java    
/**
 * create axioms for class--dataproperty----datatype relation.
 */
// be sure for OWLDatatype vs OWL2DataType
private void getClass2DataProperty2DataTypeAxioms(OWLClass src, OWLDataProperty dataprop, OWLDatatype dest) {

    // Set<OWLAxiom> tmpaxioms = new HashSet<OWLAxiom>();
    OWLAxiom axiom;
    OWLDataSomeValuesFrom owlDataSomeValuesFrom;
    OWLDataAllValuesFrom owlDataAllValuesFrom;
    OWLDataMaxCardinality owlDataMaxCardinality;

    // set domain and range
    // scoped domain
    if (editor.isGenerateDomainAxiom()) {
        owlDataSomeValuesFrom = owlDataFactory.getOWLDataSomeValuesFrom(dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataSomeValuesFrom, src);
        domainAndRangeAxioms.add(axiom);

        owlDataSomeValuesFrom = owlDataFactory.getOWLDataSomeValuesFrom(dataprop, owlDataFactory.getTopDatatype());
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataSomeValuesFrom, src);
        domainAndRangeAxioms.add(axiom);
    }

    // scoped range
    if (editor.isGenerateRangeAxiom()) {
        owlDataAllValuesFrom = owlDataFactory.getOWLDataAllValuesFrom(dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataAllValuesFrom);
        domainAndRangeAxioms.add(axiom);

        owlDataAllValuesFrom = owlDataFactory.getOWLDataAllValuesFrom(dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlDataAllValuesFrom);
        domainAndRangeAxioms.add(axiom);
    }

    // set existential restriction
    // source existential functionality
    if (editor.isGenerateExistentialAxiom()) {
        owlDataSomeValuesFrom = owlDataFactory.getOWLDataSomeValuesFrom(dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataSomeValuesFrom);
        existentialAxioms.add(axiom);
    }

    // destination existential functionality. dataproperty doesn't have
    // inverse property

    // set cardinality restriction
    if (editor.isGenerateCardinalityAxiom()) {
        owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataMaxCardinality);
        cardinalityAxioms.add(axiom);

        owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop, dest);
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlDataMaxCardinality);
        cardinalityAxioms.add(axiom);

        owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop,
                owlDataFactory.getTopDatatype());
        axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlDataMaxCardinality);
        cardinalityAxioms.add(axiom);

        owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop,
                owlDataFactory.getTopDatatype());
        axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataMaxCardinality);
        cardinalityAxioms.add(axiom);
    }
    // dataproperty doesn't have inverse property

    // System.out.println(axiom.toString());

    // return tmpaxioms;
}
项目：HermiT-android    文件：BuiltInPropertyManager.java    
public void visit(OWLDataSomeValuesFrom object) {
    visitProperty(object.getProperty());
}
项目：HermiT-android    文件：OWLNormalization.java    
public Boolean visit(OWLDataSomeValuesFrom desc) {
    return Boolean.TRUE;
}
项目：HermiT-android    文件：OWLAxiomsExpressivity.java    
public void visit(OWLDataSomeValuesFrom object) {
    m_hasDatatypes=true;
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getNNF(d.getFiller());
    return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getComplementNNF(d.getFiller());
    return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
}
项目：elk-reasoner    文件：OwlClassExpressionConverterVisitor.java    
@Override
public ElkDataSomeValuesFrom visit(
        OWLDataSomeValuesFrom owlDataSomeValuesFrom) {
    return CONVERTER.convert(owlDataSomeValuesFrom);
}
项目：elk-reasoner    文件：OwlConverter.java    
@SuppressWarnings("static-method")
public ElkDataSomeValuesFrom convert(
        OWLDataSomeValuesFrom owlDataSomeValuesFrom) {
    return new ElkDataSomeValuesFromWrap<OWLDataSomeValuesFrom>(
            owlDataSomeValuesFrom);
}
项目：Hermit_1.3.8_android    文件：BuiltInPropertyManager.java    
public void visit(OWLDataSomeValuesFrom object) {
    visitProperty(object.getProperty());
}
项目：Hermit_1.3.8_android    文件：OWLNormalization.java    
public Boolean visit(OWLDataSomeValuesFrom desc) {
    return Boolean.TRUE;
}
项目：Hermit_1.3.8_android    文件：OWLAxiomsExpressivity.java    
public void visit(OWLDataSomeValuesFrom object) {
    m_hasDatatypes=true;
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getNNF(d.getFiller());
    return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
    OWLDataRange filler=getComplementNNF(d.getFiller());
    return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
}
项目：owltools    文件：TBoxUnFoldingTool.java    
@Override
public OWLDataSomeValuesFrom visit(OWLDataSomeValuesFrom ce) {
    return null;
}
项目：owltools    文件：CardinalityContraintsTools.java    
@Override
public HandlerResult visit(OWLDataSomeValuesFrom ce) {
    return null;
}