|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DescriptionGraph | |
---|---|
org.semanticweb.HermiT | |
org.semanticweb.HermiT.model | |
org.semanticweb.HermiT.structural | |
org.semanticweb.HermiT.tableau |
Uses of DescriptionGraph in org.semanticweb.HermiT |
---|
Fields in org.semanticweb.HermiT with type parameters of type DescriptionGraph | |
---|---|
protected java.util.Collection<DescriptionGraph> |
Reasoner.m_descriptionGraphs
|
Constructor parameters in org.semanticweb.HermiT with type arguments of type DescriptionGraph | |
---|---|
Reasoner(Configuration configuration,
org.semanticweb.owlapi.model.OWLOntology rootOntology,
java.util.Collection<DescriptionGraph> descriptionGraphs)
Creates a new reasoner object loaded with the given ontology and the given description graphs. |
Uses of DescriptionGraph in org.semanticweb.HermiT.model |
---|
Fields in org.semanticweb.HermiT.model declared as DescriptionGraph | |
---|---|
protected DescriptionGraph |
ExistsDescriptionGraph.m_descriptionGraph
|
Fields in org.semanticweb.HermiT.model with type parameters of type DescriptionGraph | |
---|---|
protected java.util.Set<DescriptionGraph> |
DLOntology.m_allDescriptionGraphs
|
Methods in org.semanticweb.HermiT.model that return DescriptionGraph | |
---|---|
DescriptionGraph |
ExistsDescriptionGraph.getDescriptionGraph()
|
Methods in org.semanticweb.HermiT.model that return types with arguments of type DescriptionGraph | |
---|---|
java.util.Set<DescriptionGraph> |
DLOntology.getAllDescriptionGraphs()
|
Methods in org.semanticweb.HermiT.model with parameters of type DescriptionGraph | |
---|---|
static ExistsDescriptionGraph |
ExistsDescriptionGraph.create(DescriptionGraph descriptionGraph,
int vertex)
|
Constructors in org.semanticweb.HermiT.model with parameters of type DescriptionGraph | |
---|---|
ExistsDescriptionGraph(DescriptionGraph descriptionGraph,
int vertex)
|
Uses of DescriptionGraph in org.semanticweb.HermiT.structural |
---|
Method parameters in org.semanticweb.HermiT.structural with type arguments of type DescriptionGraph | |
---|---|
DLOntology |
OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory,
java.lang.String ontologyIRI,
OWLAxioms axioms,
OWLAxiomsExpressivity axiomsExpressivity,
java.util.Collection<DescriptionGraph> descriptionGraphs)
|
java.lang.Object[] |
OWLClausification.preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology,
java.util.Collection<DescriptionGraph> descriptionGraphs)
|
Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type DescriptionGraph | |
---|---|
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)
|
Uses of DescriptionGraph in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as DescriptionGraph | |
---|---|
protected DescriptionGraph[] |
DescriptionGraphManager.m_descriptionGraphsByIndex
|
Fields in org.semanticweb.HermiT.tableau with type parameters of type DescriptionGraph | |
---|---|
protected java.util.Map<DescriptionGraph,java.lang.Integer> |
DescriptionGraphManager.m_descriptionGraphIndices
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |