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

Class org.semanticweb.owlapi.model.OWLClassExpression

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

org.semanticweb.owlapi.model.OWLClassExpression.accept()
Accepts a visit from an {@code OWLExpressionVisitor} @param visitor The visitor that wants to visit

        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

                .getSubClassAxiomsForSubClass(margheritaPizza)) {
            OWLClassExpression superCls = ax.getSuperClass();
            // Ask our superclass to accept a visit from the RestrictionVisitor
            // - if it is an existential restiction then our restriction visitor
            // will answer it - if not our visitor will ignore it
            superCls.accept(restrictionVisitor);
        }
        // Our RestrictionVisitor has now collected all of the properties that
        // have been restricted in existential restrictions - print them out.
        // System.out.println("Restricted properties for " + margheritaPizza
        // + ": " + restrictionVisitor.getRestrictedProperties().size());

View Full Code Here

      return false;
    
    OWLClassExpression paramenter = (OWLClassExpression) query.getParams()[0];
    DescriptionVisitor visitor = new DescriptionVisitor();
    OWLClassExpression des = paramenter.getNNF();
    des.accept(visitor);
    return visitor.getResult();
  }
  
  
  /**

View Full Code Here

    return Boolean.TRUE;
  }


  public Boolean visit(OWLDisjointUnionAxiom axiom) {
    OWLClassExpression c1 = axiom.getOWLClass();
    if (!c1.accept(positive) || !c1.accept(negative)) {
      return Boolean.FALSE;
    }
    for (OWLClassExpression c : axiom.getClassExpressions()) {
      if (!c.accept(positive) || !c.accept(negative)) {
        return Boolean.FALSE;

View Full Code Here

    return Boolean.TRUE;
  }


  public Boolean visit(OWLDisjointUnionAxiom axiom) {
    OWLClassExpression c1 = axiom.getOWLClass();
    if (!c1.accept(positive) || !c1.accept(negative)) {
      return Boolean.FALSE;
    }
    for (OWLClassExpression c : axiom.getClassExpressions()) {
      if (!c.accept(positive) || !c.accept(negative)) {
        return Boolean.FALSE;

View Full Code Here

TOP

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.