Package org.mindswap.pellet.utils

Examples of org.mindswap.pellet.utils.QNameProvider

197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
  static public RDFNode makeRDFNode(ATermAppl term, Model model) {
    return model.asRDFNode( makeGraphNode( term ) );
  }

  static public QNameProvider makeQNameProvider(PrefixMapping mapping) {
    QNameProvider qnames = new QNameProvider();

    Iterator<Map.Entry<String, String>> entries = mapping.getNsPrefixMap().entrySet().iterator();
    while( entries.hasNext() ) {
      Map.Entry<String, String> entry = entries.next();
      String prefix = entry.getKey();
      String uri = entry.getValue();

      qnames.setMapping( prefix, uri );
    }

    return qnames;
  }
View Full Code Here
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
  public XSDAtomicType restrictMaxLength(int length) {
    return deriveByRestriction( DatatypeFacet.maxLength, length );
  }
   
    public String toString() {
        QNameProvider qnames = new QNameProvider();
        String str;
        if( name == null )
            str = qnames.shortForm( getPrimitiveType().getName().toString() ) + " " + values;       
        else
            str = qnames.shortForm( name.toString() );
           
       
        return str;
    }
View Full Code Here
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
        }
  }
   
   
    public String toString() {
        QNameProvider qnames = new QNameProvider();
        String str;
        if( isDerived() )
            str = qnames.shortForm( getPrimitiveType().getName().toString() ) + " " + (negated?"not":"") + values;       
        else
            str = qnames.shortForm( name.toString() );
           
       
        return str;
    }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
    finishTask( "consistency check" );

    if( !isConsistent )
      throw new PelletCmdException( "Ontology is inconsistent, run \"pellet explain\" to get the reason" );

    QNameProvider qnames = new QNameProvider();
    Set<String> unsatisfiableClasses = new TreeSet<String>( Comparators.stringComparator );
   
    ProgressMonitor monitor = PelletOptions.USE_CLASSIFICATION_MONITOR.create();
    monitor.setProgressTitle( "Finding unsatisfiable" );
    monitor.setProgressLength( kb.getClasses().size() );
   
    startTask( "find unsatisfiable" );
    monitor.taskStarted();
   
    Iterator<ATermAppl> i = kb.getClasses().iterator();
    while( i.hasNext() ) {
      monitor.incrementProgress();
      ATermAppl c = i.next();
      if( !kb.isSatisfiable( c ) ) {
        unsatisfiableClasses.add( qnames.shortForm( c.getName() ) );
      }
    }
   
    monitor.taskFinished();
    finishTask( "find unsatisfiable" );
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.utils.QNameProvider

  • org.mindswap.pellet.datatypes.BaseAtomicDatatype
  • org.mindswap.pellet.datatypes.BaseXSDAtomicType
  • org.mindswap.pellet.jena.JenaUtils
  • pellet.PelletUnsatisfiable
  • java.util.Hashtable
    • 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.