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

Packages that use DescriptionGraph

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.model
org.semanticweb.HermiT.structural

Uses of DescriptionGraph in org.semanticweb.HermiT

Constructor parameters in org.semanticweb.HermiT with type arguments of type DescriptionGraph

Constructor and Description
Reasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology rootOntology, 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

Methods in org.semanticweb.HermiT.model that return DescriptionGraph

Modifier and Type	Method and Description
DescriptionGraph	ExistsDescriptionGraph.getDescriptionGraph()

Methods in org.semanticweb.HermiT.model that return types with arguments of type DescriptionGraph

Modifier and Type	Method and Description
Set<DescriptionGraph>	DLOntology.getAllDescriptionGraphs()

Methods in org.semanticweb.HermiT.model with parameters of type DescriptionGraph

Modifier and Type	Method and Description
static ExistsDescriptionGraph	ExistsDescriptionGraph.create(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

Modifier and Type	Method and Description
DLOntology	OWLClausification.clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, Collection<DescriptionGraph> descriptionGraphs)
Object[]	OWLClausification.preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology, Collection<DescriptionGraph> descriptionGraphs)