Package com.clarkparsia.pellet.rules.model

Examples of com.clarkparsia.pellet.rules.model.AtomDObject

49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
    public FunctionHelper( BuiltInAtom atom ) {
      this.atom = atom;
    }
   
    public Collection<? extends AtomVariable> getBindableVars( Collection<AtomVariable> bound ) {
      AtomDObject head = null;
      for ( AtomDObject obj : atom.getAllArguments() ) {
        if (head == null) {
          head = obj;
          // Can only bind first argument to a function
          if ( !VariableUtils.isVariable( head ) )
            return Collections.emptySet();
        } else {
          // Cannot bind a variable that occurs in multiple places.
          if ( head.equals( obj ) )
            return Collections.emptySet();
        }
      }
      if ( head == null )
        return Collections.emptySet();
View Full Code Here
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.DatavaluedPropertyAtom.asNode() ) ) {
        ATermAppl pred = null;
        AtomIObject argument1 = null;
        AtomDObject argument2 = null;
        atomType = "DatavaluedPropertyAtom";

        if( (obj = getObject( atomNode, SWRL.propertyPredicate.asNode() )) != null ) {
                  pred = node2term( obj );
                }

        if( (obj = getObject( atomNode, SWRL.argument1.asNode() )) != null ) {
                  argument1 = createRuleIObject( obj );
                }

        if( (obj = getObject( atomNode, SWRL.argument2.asNode() )) != null ) {
                  argument2 = createRuleDObject( obj );
                }

        if( pred == null || !defineDatatypeProperty( pred ) ) {
                  addUnsupportedFeature( "Cannot define datatype property " + pred );
                }
                else if( argument1 == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.argument1 );
                }
                else if( argument2 == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.argument2 );
                }
                else {
                  atom = new DatavaluedPropertyAtom( pred, argument1, argument2 );
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.BuiltinAtom.asNode() ) ) {
        atomType = "BuiltinAtom";
        Node builtInNode = null;
        List<AtomDObject> arguments = null;

        if( (obj = getObject( atomNode, SWRL.arguments.asNode() )) != null ) {
                  arguments = parseArgumentList( obj );
                }

        builtInNode = getObject( atomNode, SWRL.builtin.asNode() );

        if( arguments == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.arguments );
                }
                else if( builtInNode != null && builtInNode.isURI() ) {
                  atom = new BuiltInAtom( builtInNode.getURI(), arguments );
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.DataRangeAtom.asNode() ) ) {
        atomType = "DataRangeAtom";
        ATermAppl datatype = null;
        AtomDObject argument = null;

        if( (obj = getObject( atomNode, SWRL.dataRange.asNode() )) != null ) {
                  datatype = node2term( obj );
                }
View Full Code Here
396
397
398
399
400
401
402
403
404
405
406
        AtomIObject io2 = convertAtomIObject( i2 );
        atom = new IndividualPropertyAtom( p, io1, io2 );
      }
      else if( originalKB.isDatatypeProperty( p ) ) {
        kb.addDatatypeProperty( p );
        AtomDObject do2 = convertAtomDObject( i2 );
        atom = new DatavaluedPropertyAtom( p, io1, do2 );
      }
      else {
        throw new InternalReasonerException( "Unknown property " + p );
      }
View Full Code Here
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
    atom.getFirstArgument().accept( this );
    AtomIObject subj = swrlIObject;

    atom.getSecondArgument().accept( this );
    AtomDObject obj = swrlDObject;

    atom.getPredicate().accept( this );
    swrlAtom = new DatavaluedPropertyAtom( term, subj, obj );
  }
