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