uk.ac.manchester.cs.jfact.kernel

Class NominalReasoner

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.DlSatTester

uk.ac.manchester.cs.jfact.kernel.NominalReasoner

@PortedFrom(file="ReasonerNom.h",
            name="NominalReasoner")
public class NominalReasoner
extends DlSatTester

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Individual>	nominals all nominals defined in TBox

Fields inherited from class uk.ac.manchester.cs.jfact.kernel.DlSatTester

bContext, cGraph, curNode, datatypeFactory, dlHeap, nonDetShift, options, stack, tBox

Constructor Summary

Constructors

Constructor and Description
NominalReasoner(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	consistentNominalCloud() check whether ontology with nominals is consistent
boolean	hasNominals() there are nominals
protected boolean	initNominalNode(Individual nom) init single nominal node
protected boolean	isNNApplicable(Role r, int C, int stopper)
protected void	prepareReasoner() prerpare Nominal Reasoner to a new job
protected void	registerNominalCache(Individual p) create cache entry for given singleton
protected void	updateClassifiedSingleton(Individual p) use classification information for the nominal P

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.DlSatTester

applicable, buildCacheByCGraph, checkDisjointRoleClash, checkDisjointRoles, checkIrreflexivity, createBCTopLE, createCache, createModelCache, findConcept, getDAG, getOptions, getRootNode, initBC, initNewNode, initToDoPriorities, noBranchingOps, printReasoningTime, repeatUnblockedNode, resetSessionFlags, restore, runSat, runSat, save, setBlockingMethod, setupEdge, writeTotalStatistic

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

nominals

@PortedFrom(file="ReasonerNom.h",
            name="Nominals")
protected List<Individual> nominals

all nominals defined in TBox

Constructor Detail

NominalReasoner

public NominalReasoner(TBox tbox,
               JFactReasonerConfiguration Options,
               DatatypeFactory datatypeFactory)

Method Detail

hasNominals

@PortedFrom(file="ReasonerNom.h",
            name="hasNominals")
public boolean hasNominals()

there are nominals

Overrides:

hasNominals in class DlSatTester

registerNominalCache

@PortedFrom(file="ReasonerNom.h",
            name="registerNominalCache")
protected void registerNominalCache(Individual p)

create cache entry for given singleton

initNominalNode

@PortedFrom(file="ReasonerNom.h",
            name="initNominalNode")
protected boolean initNominalNode(Individual nom)

init single nominal node

updateClassifiedSingleton

@PortedFrom(file="ReasonerNom.h",
            name="updateClassifiedSingleton")
protected void updateClassifiedSingleton(Individual p)

use classification information for the nominal P

prepareReasoner

@PortedFrom(file="ReasonerNom.h",
            name="prepareReasoner")
protected void prepareReasoner()

prerpare Nominal Reasoner to a new job

Overrides:

prepareReasoner in class DlSatTester

consistentNominalCloud

@PortedFrom(file="ReasonerNom.h",
            name="consistentNominalCloud")
public boolean consistentNominalCloud()

check whether ontology with nominals is consistent

isNNApplicable

@PortedFrom(file="Reasoner.h",
            name="isNNApplicable")
protected boolean isNNApplicable(Role r,
                                        int C,
                                        int stopper)

Overrides:

isNNApplicable in class DlSatTester