Package org.mindswap.pellet

Examples of org.mindswap.pellet.Role

17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
*/
public class Block5 implements BlockingCondition {
  public boolean isBlocked(BlockingContext cxt) {
    for( ATermAppl normMax : cxt.blocker.getTypes( Node.MAX ) ) {
      ATermAppl max = (ATermAppl) normMax.getArgument( 0 );
      Role t = cxt.blocked.getABox().getRole( max.getArgument( 0 ) );
      ATermAppl c = (ATermAppl) max.getArgument( 2 );

      if( t.isDatatypeRole() )
        continue;

      Role invT = t.getInverse();

      if( !cxt.isRSuccessor( invT ) )
        continue;
     
      if( cxt.blocked.getParent().hasType( ATermUtils.negate( c ) ) )
View Full Code Here
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
* @author Evren Sirin
*/
public class Block6 implements BlockingCondition {
  public boolean isBlocked(BlockingContext cxt) {
    for( ATermAppl min : cxt.blocked.getParent().getTypes( Node.MIN ) ) {
      Role u = cxt.blocked.getABox().getRole( min.getArgument( 0 ) );
      ATermAppl c = (ATermAppl) min.getArgument( 2 );

      if( u.isDatatypeRole() )
        continue;

      if( cxt.isRSuccessor( u ) && !cxt.blocked.hasType( ATermUtils.negate( c ) ) )
        return false;
    }
   
    for( ATermAppl normSome : cxt.blocked.getParent().getTypes( Node.SOME ) ) {
      ATermAppl some = (ATermAppl) normSome.getArgument( 0 );
      Role u = cxt.blocked.getABox().getRole( some.getArgument( 0 ) );
      ATermAppl notC = (ATermAppl) some.getArgument( 1 );

      if( u.isDatatypeRole() )
        continue;

      if( cxt.isRSuccessor( u ) && !cxt.blocked.hasType( notC ) )
        return false;
    }
View Full Code Here
235
236
237
238
239
240
241
242
   
    OWLObjectProperty prop = getNamedProperty( ope );
    simpleProperties.add( prop );

    prop.accept( this );
    Role role = kb.getRBox().getRole( term );
    role.setForceSimple( true );
  }
View Full Code Here
252
253
254
255
256
257
258
259
260
      Set<OWLObjectPropertyAxiom> axioms = entry.getValue();
      for( OWLObjectPropertyAxiom axiom : axioms )
        addUnsupportedAxiom( axiom );

      ATermAppl name = ATermUtils.makeTermAppl( nonSimpleProperty.getURI().toString() );
      Role role = kb.getRBox().getRole( name );
      role.removeSubRoleChains();
    }
  }
View Full Code Here
214
215
216
217
218
219
220
221
    return unsupportedFeatures;
  }

  protected void addSimpleProperty(ATermAppl p, SimpleProperty why) {
    simpleProperties.put( p, why );
    Role role = kb.getRBox().getRole( p );
    role.setForceSimple( true );
  }
View Full Code Here
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
    ATermAppl st = node2term( s );
    ATermAppl ot = node2term( o );

    if( builtinTerm == null ) {
      ATermAppl pt = node2term( p );
      Role role = kb.getProperty( pt );
      PropertyType type = (role == null)
        ? PropertyType.UNTYPED
        : role.getType();

      if( type == PropertyType.ANNOTATION ) {
        // Skip ontology annotations
        if( graph.contains( s, RDF.type.asNode(), OWL.Ontology.asNode() ) ) {
                  return;
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
          Individual ind2 = abox.getIndividual( obj );
         
          ind1.setDifferent( ind2, DependencySet.INDEPENDENT );
        } else {
          // add code for inferring roles, too
          Role r = abox.getRole( pred );
          Individual from = abox.getIndividual( subj );
          Node to;
          if ( r != null && r.isObjectRole()) {
            to = abox.getIndividual( obj );
          } else if ( r != null && r.isDatatypeRole()) {
            to = abox.getLiteral( obj );
            if ( to == null ) {
              to = abox.addLiteral( obj );
            }
          } else {
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
          Individual ind2 = (Individual) obj;
          subj.setDifferent( ind2, ds );
        }
        else {
          // add code for inferring roles, too
          Role r = abox.getRole( pred );
          if( obj == null && r.isDatatypeRole() ) {
            // Constant data values in rules may not be in the ABox.
            obj = abox.addLiteral( objTerm );
          }
          addEdge( subj, r, obj, ds );
        }
View Full Code Here
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
          }
          else if( kb.isDatatype( term ) ) {
            types.add( RDFS.Datatype.asNode() );
          }
          else if( kb.isObjectProperty( term ) ) {
            Role role = kb.getRole( term );
            types.add( OWL.ObjectProperty.asNode() );
            if( role.isFunctional() )
              types.add( OWL.FunctionalProperty.asNode() );
            if( role.isInverseFunctional() )
              types.add( OWL.InverseFunctionalProperty.asNode() );
            if( role.isTransitive() )
              types.add( OWL.TransitiveProperty.asNode() );
            if( role.isSymmetric() )
              types.add( OWL.SymmetricProperty.asNode() );
            if( role.isAsymmetric() )
              types.add( OWL2.AsymmetricProperty.asNode() );
            if( role.isReflexive() )
              types.add( OWL2.ReflexiveProperty.asNode() );
            if( role.isIrreflexive() )
              types.add( OWL2.IrreflexiveProperty.asNode() );
          }
          else if( kb.isDatatypeProperty( term ) ) {         
            Role role = kb.getRole( term );
            types.add( OWL.DatatypeProperty.asNode() );
            if( role.isFunctional() )
              types.add( OWL.FunctionalProperty.asNode() );
            if( role.isInverseFunctional() )
              types.add( OWL.InverseFunctionalProperty.asNode() );
          }
          else if( kb.isAnnotationProperty( term ) ) {
            types.add( OWL.AnnotationProperty.asNode() );           
          }
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
    final Individual from = edge.getFrom();
    final org.mindswap.pellet.Node to = edge.getTo().getSame();
    if( !to.isRootNominal() || to.isPruned() )
      return false;
    final DependencySet ds = edge.getDepends();
    Role role = edge.getRole();
   
    boolean added = addFact( role, from, to, ds );

    if( role.isObjectRole() ) {
      added |= addFact( role.getInverse(), (Individual) to, from, ds );
    }

    return added;
  }
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.Role

  • aterm.ATermList
  • com.clarkparsia.pellet.el.RoleChainCache
  • com.clarkparsia.pellet.el.SimplifiedELClassifier
  • com.clarkparsia.pellet.expressivity.DLExpressivityChecker$Visitor
  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.rules.ContinuousRulesStrategy
  • com.clarkparsia.pellet.rules.rete.AlphaEdgeNode
  • com.clarkparsia.pellet.rules.rete.AlphaNetwork
  • com.clarkparsia.pellet.rules.rete.AlphaNetwork$AlphaNodeCreator
  • com.clarkparsia.pellet.rules.rete.Compiler
    • 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.