Uses of Class
org.semanticweb.HermiT.model.DescriptionGraph

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