View Full Code Here
548
549
550
551
552
553
554
555
556
557
558
          }
        }
        else {
          varCount++;
          if( kb.isDatatypeProperty( p ) ) {
            AtomDObject newVar = new AtomDVariable( "var" + varCount );
            RuleAtom atom = new DatavaluedPropertyAtom( p, var, newVar );
            atoms.add(atom);
            processDatatype( newVar, filler, atoms );
          }
          else{
View Full Code Here
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
    atom.getFirstArgument().accept( this );
    AtomIObject subj = swrlIObject;

    atom.getSecondArgument().accept( this );
    AtomDObject obj = swrlDObject;

    atom.getPredicate().accept( this );
    swrlAtom = new DatavaluedPropertyAtom( term, subj, obj );
  }
View Full Code Here
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.DatavaluedPropertyAtom.asNode() ) ) {
        ATermAppl pred = null;
        AtomIObject argument1 = null;
        AtomDObject argument2 = null;
        atomType = "DatavaluedPropertyAtom";

        if( (obj = getObject( atomNode, SWRL.propertyPredicate.asNode() )) != null ) {
                  pred = node2term( obj );
                }

        if( (obj = getObject( atomNode, SWRL.argument1.asNode() )) != null ) {
                  argument1 = createRuleIObject( obj );
                }

        if( (obj = getObject( atomNode, SWRL.argument2.asNode() )) != null ) {
                  argument2 = createRuleDObject( obj );
                }

        if( pred == null || !defineDatatypeProperty( pred ) ) {
                  addUnsupportedFeature( "Cannot define datatype property " + pred );
                }
                else if( argument1 == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.argument1 );
                }
                else if( argument2 == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.argument2 );
                }
                else {
                  atom = new DatavaluedPropertyAtom( pred, argument1, argument2 );
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.BuiltinAtom.asNode() ) ) {
        atomType = "BuiltinAtom";
        Node builtInNode = null;
        List<AtomDObject> arguments = null;

        if( (obj = getObject( atomNode, SWRL.arguments.asNode() )) != null ) {
                  arguments = parseArgumentList( obj );
                }

        builtInNode = getObject( atomNode, SWRL.builtin.asNode() );

        if( arguments == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.arguments );
                }
                else if( builtInNode != null && builtInNode.isURI() ) {
                  atom = new BuiltInAtom( builtInNode.getURI(), arguments );
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.DataRangeAtom.asNode() ) ) {
        atomType = "DataRangeAtom";
        ATermAppl datatype = null;
        AtomDObject argument = null;

        if( (obj = getObject( atomNode, SWRL.dataRange.asNode() )) != null ) {
                  datatype = node2term( obj );
                }
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
    public FunctionHelper( BuiltInAtom atom ) {
      this.atom = atom;
    }
   
    public Collection<? extends AtomVariable> getBindableVars( Collection<AtomVariable> bound ) {
      AtomDObject head = null;
      for ( AtomDObject obj : atom.getAllArguments() ) {
        if (head == null) {
          head = obj;
          // Can only bind first argument to a function
          if ( !VariableUtils.isVariable( head ) )
            return Collections.emptySet();
        } else {
          // Cannot bind a variable that occurs in multiple places.
          if ( head.equals( obj ) )
            return Collections.emptySet();
        }
      }
      if ( head == null )
        return Collections.emptySet();
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
      }
     
      if ( function.apply( newBinding.getABox(), arguments ) ) {
        VariableBinding newPartial = new VariableBinding( newBinding.getABox() );
        for ( int i = 0; i < arguments.length; i++ ) {
          AtomDObject arg = atom.getAllArguments().get( i );
          Literal result = arguments[ i ];
          Literal current = newBinding.get( arg );
         
          if ( current != null && !current.equals( result ) ) {
            // Oops, we overwrote an argument.
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
        }
      }
      else {
        varCount++;
        if( kb.isDatatypeProperty( p ) ) {
          AtomDObject newVar = new AtomDVariable( "var" + varCount );
          RuleAtom atom = new DatavaluedPropertyAtom( p, var, newVar );
          atoms.add(atom);
          processDatatype( newVar, filler, atoms );
        }
        else{
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.rules.model.AtomDObject

  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.rules.builtins.FunctionBuiltIn$FunctionHelper
  • com.clarkparsia.pellet.rules.builtins.GeneralFunctionBuiltIn$GeneralFunctionHelper
  • com.clarkparsia.pellet.utils.OntBuilder
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.owlapi.PelletVisitor
  • org.mindswap.pellet.tbox.impl.RuleAbsorber
  • org.mindswap.pellet.tbox.impl.TBoxImpl$RuleAbsorption
    • 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.