If set to true 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.
Takes the set of roles that are for use in Description Graphs and detects whether clause contains no roles,
only roles from the given set, only roles not from the given set or both types of roles.
Tests whether the clause conforms to the properties of HT clauses, i.e., the variables can be split into a center variable x,
a set of branch variables y_i, and a set of nominal variables z_j such that certain conditions 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.
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.