conexp.fx.core.util

Class OWLUtil

java.lang.Object

conexp.fx.core.util.OWLUtil

public class OWLUtil
extends Object

Constructor Summary

Constructors

Constructor and Description
OWLUtil()

Method Summary

Modifier and Type	Method and Description
static void	exportLaTeXContext(MatrixContext<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClassExpression> context, File outputFile)
static String	toLaTeX(org.semanticweb.owlapi.model.OWLClassExpression clazz)
static MatrixContext<String,String>	toLaTeXContext(MatrixContext<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClassExpression> context)
static String	toString(org.semanticweb.owlapi.model.OWLAxiom axiom)
static String	toString(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
static String	toString(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLUtil

public OWLUtil()

Method Detail

toString

public static final String toString(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

toString

public static final String toString(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

toString

public static final String toString(org.semanticweb.owlapi.model.OWLAxiom axiom)

toLaTeX

public static final String toLaTeX(org.semanticweb.owlapi.model.OWLClassExpression clazz)

toLaTeXContext

public static final MatrixContext<String,String> toLaTeXContext(MatrixContext<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClassExpression> context)

exportLaTeXContext

public static final void exportLaTeXContext(MatrixContext<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClassExpression> context,
                                            File outputFile)