|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |