|
||||||||||
| 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 | |||||||||