Uses of Class
org.semanticweb.HermiT.structural.OWLClausification.DataRangeConverter

Packages that use OWLClausification.DataRangeConverter
org.semanticweb.HermiT.structural   
 

Uses of OWLClausification.DataRangeConverter in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural declared as OWLClausification.DataRangeConverter
protected  OWLClausification.DataRangeConverter OWLClausification.NormalizedAxiomClausifier.m_dataRangeConverter
           
protected  OWLClausification.DataRangeConverter OWLClausification.NormalizedDataRangeAxiomClausifier.m_dataRangeConverter
           
protected  OWLClausification.DataRangeConverter OWLClausification.FactClausifier.m_dataRangeConverter
           
protected  OWLClausification.DataRangeConverter OWLClausification.NormalizedRuleClausifier.m_dataRangeConverter
           
 

Constructors in org.semanticweb.HermiT.structural with parameters of type OWLClausification.DataRangeConverter
OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts)
           
OWLClausification.NormalizedAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> dps2ranges)
           
OWLClausification.NormalizedDataRangeAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Set<java.lang.String> definedDatatypeIRIs)
           
OWLClausification.NormalizedRuleClausifier(java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts, java.util.Collection<DescriptionGraph> dGraphs, java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesUsedInAxioms, OWLClausification.DataRangeConverter dataRangeConverter)