Examples of ReasonerFactory

com.hp.hpl.jena.reasoner.ReasonerFactory
The interface through which a reasoner (inference engine) can be instantiated. Instances of this are registered with the global ReasonerRegistry.
eu.trowl.owl.api3.ReasonerFactory
Answers queries about the logical implications of a particular knowledge base. A Reasoner is associated with a single knowledge base, which is "loaded" when the reasoner is constructed. By default a full classification of all atomic terms in the knowledge base is also performed at this time (which can take quite a while for large or complex ontologies), but this behavior can be disabled as a part of the Reasoner configuration. Internal details of the loading and reasoning algorithms can be configured in the Reasoner constructor and do not change over the lifetime of the Reasoner object---internal data structures and caches are optimized for a particular configuration. By default, HermiT will use the set of options which provide optimal performance.
tud.gamecontroller.game.javaprover.ReasonerFactory

Examples of com.hp.hpl.jena.reasoner.ReasonerFactory

            ;
        }


    private boolean sameReasonerFactory( OntModelSpec other )
        {
        ReasonerFactory rf = getReasonerFactory();
        ReasonerFactory orf = other.getReasonerFactory();
        return rf == null ? orf == null : rf.equals( orf );
        }

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.ReasonerFactory

            ;
        }


    private boolean sameReasonerFactory( OntModelSpec other )
        {
        ReasonerFactory rf = getReasonerFactory();
        ReasonerFactory orf = other.getReasonerFactory();
        return rf == null ? orf == null : rf.equals( orf );
        }

View Full Code Here

Examples of com.hp.hpl.jena.reasoner.ReasonerFactory

    public Object open( Assembler a, Resource root, Mode irrelevant )
        {
        checkType( root, JA.OntModelSpec );
        OntModelSpec spec = new OntModelSpec( getDefault( root ) );
        OntDocumentManager dm = getDocumentManager( a, root );
        ReasonerFactory rf = getReasonerFactory( a, root );
        String lang = getLanguage( a, root );
        ModelGetter source = getModelSource( a, root );
        if (dm != null) spec.setDocumentManager( dm );
        if (rf != null) spec.setReasonerFactory( rf );
        if (lang != null) spec.setLanguage( lang );

View Full Code Here

Examples of eu.trowl.owl.api3.ReasonerFactory


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 tud.gamecontroller.game.javaprover.ReasonerFactory

import tud.gamecontroller.game.javaprover.ReasonerFactory;


public class GameControllerGuiRunnerFactory {


  public static AbstractGameControllerGuiRunner<?, ?> createGameControllerGuiRunner(File gameFile){
    return new tud.gamecontroller.game.javaprover.GameControllerGuiRunner(gameFile, new ReasonerFactory());
  }

View Full Code Here

Examples of tud.gamecontroller.game.javaprover.ReasonerFactory


public class RetraceGameControllerRunner {


  public static void retrace(File inputFile, File outputFile, File gameFile, GDLVersion gdlVersion) throws IOException, SAXException {
    /* create game */
    GameInterface<Term, State<Term, GameState>> game = new Game<Term, GameState>(gameFile, new ReasonerFactory(), gdlVersion);
    
    /* create players */
    Map<RoleInterface<Term>, Player<Term, State<Term, GameState>>> players = new HashMap<RoleInterface<Term>, Player<Term, State<Term, GameState>>>();
    MatchTrace trace = new MatchTraceReader().read(inputFile);

View Full Code Here

Examples of tud.gamecontroller.game.javaprover.ReasonerFactory

{
    private GameInformation game_information;
    
    public static GameInformation createGameInfo(String filename) throws IOException
    {
        Game<Term, GameState> game = new Game<Term, GameState>(new File(filename), new ReasonerFactory(), GDLVersion.v1);
        String game_desc = "("+game.getKIFGameDescription()+")";
        GdlList list = (GdlList)GameManager.getParser().parse(game_desc).getElement(0);
        return new MetaGdl(GameManager.getParser()).examineGdl(list);
    }

View Full Code Here

TOP

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.