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, Set<Atom> positiveFacts, Set<Atom> negativeFacts)
           
OWLClausification.NormalizedAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, Set<Atom> positiveFacts, org.semanticweb.owlapi.model.OWLDataFactory factory)
           
OWLClausification.NormalizedDataRangeAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, org.semanticweb.owlapi.model.OWLDataFactory factory, Set<String> definedDatatypeIRIs)
           
OWLClausification.NormalizedRuleClausifier(Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesOccurringInOWLAxioms, Collection<DescriptionGraph> descriptionGraphs, OWLClausification.DataRangeConverter dataRangeConverter, Set<DLClause> dlClauses)
           
 



Copyright © 2012. All Rights Reserved.