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

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

public void visit(SWRLSameIndividualAtom atom) {
    Set<OWLNamedIndividual> inds=new HashSet<OWLNamedIndividual>();
    for (SWRLArgument arg : atom.getAllArguments()) {
        if (!(arg instanceof SWRLIndividualArgument))
            throwVarError(atom);
        OWLIndividual ind=((SWRLIndividualArgument)arg).getIndividual();
        if (ind.isAnonymous())
            throwAnonIndError(atom);
        inds.add(ind.asOWLNamedIndividual());
    }
    addFact(m_factory.getOWLSameIndividualAxiom(inds));
}

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

public void visit(SWRLDifferentIndividualsAtom atom) {
    Set<OWLNamedIndividual> inds=new HashSet<OWLNamedIndividual>();
    for (SWRLArgument arg : atom.getAllArguments()) {
        if (!(arg instanceof SWRLIndividualArgument))
            throwVarError(atom);
        OWLIndividual ind=((SWRLIndividualArgument)arg).getIndividual();
        if (ind.isAnonymous())
            throwAnonIndError(atom);
        inds.add(ind.asOWLNamedIndividual());
    }
    addFact(m_factory.getOWLDifferentIndividualsAxiom(inds));
}

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

public void visit(SWRLSameIndividualAtom atom) {
    Set<OWLNamedIndividual> inds=new HashSet<OWLNamedIndividual>();
    for (SWRLArgument arg : atom.getAllArguments()) {
        if (!(arg instanceof SWRLIndividualArgument))
            throwVarError(atom);
        OWLIndividual ind=((SWRLIndividualArgument)arg).getIndividual();
        if (ind.isAnonymous())
            throwAnonIndError(atom);
        inds.add(ind.asOWLNamedIndividual());
    }
    addFact(m_factory.getOWLSameIndividualAxiom(inds));
}

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

public void visit(SWRLDifferentIndividualsAtom atom) {
    Set<OWLNamedIndividual> inds=new HashSet<OWLNamedIndividual>();
    for (SWRLArgument arg : atom.getAllArguments()) {
        if (!(arg instanceof SWRLIndividualArgument))
            throwVarError(atom);
        OWLIndividual ind=((SWRLIndividualArgument)arg).getIndividual();
        if (ind.isAnonymous())
            throwAnonIndError(atom);
        inds.add(ind.asOWLNamedIndividual());
    }
    addFact(m_factory.getOWLDifferentIndividualsAxiom(inds));
}

项目：Wolpertinger 文件：OWLNormalization.java

public void visit(SWRLSameIndividualAtom atom) {
    Set<OWLNamedIndividual> inds=new HashSet<OWLNamedIndividual>();
    for (SWRLArgument arg : atom.getAllArguments()) {
        if (!(arg instanceof SWRLIndividualArgument))
            throwVarError(atom);
        OWLIndividual ind=((SWRLIndividualArgument)arg).getIndividual();
        if (ind.isAnonymous())
            throwAnonIndError(atom);
        inds.add(ind.asOWLNamedIndividual());
    }
    addFact(m_factory.getOWLSameIndividualAxiom(inds));
}

项目：Wolpertinger 文件：OWLNormalization.java

public void visit(SWRLDifferentIndividualsAtom atom) {
    Set<OWLNamedIndividual> inds=new HashSet<OWLNamedIndividual>();
    for (SWRLArgument arg : atom.getAllArguments()) {
        if (!(arg instanceof SWRLIndividualArgument))
            throwVarError(atom);
        OWLIndividual ind=((SWRLIndividualArgument)arg).getIndividual();
        if (ind.isAnonymous())
            throwAnonIndError(atom);
        inds.add(ind.asOWLNamedIndividual());
    }
    addFact(m_factory.getOWLDifferentIndividualsAxiom(inds));
}

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

@Nonnull
@Override
public Collection<SWRLArgument> getAllArguments() {
    List<SWRLArgument> objs = new ArrayList<>();
    objs.add(arg0);
    objs.add(arg1);
    return objs;
}

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

@Override
public void visit(@Nonnull SWRLBuiltInAtom node) {
    for (SWRLArgument obj : node.getAllArguments()) {
        obj.accept(this);
    }
}

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

@Nonnull
@Override
public Collection<SWRLArgument> getAllArguments() {
    return CollectionFactory.createSet((SWRLArgument) arg);
}