org.semanticweb.reasonerfactory.factpp
Class FaCTPlusPlusReasonerFactory

java.lang.Object
  org.semanticweb.reasonerfactory.factpp.FaCTPlusPlusReasonerFactory

All Implemented Interfaces:

OWLReasonerFactory

public class FaCTPlusPlusReasonerFactory
extends java.lang.Object
implements OWLReasonerFactory

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 08-Sep-2008

Constructor Summary

FaCTPlusPlusReasonerFactory()

Method Summary

OWLReasoner	createReasoner(OWLOntologyManager manager) Creates a reasoner that uses the specified manager.
java.lang.String	getReasonerName() Gets the name of the reasoner that is created by this factory.
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

FaCTPlusPlusReasonerFactory

public FaCTPlusPlusReasonerFactory()

Method Detail

getReasonerName

public java.lang.String getReasonerName()

Description copied from interface: OWLReasonerFactory

Gets the name of the reasoner that is created by this factory.

Specified by:

getReasonerName in interface OWLReasonerFactory

Returns:

A string that represents the name of the reasoner.

createReasoner

public OWLReasoner createReasoner(OWLOntologyManager manager)

Description copied from interface: OWLReasonerFactory

Creates a reasoner that uses the specified manager.

Specified by:

createReasoner in interface OWLReasonerFactory

Parameters:

manager - The manager to be used (may be used by the reasoner to obtain a data factory etc.)

Returns:

A new reasoner.

main

public static void main(java.lang.String[] args)