Package org.mindswap.pellet

Examples of org.mindswap.pellet.ABox

55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
  public boolean isSafe(ATermAppl c, Individual ind) {
    Edge parentEdge = getParentEdge( ind );
    Role r = parentEdge.getRole();
    Individual parent = parentEdge.getFrom();
   
    ABox abox = parent.getABox();

    if( !isParentSafe( abox.getKB(), r, parent ) )
      return false;

    Iterator<CachedNode> nodes = getCachedNodes( abox, c );

    if( !nodes.hasNext() )
      return false;

    if( interactsWithInverses( abox.getKB(), r ) ) {
      while( nodes.hasNext() ) {
        CachedNode node = nodes.next();

        if( node.isBottom() )
          return true;
        else if( node.isTop() || !node.isComplete() )
          return false;

        if( !isSafe( abox.getKB(), parent, r.getInverse(), node ) )
          return false;
      }
    }

    return true;
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
  public boolean isSafe(ATermAppl c, Individual ind) {
    Edge parentEdge = getParentEdge( ind );
    Role r = parentEdge.getRole();
    Individual parent = parentEdge.getFrom();
   
    ABox abox = parent.getABox();

    if( !isParentSafe( abox.getKB(), r, parent ) )
      return false;

    Iterator<CachedNode> nodes = getCachedNodes( abox, c );

    if( !nodes.hasNext() )
      return false;

    if( interactsWithInverses( abox.getKB(), r ) ) {
      while( nodes.hasNext() ) {
        CachedNode node = nodes.next();

        if( node.isBottom() )
          return true;
        else if( node.isTop() || !node.isComplete() )
          return false;

        if( !isSafe( abox.getKB(), parent, r.getInverse(), node ) )
          return false;
      }
    }

    return true;
View Full Code Here
177
178
179
180
181
182
183
  }

  @Before
  public void reset() {
    reasoner = new DatatypeReasonerImpl();
    abox = new ABox(null);
  }
View Full Code Here
665
666
667
668
669
670
671
672
673
674
675
676
677
        ATermAppl newUC = ATermUtils.normalize( ATermUtils.makeNot( testClass ) );

        Role topObjectRole = kb.getRole( TOP_OBJECT_PROPERTY );
        boolean added = topObjectRole.addDomain( newUC, DependencySet.INDEPENDENT );
       
        ABox copy = kb.getABox().copy();
        copy.setInitialized( false );
        querySatisfied = !copy.isConsistent();

        if (added)
          topObjectRole.removeDomain( newUC, DependencySet.INDEPENDENT );
      }
    }
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.ABox

  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
  • com.clarkparsia.pellet.datatypes.test.DatatypeReasonerTests
  • com.clarkparsia.pellet.expressivity.Expressivity
  • com.clarkparsia.pellet.impl.SimpleBranchEffectTracker
  • com.clarkparsia.pellet.impl.SimpleIncrementalChangeTracker
  • com.clarkparsia.pellet.sparqldl.engine.QueryEngine
  • org.mindswap.pellet.tableau.branch.Branch
  • org.mindswap.pellet.tableau.cache.CachedNode
    • Copyright © 2018 www.massapicom. 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.