org.semanticweb.HermiT.structural
Class OWLClausification.DataRangeConverter
java.lang.Object
org.semanticweb.HermiT.structural.OWLClausification.DataRangeConverter
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
- Enclosing class:
- OWLClausification
protected static class OWLClausification.DataRangeConverter
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
Method Summary |
LiteralDataRange |
convertDataRange(org.semanticweb.owlapi.model.OWLDataRange dataRange)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLDataComplementOf object)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLDataOneOf object)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLDatatype object)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction object)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLFacetRestriction object)
|
java.lang.Object |
visit(org.semanticweb.owlapi.model.OWLLiteral object)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_warningMonitor
protected final Configuration.WarningMonitor m_warningMonitor
m_ignoreUnsupportedDatatypes
protected final boolean m_ignoreUnsupportedDatatypes
m_definedDatatypeIRIs
protected final java.util.Set<java.lang.String> m_definedDatatypeIRIs
m_allUnknownDatatypeRestrictions
protected final java.util.Set<DatatypeRestriction> m_allUnknownDatatypeRestrictions
OWLClausification.DataRangeConverter
public OWLClausification.DataRangeConverter(Configuration.WarningMonitor warningMonitor,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
boolean ignoreUnsupportedDatatypes)
convertDataRange
public LiteralDataRange convertDataRange(org.semanticweb.owlapi.model.OWLDataRange dataRange)
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLDatatype object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLDataComplementOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLDataOneOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLFacetRestriction object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLLiteral object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>
visit
public java.lang.Object visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<java.lang.Object>