Package org.semanticweb.owlapi.reasoner

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

422
423
424
425
426
427
428
429
430
431
432
        OWLOntology o = loadPizzaOntology(m);
        // Create a console progress monitor. This will print the reasoner
        // progress out to the console.
        ReasonerProgressMonitor progressMonitor = new LoggingReasonerProgressMonitor(
                LOG, "testUnsatisfiableClasses");
        OWLReasonerConfiguration config = new SimpleConfiguration(
                progressMonitor);
        // Create a reasoner that will reason over our ontology and its imports
        // closure. Pass in the configuration.
        // not using it in tests, we don't need the output
        // OWLReasoner reasoner = reasonerFactory.createReasoner(o, config);
View Full Code Here
454
455
456
457
458
459
460
461
462
463
464
        OWLOntology o = loadPizzaOntology(m);
        // Create a console progress monitor. This will print the reasoner
        // progress out to the console.
        ReasonerProgressMonitor progressMonitor = new LoggingReasonerProgressMonitor(
                LOG, "testDescendants");
        OWLReasonerConfiguration config = new SimpleConfiguration(
                progressMonitor);
        // Create a reasoner that will reason over our ontology and its imports
        // closure. Pass in the configuration.
        // not using it in tests, we don't need the output
        // OWLReasoner reasoner = reasonerFactory.createReasoner(o, config);
View Full Code Here
486
487
488
489
490
491
492
493
494
495
496
        OWLOntology o = loadPizzaOntology(m);
        // Create a console progress monitor. This will print the reasoner
        // progress out to the console.
        ReasonerProgressMonitor progressMonitor = new LoggingReasonerProgressMonitor(
                LOG, "testPetInstances");
        OWLReasonerConfiguration config = new SimpleConfiguration(
                progressMonitor);
        // Create a reasoner that will reason over our ontology and its imports
        // closure. Pass in the configuration.
        // not using it in tests, we don't need the output
        // OWLReasoner reasoner = reasonerFactory.createReasoner(o, config);
View Full Code Here
43
44
45
46
47
48
49
50
51
52
    public void testRecusion() throws OWLOntologyCreationException {
        OWLOntology ontology = createOntology();
        String ontName = ontology.getOntologyID().getOntologyIRI().get()
                .toString();
        StructuralReasoner reasoner = new StructuralReasoner(ontology,
                new SimpleConfiguration(), BufferingMode.BUFFERING);
        OWLClass cls = Class(IRI(ontName + "#Koala"));
        reasoner.getSubClasses(cls, false);
        reasoner.getSuperClasses(cls, false);
    }
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
        OWLOntologyManager man = ont.getOWLOntologyManager();
        man.addAxiom(ont, EquivalentClasses(OWLThing(), clsX));
        man.addAxiom(ont, SubClassOf(clsB, clsA));
        man.addAxiom(ont, EquivalentClasses(clsA, clsAp));
        StructuralReasoner reasoner = new StructuralReasoner(ont,
                new SimpleConfiguration(), BufferingMode.NON_BUFFERING);
        testClassHierarchy(reasoner);
        man.addAxiom(ont, SubClassOf(clsA, OWLThing()));
        testClassHierarchy(reasoner);
        man.removeAxiom(ont, SubClassOf(clsA, OWLThing()));
        testClassHierarchy(reasoner);
View Full Code Here
35
36
37
38
39
40
41
    }

    @Override
    public OWLReasoner
            createNonBufferingReasoner(@Nonnull OWLOntology ontology) {
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }
View Full Code Here
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
        // classes. Ideally, it should be done using a DL reasoner, in order to
        // take inferred subclass relations into account. We are using the
        // structural reasoner of the OWL API for simplicity.
        Set<OWLEntity> seedSig = new HashSet<OWLEntity>();
        OWLReasoner reasoner = new StructuralReasoner(ont,
                new SimpleConfiguration(), BufferingMode.NON_BUFFERING);
        for (OWLEntity ent : sig) {
            seedSig.add(ent);
            if (OWLClass.class.isAssignableFrom(ent.getClass())) {
                NodeSet<OWLClass> subClasses = reasoner.getSubClasses(
                        (OWLClass) ent, false);
View Full Code Here
40
41
42
43
44
45
46
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }

    @Override
    public OWLReasoner createReasoner(@Nonnull OWLOntology ontology) {
        return createReasoner(ontology, new SimpleConfiguration());
    }
View Full Code Here
15
16
17
18
19
20
21
22
23
  public Pellet(){
    factory = PelletReasonerFactory.getInstance();
  }
 
  public OWLReasoner getReasoner(OWLOntology ontology){
    OWLReasonerConfiguration config = new SimpleConfiguration(ReasonerPara.TIMEOUT);
    PelletReasoner reasoner = factory.createReasoner(ontology, config);
    return reasoner;
  }
View Full Code Here
9
10
11
12
13
14
15
16
17
18
19
public class CelServer extends Server {

  @Override
  public void initialServer(int index) {
    OWLReasonerFactory factory = (OWLReasonerFactory) new CelReasonerFacotry();
    OWLReasonerConfiguration reasonerConfiguration = new SimpleConfiguration();
    AbstractOWLlinkReasonerConfiguration serverConfiguration =
      new AbstractOWLlinkReasonerConfiguration(reasonerConfiguration);
    int port = ServerParams.getPort(index);
    server = new OWLlinkHTTPXMLServer(factory, serverConfiguration, port);
  }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.reasoner.SimpleConfiguration

  • com.clarkparsia.pellet.owlapiv3.PelletReasoner
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • org.herakles.ml.selection.trainingData.reasonerTest.server.CelServer
  • org.herakles.ml.selection.trainingData.reasonerTest.server.TrowlServer
  • org.herakles.ml.selection.trainingData.reasonerTest.test.noOwllink.reasoners.Pellet
  • org.semanticweb.owlapi.api.test.reasoners.StructuralReasonerRecursionTestCase
  • org.semanticweb.owlapi.api.test.reasoners.StructuralReasonerTestCase
  • org.semanticweb.owlapi.examples.Examples
  • org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory
  • uk.ac.manchester.owl.owlapi.tutorialowled2011.TutorialSnippetsTestCase
    • 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.