org.semanticweb.owlapi.formats

Class LatexDocumentFormat

java.lang.Object

org.semanticweb.owlapi.model.OWLDocumentFormatImpl

org.semanticweb.owlapi.formats.LatexDocumentFormat

All Implemented Interfaces:

Serializable, OWLDocumentFormat

Direct Known Subclasses:

LatexOntologyFormat

public class LatexDocumentFormat
extends OWLDocumentFormatImpl

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LatexDocumentFormat()

Method Summary

Modifier and Type	Method and Description
PrefixDocumentFormat	asPrefixOWLOntologyFormat() If this format is an instance of PrefixDocumentFormat then this method will obtain it as a PrefixDocumentFormat.
String	getKey()
boolean	isPrefixOWLOntologyFormat() Determines if this format is an instance of a format that uses prefixes to shorted IRIs.

Methods inherited from class org.semanticweb.owlapi.model.OWLDocumentFormatImpl

determineIllegalPunnings, equals, getOntologyLoaderMetaData, getParameter, hashCode, isAddMissingTypes, isMissingType, isTextual, setAddMissingTypes, setOntologyLoaderMetaData, setParameter, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLDocumentFormat

supportsRelativeIRIs

Constructor Detail

LatexDocumentFormat

public LatexDocumentFormat()

Method Detail

getKey

@Nonnull
public String getKey()

Returns:

A unique key for this format.

isPrefixOWLOntologyFormat

public boolean isPrefixOWLOntologyFormat()

Description copied from interface: OWLDocumentFormat

Determines if this format is an instance of a format that uses prefixes to shorted IRIs.

Returns:

true if this format is an instance of PrefixDocumentFormat other wise false.

asPrefixOWLOntologyFormat

public PrefixDocumentFormat asPrefixOWLOntologyFormat()

Description copied from interface: OWLDocumentFormat

If this format is an instance of PrefixDocumentFormat then this method will obtain it as a PrefixDocumentFormat.

Returns:

This format as a more specific PrefixDocumentFormat.