Package com.clarkparsia.owlapi.modularity.locality

Examples of com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator$AxiomLocalityVisitor

337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
    boolean[] extractLogicalAxioms(@Nonnull boolean[] subOnt,
            @Nonnull Set<OWLEntity> signature,
            @Nonnull LocalityClass localityClass, boolean verbose) {
        boolean[] mod = ontologyAxiomSet.getSubset(false);
        boolean[] q2 = ontologyAxiomSet.cloneSubset(subOnt);
        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(
                localityClass);
        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                LOGGER.info("  Loop {}", loopNumber);
            }
            for (int i = 0; i < q2.length; i += 1) {
                if (q2[i]) {
                    if (!sle.isLocal(ontologyAxiomSet.getAxiom(i), signature)) {
                        if (verbose) {
                            LOGGER.info(
                                    "      Non-local axiom:   {}",
                                    minusOntologyURI(ontologyAxiomSet.getAxiom(
                                            i).toString()));
View Full Code Here
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
    Set<OWLAxiom> extract(@Nonnull Set<OWLAxiom> subOnt,
            @Nonnull Set<OWLEntity> signature,
            @Nonnull LocalityClass localityClass, boolean verbose) {
        HashSet<OWLAxiom> mod = new HashSet<>();
        HashSet<OWLAxiom> q2 = new HashSet<>(subOnt);
        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(
                localityClass);
        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                LOGGER.info("  Loop {}", loopNumber);
            }
            HashSet<OWLAxiom> q2remove = new HashSet<>();
            for (OWLAxiom ax : q2) {
                if (!sle.isLocal(ax, signature)) {
                    if (verbose) {
                        LOGGER.info("      Non-local axiom:   {}",
                                minusOntologyURI(ax.toString()));
                    }
                    mod.add(ax);
View Full Code Here
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
     */
    protected boolean[] extractLogicalAxioms(boolean[] subOnt, Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose) {
        boolean[] mod = ontologyAxiomSet.getSubset(false);
        boolean[] q2 = ontologyAxiomSet.cloneSubset(subOnt);

        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(localityClass);

        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                System.out.println("  Loop " + loopNumber);
            }
            for (int i = 0; i < q2.length; i = i + 1) {
                if (q2[i]) {
                    if (!sle.isLocal(ontologyAxiomSet.getAxiom(i), signature)) {
                        if (verbose){
                            System.out.println("      Non-local axiom:   " + ontologyAxiomSet.getAxiom(i));
                        }
                        mod[i] = true;
                        q2[i] = false;
View Full Code Here
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
     */
    protected Set<OWLAxiom> extract(Set<OWLAxiom> subOnt, Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose) {
        HashSet<OWLAxiom> mod = new HashSet<OWLAxiom>();
        HashSet<OWLAxiom> q2 = new HashSet<OWLAxiom>(subOnt);

        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(localityClass);

        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                System.out.println("  Loop " + loopNumber);
            }
            HashSet<OWLAxiom> q2remove = new HashSet<OWLAxiom>();
            for (OWLAxiom ax : q2) {
                if (!sle.isLocal(ax, signature)) {
                    if (verbose){
                        System.out.println("      Non-local axiom:   " + ax);
                    }
                    mod.add(ax);
                    q2remove.add(ax);
View Full Code Here
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
     */
    boolean[] extractLogicalAxioms(boolean[] subOnt, Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose) {
        boolean[] mod = ontologyAxiomSet.getSubset(false);
        boolean[] q2 = ontologyAxiomSet.cloneSubset(subOnt);

        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(localityClass);

        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                System.out.println("  Loop " + loopNumber);
            }
            for (int i = 0; i < q2.length; i = i + 1) {
                if (q2[i]) {
                    if (!sle.isLocal(ontologyAxiomSet.getAxiom(i), signature)) {
                        if (verbose){
                            System.out.println("      Non-local axiom:   " + minusOntologyURI(ontologyAxiomSet.getAxiom(i).toString()));
                        }
                        mod[i] = true;
                        q2[i] = false;
View Full Code Here
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
     */
    Set<OWLAxiom> extract(Set<OWLAxiom> subOnt, Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose) {
        HashSet<OWLAxiom> mod = new HashSet<OWLAxiom>();
        HashSet<OWLAxiom> q2 = new HashSet<OWLAxiom>(subOnt);

        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(localityClass);

        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                System.out.println("  Loop " + loopNumber);
            }
            HashSet<OWLAxiom> q2remove = new HashSet<OWLAxiom>();
            for (OWLAxiom ax : q2) {
                if (!sle.isLocal(ax, signature)) {
                    if (verbose){
                        System.out.println("      Non-local axiom:   " + minusOntologyURI(ax.toString()));
                    }
                    mod.add(ax);
                    q2remove.add(ax);
View Full Code Here
52
53
54
55
56
57
58
  public AxiomBasedModuleExtractor() {
    super();
  }
   
  public AxiomBasedModuleExtractor(LocalityClass localityClass) {
    super( new SyntacticLocalityEvaluator( localityClass ) );
  }
View Full Code Here
97
98
99
100
101
102
103
  private boolean                  nonLocalAxioms        = false;

  private Timers                  timers            = new Timers();

  public AbstractModuleExtractor() {
    this( new SyntacticLocalityEvaluator( LocalityClass.BOTTOM_BOTTOM ) );
  }
View Full Code Here
TOP

Related Classes of com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator$AxiomLocalityVisitor

  • com.clarkparsia.modularity.AbstractModuleExtractor
  • com.clarkparsia.modularity.AxiomBasedModuleExtractor
  • org.semanticweb.owl.model.OWLClass
  • org.semanticweb.owl.model.OWLDescription
  • org.semanticweb.owlapi.model.OWLClass
  • org.semanticweb.owlapi.model.OWLClassExpression
  • org.semanticweb.owlapi.model.OWLDatatype
  • uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor
  • org.semanticweb.owlapi.model.OWLRuntimeException
    • 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.