com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of pellet-owlapiv3 Show documentation
There is a newer version: 2.3.6-ansell
// Copyright (c) 2006 - 2008, Clark & Parsia, LLC. 
// This source code is available under the terms of the Affero General Public
// License v3.
//
// Please see LICENSE.txt for full license terms, including the availability of
// proprietary exceptions.
// Questions, comments, or requests for clarification: [email protected]

package com.clarkparsia.pellet.owlapiv3;

import java.util.Collections;
import java.util.Set;

import org.kohsuke.MetaInfServices;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.profiles.OWLProfile;
import org.semanticweb.owlapi.profiles.OWLProfileRegistry;
import org.semanticweb.owlapi.reasoner.BufferingMode;
import org.semanticweb.owlapi.reasoner.IllegalConfigurationException;
import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;

/**
 * 
 * Title:
 * 
 * 
 * Description:
 * 
 * 
 * Copyright: Copyright (c) 2007
 * 
 * 
 * Company: Clark & Parsia, LLC. 
 * 
 * 
 * @author Evren Sirin
 */
@MetaInfServices(org.semanticweb.owlapi.reasoner.OWLReasonerFactory.class)
public class PelletReasonerFactory implements OWLReasonerFactory {
	private static final PelletReasonerFactory INSTANCE = new PelletReasonerFactory();
	
	/**
	 * Returns a static factory instance that can be used to create reasoners.
	 * 
	 * @return a static factory instance 
	 */
	public static PelletReasonerFactory getInstance() {
		return INSTANCE;
	}

	
	/**
	 * {@inheritDoc}
	 */
	@Override
	public String getReasonerName() {
		return "Pellet";
	}

    @Override
	public String toString() {
		return getReasonerName();
	}

	/**
	 * {@inheritDoc}
	 */
    @Override
	public PelletReasoner createReasoner(OWLOntology ontology) {
		return new PelletReasoner( ontology, BufferingMode.BUFFERING );
	}

	/**
	 * {@inheritDoc}
	 */
    @Override
	public PelletReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
			throws IllegalConfigurationException {
		return new PelletReasoner( ontology, config, BufferingMode.BUFFERING );
	}

	/**
	 * {@inheritDoc}
	 */
    @Override
	public PelletReasoner createNonBufferingReasoner(OWLOntology ontology) {
		return new PelletReasoner( ontology, BufferingMode.NON_BUFFERING );
	}

	/**
	 * {@inheritDoc}
	 */
    @Override
	public PelletReasoner createNonBufferingReasoner(OWLOntology ontology,
			OWLReasonerConfiguration config) throws IllegalConfigurationException {
		return new PelletReasoner( ontology, config, BufferingMode.NON_BUFFERING );
	}


    @Override
    public Set getSupportedProfiles() {
        return Collections.singleton(OWLProfileRegistry.getInstance().getProfile(OWLProfile.OWL2_DL));
    }
}