If set to true, then axioms that are to be added or removed are buffered and the addition and removal is only performed
when the flush() method of the reasoner is called.
Expands a full IRI from the abbreviated one, which is of one of the following forms:
'prefix:name', where 'prefix' is a registered prefix name (can be empty), or
'<iri>', where 'iri' is an IRI.
This extension table is for use with Description Graphs and it supports tuple
tables with arity greater than three, but are, as a result, less efficient.
The default value is false and HermiT will use a specialiased classification strategy for deterministic ontologies, which often is faster, but not always.
After calling constructConceptsForAnonymousIndividuals(), the method return a set of assertions that have to be entailed in order to satisfy the axioms that contain anonymous individuals.
After calling constructConceptsForAnonymousIndividuals(), the method return a set of subclass axioms that, when added to the premise ontology should result in an inconsistency for the entailment to hold.
Implements the merge rule and is used whenever the merge rule needs to be applied
during the expansion of the tableau object used in the constructor of the class.
RETURN_IN_ORDER is an option available to programs that were written
to expect options and other ARGV-elements in any order and that care about
the ordering of the two.
Stores a blocking object (PairwiseBlockingObject or SingleBlockingObject) for this node
that stores blocking relevant information of a node such as is label.
Removes the inverses from the given hierarchy and then converts Role hierarchy nodes to RoleElement hierarchy nodes, which can store
known and possible instances.
If set to true, then each disjunct of a disjunction is associated with a punish factor and whenever a disjunct causes
a clash, the punish factor is increased.