Package org.semanticweb.owl.inference

Examples of org.semanticweb.owl.inference.OWLReasoner.loadOntologies()

266
267
268
269
270
271
272
273
274
275
276
    OWLReasoner reasoner = reasonerFactory.createReasoner(manager);
   
    logger.info("Reasoner: "+reasonerFactory.getReasonerName());
   
    /* Load Tbox and all imported ontologies */
    reasoner.loadOntologies(Collections.singleton(tbox));
   
    /*  Load Abox into reasoner */
    reasoner.loadOntologies(Collections.singleton(abox));
   
    double time = 0;
View Full Code Here
269
270
271
272
273
274
275
276
277
278
279
   
    /* Load Tbox and all imported ontologies */
    reasoner.loadOntologies(Collections.singleton(tbox));
   
    /*  Load Abox into reasoner */
    reasoner.loadOntologies(Collections.singleton(abox));
   
    double time = 0;
    double classificationTime = 0;
   
    /*
 
View Full Code Here
455
456
457
458
459
460
461
462
463
464
465
       
        /* Load approximated Tbox into the reasoner */
        //reasoner.loadOntologies(ontologiesToLoad);

        /* Load approximated Tbox into reasoner */
        reasoner.loadOntologies(Collections.singleton(approximatedTbox));
       
        /* Print statistics */
        printStatistics(runCounter, approximation, approximatedTbox, abox, aboxPhysicalURI);
       
        /* Classify ontology if needed */
 
View Full Code Here
472
473
474
475
476
477
478
479
480
481
482
          timerClassify.stop();
          classificationTime = timerClassify.getTotal();
        }
       
        /* Load Abox into reasoner */
        reasoner.loadOntologies(Collections.singleton(abox));
         
        /* In each run this variable maps classes to number of instances (direct and indirect) retrieved for that class */
        HashMap<OWLClass, Integer> instancesPerClass = new HashMap<OWLClass, Integer>();
        /* Maps classes to number of direct instances */
        HashMap<OWLClass, Integer> directIndividualsCounts = new HashMap<OWLClass, Integer>();
View Full Code Here
231
232
233
234
235
236
237
238
239
240
241
          .info("Classifying and retrieving instance relations...");
      this.logger.info("Using reasoner: "
          + reasonerFactory.getReasonerName());

      /* Load Tbox into reasoner */
      reasoner.loadOntologies(Collections.singleton(tbox));

      /* Load Abox into reasoner */
      // reasoner.loadOntologies(Collections.singleton(abox));
      /* Classify the ontology if necessary */
      if (!reasoner.isClassified())
View Full Code Here
246
247
248
249
250
251
252
253
254
255
256
        timerClassify.stop();
        classificationTime = timerClassify.getTotal();
      }

      /* Load Abox into reasoner */
      reasoner.loadOntologies(Collections.singleton(abox));
      if (!reasoner.isClassified())
      {
        reasoner.classify();
      }

View Full Code Here
396
397
398
399
400
401
402
403
404
405
406
          saveOntology(approximatedTboxOntology, tboxPhysicalURI);
        }

        // System.out.println("--->classifying...");
        reasoner = reasonerFactory.createReasoner(manager);
        reasoner.loadOntologies(Collections
            .singleton(approximatedTboxOntology));
        timers.createTimer("classification");
        if (!(reasoner.isClassified()))
        {
          Timer timerClassify = timers.startTimer("classification");
View Full Code Here
415
416
417
418
419
420
421
422
423
424
425
        }

        aboxOntology = manager
            .loadOntologyFromPhysicalURI(aboxPhysicalURI);

        reasoner.loadOntologies(Collections.singleton(aboxOntology));

        // System.out.println("--->retrieving instances...");
        for (OWLClass cc : concepts)
        {
          Set<OWLIndividual> individuals = new HashSet<OWLIndividual>();
View Full Code Here
570
571
572
573
574
575
576
577
578
579
580
      System.exit(0);
    }

    // System.out.println("--->classifying...");
    reasoner = reasonerFactory.createReasoner(manager);
    reasoner.loadOntologies(Collections.singleton(tboxOntology));
    reasoner.loadOntologies(Collections.singleton(aboxOntology));
    timers.createTimer("classification");

    if (!reasoner.isClassified())
    {
View Full Code Here
571
572
573
574
575
576
577
578
579
580
581
    }

    // System.out.println("--->classifying...");
    reasoner = reasonerFactory.createReasoner(manager);
    reasoner.loadOntologies(Collections.singleton(tboxOntology));
    reasoner.loadOntologies(Collections.singleton(aboxOntology));
    timers.createTimer("classification");

    if (!reasoner.isClassified())
    {
      Timer timerClassify = timers.startTimer("classification");
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.