org.semanticweb.HermiT.structural

Class OWLAxioms

java.lang.Object

org.semanticweb.HermiT.structural.OWLAxioms

public class OWLAxioms
extends Object

OWLAxioms.

Field Summary

Fields

Modifier and Type	Field and Description
Set<String>	m_definedDatatypesIRIs contains custom datatypes from DatatypeDefinition axioms

Constructor Summary

Constructors

Constructor and Description
OWLAxioms()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

m_definedDatatypesIRIs

public final Set<String> m_definedDatatypesIRIs

contains custom datatypes from DatatypeDefinition axioms

Constructor Detail

OWLAxioms

public OWLAxioms()