org.mindswap.pellet.owlapi
Class PelletReasonerFactory

java.lang.Object
  org.mindswap.pellet.owlapi.PelletReasonerFactory

All Implemented Interfaces:

org.semanticweb.owl.inference.OWLReasonerFactory

public class PelletReasonerFactory
extends java.lang.Object
implements org.semanticweb.owl.inference.OWLReasonerFactory

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

PelletReasonerFactory()

Method Summary

Reasoner	createReasoner(org.semanticweb.owl.model.OWLOntologyManager manager)
java.lang.String	getReasonerName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PelletReasonerFactory

public PelletReasonerFactory()

Method Detail

createReasoner

public Reasoner createReasoner(org.semanticweb.owl.model.OWLOntologyManager manager)

Specified by:

createReasoner in interface org.semanticweb.owl.inference.OWLReasonerFactory

getReasonerName

public java.lang.String getReasonerName()

Specified by:

getReasonerName in interface org.semanticweb.owl.inference.OWLReasonerFactory

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object