org.mindswap.pellet.tbox.impl
Class RuleAbsorber

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.RuleAbsorber

public class RuleAbsorber
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.Map<aterm.ATermAppl,java.lang.String> FACETS
           
static java.util.logging.Logger log
           
 
Constructor Summary
RuleAbsorber(TBoxExpImpl tbox)
           
 
Method Summary
 boolean absorbRule(java.util.Set<aterm.ATermAppl> set, java.util.Set<aterm.ATermAppl> explanation)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static final java.util.logging.Logger log

FACETS

public static final java.util.Map<aterm.ATermAppl,java.lang.String> FACETS
Constructor Detail

RuleAbsorber

public RuleAbsorber(TBoxExpImpl tbox)
Method Detail

absorbRule

public boolean absorbRule(java.util.Set<aterm.ATermAppl> set,
                          java.util.Set<aterm.ATermAppl> explanation)


Copyright © 2004 Evren Sirin. All Rights Reserved.