Examples of accept()


Examples of org.semanticweb.owl.model.OWLDataProperty.accept()

      for( int j = i + 1; j < disjs.length; j++ ) {
        OWLDataProperty desc1 = (OWLDataProperty) disjs[i];
        OWLDataProperty desc2 = (OWLDataProperty) disjs[j];
        desc1.accept( this );
        ATermAppl p1 = term;
        desc2.accept( this );
        ATermAppl p2 = term;

        kb.addDisjointProperty( p1, p2 );
      }
    }
View Full Code Here

Examples of org.semanticweb.owl.model.OWLDescription.accept()

    term = ATermUtils.makeOr( setOfTerms );
  }

  public void visit(OWLObjectComplementOf not) {
    OWLDescription desc = not.getOperand();
    desc.accept( this );

    term = ATermUtils.makeNot( term );
  }

  public void visit(OWLObjectOneOf enumeration) {
View Full Code Here

Examples of org.semanticweb.owl.model.OWLObjectProperty.accept()

    }
   
    OWLObjectProperty prop = getNamedProperty( ope );
    simpleProperties.add( prop );

    prop.accept( this );
    Role role = kb.getRBox().getRole( term );
    role.setForceSimple( true );
  }

  void verify() {
View Full Code Here

Examples of org.semanticweb.owl.model.SWRLAtomIObject.accept()

  public void visit(SWRLClassAtom atom) {
    OWLDescription c = atom.getPredicate();

    SWRLAtomIObject v = atom.getArgument();
    v.accept( this );

    AtomIObject subj = swrlIObject;

    c.accept( this );
    swrlAtom = new ClassAtom( term, subj );
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLAxiom.accept()

    @Override
    public void visit(OWLDataPropertyDomainAxiom axiom) {
        OWLClassExpression sub = dataFactory.getOWLDataSomeValuesFrom(
                axiom.getProperty(), dataFactory.getTopDatatype());
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
        ax.accept(this);
    }

    @Override
    public void visit(OWLObjectPropertyDomainAxiom axiom) {
        // prop some Thing subclassOf domain
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassExpression.accept()

        for (OWLSubClassOfAxiom axiom : collector.getAxioms()) {
            /* Get the superclass */
            OWLClassExpression superClass = axiom.getSuperClass();
            /* Collect any existentials */
            ExistentialCollector ec = new ExistentialCollector(restrictions);
            superClass.accept(ec);
        }
        /* For any existentials.... */
        for (OWLObjectPropertyExpression prop : restrictions.keySet()) {
            assert prop != null;
            System.out.println("prop: " + prop);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLEntity.accept()

            OWLEntity entity = (OWLEntity) value;
            OWLDeclarationAxiom declAx = getOWLModelManager().getOWLDataFactory().getOWLDeclarationAxiom(entity);
            if (getOWLModelManager().getActiveOntology().containsAxiom(declAx)) {
                ontology = getOWLModelManager().getActiveOntology();
            }
            entity.accept(activeEntityVisitor);
        }


        prepareTextPane(value, isSelected);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLNamedIndividual.accept()

        // Create the recipe axiom
        OWLNamedIndividual ontoind = factory.getOWLNamedIndividual(recipe.getRecipeID());

        // Remove the recipe
        ontoind.accept(remover);
        mng.applyChanges(remover.getChanges());
        remover.reset();

        // Check if the recipe ahs been removed
        if (owlmodel.containsIndividualInSignature(recipe.getRecipeID())) return false;
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObject.accept()

        }
        first.accept(this);
        writeSpace();
        write(EQUIVALENT_TO);
        writeSpace();
        second.accept(this);
        write(INVERSE);
    }

    @Override
    public void visit(SWRLRule rule) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom.accept()

    public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) {
        OWLClassExpression sub = oneOf(axiom.getSubject());
        OWLClassExpression sup = factory.getOWLDataHasValue(
                axiom.getProperty(), axiom.getObject());
        OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup);
        return ax.accept(this);
    }

    @Override
    public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) {
        OWLClassExpression sub = factory.getOWLDataSomeValuesFrom(
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.