openllet.owlapi

Class AxiomConverter

java.lang.Object

openllet.owlapi.AxiomConverter

All Implemented Interfaces:

FacetFactoryOWL

public class AxiomConverter
extends Object
implements FacetFactoryOWL

Title: AxiomConverter

Description: Converts axioms expressed as ATerms to OWL-API structures.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	_logger

Constructor Summary

Constructors

Constructor and Description
AxiomConverter(KnowledgeBase kb, org.semanticweb.owlapi.model.OWLDataFactory factory)
AxiomConverter(OpenlletReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLAxiom	convert(openllet.aterm.ATermAppl termParam)
org.semanticweb.owlapi.model.OWLDataFactory	getFactory()

Methods inherited from class java.lang.Object

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

Field Detail

_logger

public static final Logger _logger

Constructor Detail

AxiomConverter

public AxiomConverter(OpenlletReasoner reasoner)

AxiomConverter

public AxiomConverter(KnowledgeBase kb,
                      org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Detail

getFactory

public org.semanticweb.owlapi.model.OWLDataFactory getFactory()

Specified by:

getFactory in interface FacetFactoryOWL

Returns:

a factory that can build object for this ontlogy.

convert

public org.semanticweb.owlapi.model.OWLAxiom convert(openllet.aterm.ATermAppl termParam)