de.fau.cs.www8.jadeowlcodec.aboxupdater
Class AbsTsReducerImp

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.aboxupdater.AbsTsReducerImp

All Implemented Interfaces:

TsReducer

Direct Known Subclasses:

DefaultTsReducer, DummyTsReducerImplementation

public abstract class AbsTsReducerImp
extends java.lang.Object
implements TsReducer

Nested Class Summary

protected static class

AbsTsReducerImp.Buffering

Constructor Summary

AbsTsReducerImp()

Method Summary

protected boolean	checkConceptImplication(Triple t, AbsTripleStore tsRest, NormalizedImplications implications, AbsClassDescription descriptionOfImplication, AbsTsReducerImp.Buffering buffer)
boolean	isRoleBackwardConflictable(KnowledgeBase kb, AbsRoleDescription role)
boolean	isRoleForwardConflictable(KnowledgeBase kb, AbsRoleDescription role)
boolean	isTripleObviousImplicationOfRest(KnowledgeBase kb, AbsTripleStore inTs, BitField inRemaining, int removed)
protected boolean	tripleConceptCheck(AbsClassDescription concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer)
protected abstract boolean	tripleConceptCheck(AbsRoleCardinality concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(ExistsRoleConcept concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(Intersection concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(InverseConcept concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(NamedConcept concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(Nominal concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(OnlyRoleConcept concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable
protected abstract boolean	tripleConceptCheck(Union concDesc, Triple t, AbsTripleStore tsRest, AbsTsReducerImp.Buffering buffer) override in actual implementation to return true where applicable

Methods inherited from class java.lang.Object

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

Constructor Detail

AbsTsReducerImp

public AbsTsReducerImp()

Method Detail

isTripleObviousImplicationOfRest

public boolean isTripleObviousImplicationOfRest(KnowledgeBase kb,
                                                AbsTripleStore inTs,
                                                BitField inRemaining,
                                                int removed)

Specified by:

isTripleObviousImplicationOfRest in interface TsReducer

Parameters:

inTs - a AbsTripleStore

kb - a KnowledgeBase

inRemaining - a BitField

removed - of type integer

Returns:

boolean if the Triple inTs an obvious implication of already existing triples in the kb

checkConceptImplication

protected boolean checkConceptImplication(Triple t,
                                          AbsTripleStore tsRest,
                                          NormalizedImplications implications,
                                          AbsClassDescription descriptionOfImplication,
                                          AbsTsReducerImp.Buffering buffer)

Parameters:

t - a Triple

tsRest - a AbsTripleStore

implications - a NormalizedImplications

descriptionOfImplication - a AbsClassDescription

Returns:

boolean if an implication of a given concept is present

tripleConceptCheck

protected boolean tripleConceptCheck(AbsClassDescription concDesc,
                                     Triple t,
                                     AbsTripleStore tsRest,
                                     AbsTsReducerImp.Buffering buffer)

tripleConceptCheck

protected abstract boolean tripleConceptCheck(NamedConcept concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(Intersection concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(Union concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(InverseConcept concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(Nominal concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(ExistsRoleConcept concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(OnlyRoleConcept concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

tripleConceptCheck

protected abstract boolean tripleConceptCheck(AbsRoleCardinality concDesc,
                                              Triple t,
                                              AbsTripleStore tsRest,
                                              AbsTsReducerImp.Buffering buffer)

override in actual implementation to return true where applicable

isRoleBackwardConflictable

public final boolean isRoleBackwardConflictable(KnowledgeBase kb,
                                                AbsRoleDescription role)

Specified by:

isRoleBackwardConflictable in interface TsReducer

isRoleForwardConflictable

public final boolean isRoleForwardConflictable(KnowledgeBase kb,
                                               AbsRoleDescription role)

Specified by:

isRoleForwardConflictable in interface TsReducer