Package com.clarkparsia.pellet.datatypes

Examples of com.clarkparsia.pellet.datatypes.Facet

1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
    kb.addInverseProperty( p1, p2 );
  }

 
  public void visit(OWLFacetRestriction node) {
    Facet facet = Facet.Registry.get( ATermUtils.makeTermAppl( node.getFacet().getIRI().toString() ) ); 

    if( facet != null ) {
      OWLLiteral facetValue = node.getFacetValue();
      facetValue.accept( this );     

      term = ATermUtils.makeFacetRestriction( facet.getName(), term );
    }
  }
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
     */

    /*
     * Check the facet
     */
    Facet f = Facet.Registry.get( facet );
    if( f == null ) {
      final String msg = format(
          "Attempt to constrain datatype (%s) with unsupported constraining facet ('%s' , '%s')",
          getDatatype(), facet, value );
      log.severe( msg );
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
     */

    /*
     * Check the facet
     */
    Facet f = Facet.Registry.get( facet );
    if( f == null ) {
      final String msg = format(
          "Attempt to constrain datatype (%s) with unsupported constraining facet ('%s' , '%s')",
          getDatatype(), facet, value );
      log.severe( msg );
View Full Code Here
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
    kb.addInverseProperty( p1, p2 );
  }

  public void visit(OWLDataRangeFacetRestriction node) {
    Facet facet = Facet.Registry.get( ATermUtils.makeTermAppl( node.getFacet().getURI().toString() ) ); 

    if( facet != null ) {
      OWLConstant facetValue = node.getFacetValue();
      facetValue.accept( this );     

      term = ATermUtils.makeFacetRestriction( facet.getName(), term );
    }
  }
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
         * First check if the literals' datatypes are comparable. If so,
         * compile the comparison into a datatype reasoner
         * satisfiability check.
         */
        if( dtr.isSatisfiable( Arrays.asList( type1, type2 ) ) ) {
          Facet f = lt
            ? inclusive
              ? Facet.XSD.MIN_INCLUSIVE
              : Facet.XSD.MIN_EXCLUSIVE
            : inclusive
              ? Facet.XSD.MAX_INCLUSIVE
              : Facet.XSD.MAX_EXCLUSIVE;
          final ATermAppl canon1 = dtr.getCanonicalRepresentation( term1 );
          final ATermAppl baseType = (ATermAppl) canon1
              .getArgument( ATermUtils.LIT_URI_INDEX );
          final ATermAppl dr = ATermUtils
              .makeRestrictedDatatype( baseType, new ATermAppl[] { ATermUtils
                  .makeFacetRestriction( f.getName(), canon1 ) } );
          if( dtr.isSatisfiable( Collections.singleton( dr ), l2val ) )
            return true;
          else
            return false;
        }
View Full Code Here
284
285
286
287
288
289
290
291
292
293
294
      Object value) throws InvalidConstrainingFacetException {

    /*
     * Check the facet
     */
    Facet f = Facet.Registry.get( facet );
    if( f == null ) {
      final String msg = format(
          "Attempt to constrain datatype (%s) with unsupported constraining facet ('%s' , '%s')",
          getDatatype(), facet, value );
      log.severe( msg );
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.datatypes.Facet

  • com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype
  • com.clarkparsia.pellet.datatypes.types.floating.RestrictedFloatingPointDatatype
  • com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype
  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.rules.builtins.ComparisonTesters$OrderingTester
  • org.mindswap.pellet.owlapi.PelletVisitor
    • 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.