Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

de.fau.cs.www8.jadeowlcodec.aboxupdater
Interface TsReducer

All Known Implementing Classes:
AbsTsReducerImp, DefaultTsReducer, DummyTsReducerImplementation
public interface TsReducer

Method Summary
 boolean isRoleBackwardConflictable(KnowledgeBase kb, AbsRoleDescription role)
           
 boolean isRoleForwardConflictable(KnowledgeBase kb, AbsRoleDescription role)
           
 boolean isTripleObviousImplicationOfRest(KnowledgeBase kb, AbsTripleStore inTs, BitField inRemaining, int removed)
           
 

Method Detail

isTripleObviousImplicationOfRest

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

isRoleBackwardConflictable

boolean isRoleBackwardConflictable(KnowledgeBase kb,
                                   AbsRoleDescription role)

isRoleForwardConflictable

boolean isRoleForwardConflictable(KnowledgeBase kb,
                                  AbsRoleDescription role)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

Copyright 2007 Moritz Goeb, Bernhard Schiemann, Ulf Schreiber of Chair of Artificial Intelligence, University of Erlangen-Nuremberg