Examples of org.semanticweb.owlapi.reasoner.SimpleConfiguration

org.semanticweb.owlapi.reasoner.SimpleConfiguration
A simple configuration with the general options. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

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

    public String getReasonerName() {
        return "Structural Reasoner";
    }


    public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) {
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }

View Full Code Here

    public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) {
        return createNonBufferingReasoner(ontology, new SimpleConfiguration());
    }


    public OWLReasoner createReasoner(OWLOntology ontology) {
        return createReasoner(ontology, new SimpleConfiguration());
    }

View Full Code Here


  private final EntityMapper<OWLClass>        CLASS_MAPPER  = new ClassMapper();


  
  public PelletReasoner(OWLOntology ontology, BufferingMode bufferingMode) {
    this( ontology, new SimpleConfiguration( new NullReasonerProgressMonitor(),
        org.mindswap.pellet.PelletOptions.SILENT_UNDEFINED_ENTITY_HANDLING
          ? FreshEntityPolicy.ALLOW
          : FreshEntityPolicy.DISALLOW, 0, IndividualNodeSetPolicy.BY_SAME_AS ), bufferingMode );
  }

View Full Code Here

        OWL.differentFrom( b, c ),
        OWL.differentFrom( a, c )
    };
    
    OWLOntology ont = OWL.Ontology( axioms );
    OWLReasonerConfiguration config = new SimpleConfiguration( new NullReasonerProgressMonitor(), FreshEntityPolicy.ALLOW, Long.MAX_VALUE, p );
    PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont, config );
    
    return pellet;
  }

View Full Code Here

0 1

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

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.