uk.ac.manchester.cs.jfact.datatypes

Class DataTypeReasoner

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner

All Implemented Interfaces:

Serializable

@PortedFrom(file="DataReasoning.h",
            name="DataTypeReasoner")
public final class DataTypeReasoner
extends Object
implements Serializable

Author:

ignazio Datatype reasoner implementation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DataTypeReasoner(JFactReasonerConfiguration config)

Method Summary

Modifier and Type	Method and Description
boolean	addDataEntry(boolean positive, DagTag dagtag, NamedEntry entry, DepSet dep)
boolean	checkClash()
DepSet	getClashSet() get clash-set
void	reportClash(DepSet dep, DatatypeClashes reason) set clash dep-set to DEP, report with given REASON
void	reportClash(DepSet dep1, DepSet dep2, DatatypeClashes reason) set clash dep-set to DEP, report with given REASON

Methods inherited from class java.lang.Object

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

Constructor Detail

DataTypeReasoner

public DataTypeReasoner(JFactReasonerConfiguration config)

Parameters:

config - config

Method Detail

reportClash

@PortedFrom(file="DataReasoning.h",
            name="reportClash")
public void reportClash(DepSet dep,
                                                                                            DatatypeClashes reason)

set clash dep-set to DEP, report with given REASON

Parameters:

dep - dep

reason - reason

reportClash

@PortedFrom(file="DataReasoning.h",
            name="reportClash")
public void reportClash(DepSet dep1,
                                                                                            DepSet dep2,
                                                                                            DatatypeClashes reason)

set clash dep-set to DEP, report with given REASON

Parameters:

dep1 - dep1

dep2 - dep2

reason - reason

getClashSet

@Nullable
 @PortedFrom(file="DataReasoning.h",
            name="getClashSet")
public DepSet getClashSet()

get clash-set

Returns:

clash set

addDataEntry

@PortedFrom(file="DataReasoning.h",
            name="addDataEntry")
public boolean addDataEntry(boolean positive,
                                                                                                 DagTag dagtag,
                                                                                                 NamedEntry entry,
                                                                                                 DepSet dep)

Parameters:

positive - positive

dagtag - type

entry - entry

dep - dep

Returns:

false if datatype, true otherwise

checkClash

@PortedFrom(file="DataReasoning.h",
            name="checkClash")
public boolean checkClash()

Returns:

true if clash