Examples of SimpleConfiguration

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

35
36
37
38
39
40
41
    }

    @Override
    public OWLReasoner
            createNonBufferingReasoner(@Nonnull OWLOntology ontology) {
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }
View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

11
12
13
14
15
16
17
18
19
20
21
public class TrowlServer extends Server {

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

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

58
59
60
61
62
63
64
    public String getReasonerName() {
        return "Structural Reasoner";
    }

    public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) {
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }
View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

62
63
64
65
66
67
68
    public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) {
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }

    public OWLReasoner createReasoner(OWLOntology ontology) {
        return createReasoner(ontology, new SimpleConfiguration());
    }
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.