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

All Implemented Interfaces:

Serializable

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

nominal reasoner

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NominalReasoner(TBox tbox, JFactReasonerConfiguration options)

Method Summary

Modifier and Type	Method and Description
boolean	checkExtraCond()
boolean	consistentNominalCloud()
boolean	hasNominals() there are nominals

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

buildCacheByCGraph, checkDisjointRoles, checkIrreflexivity, createBCTopLE, createCache, findConcept, getDAG, getOptions, getRootNode, initToDoPriorities, printReasoningTime, repeatUnblockedNode, runSat, setBlockingMethod, setupEdge, writeTotalStatistic

Methods inherited from class java.lang.Object

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

Constructor Detail

NominalReasoner

public NominalReasoner(TBox tbox,
                       JFactReasonerConfiguration options)

Parameters:

tbox - tbox

options - Options

Method Detail

hasNominals

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

there are nominals

Overrides:

hasNominals in class DlSatTester

Returns:

check whether reasoning with nominals is performed

consistentNominalCloud

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

Returns:

check whether ontology with nominals is consistent

checkExtraCond

@PortedFrom(file="ConjunctiveQueryFolding.cpp",
            name="checkExtraCond")
public boolean checkExtraCond()

Returns:

true if unsatisfiable