org.mindswap.pellet.tbox.impl
Class RuleAbsorber
java.lang.Object
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
|
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 |
log
public static final java.util.logging.Logger log
FACETS
public static final java.util.Map<aterm.ATermAppl,java.lang.String> FACETS
RuleAbsorber
public RuleAbsorber(TBoxExpImpl tbox)
absorbRule
public boolean absorbRule(java.util.Set<aterm.ATermAppl> set,
java.util.Set<aterm.ATermAppl> explanation)
Copyright © 2004 Evren Sirin. All Rights Reserved.