com.clarkparsia.pellet.owlapiv3

Class AxiomConverter

java.lang.Object

com.clarkparsia.pellet.owlapiv3.AxiomConverter

public class AxiomConverter
extends Object

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	log

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLAxiom	convert(aterm.ATermAppl term)

Methods inherited from class java.lang.Object

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

Field Detail

log

public static Logger log

Constructor Detail

AxiomConverter

public AxiomConverter(PelletReasoner reasoner)

AxiomConverter

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

Method Detail

convert

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