org.mindswap.pellet.tbox.impl

Class RuleAbsorber

java.lang.Object

org.mindswap.pellet.tbox.impl.RuleAbsorber

public class RuleAbsorber
extends Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Map<aterm.ATermAppl,String>	FACETS
static Logger	log

Constructor Summary

Constructors

Constructor and Description
RuleAbsorber(TBoxExpImpl tbox)

Method Summary

Modifier and Type	Method and Description
boolean	absorbRule(Set<aterm.ATermAppl> set, Set<aterm.ATermAppl> explanation)
protected int	processClass(AtomIObject var, aterm.ATermAppl c, List<RuleAtom> atoms, int varCount)
protected void	processDatatype(AtomDObject var, aterm.ATermAppl c, List<RuleAtom> atoms)

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

FACETS

public static final Map<aterm.ATermAppl,String> FACETS

Constructor Detail

RuleAbsorber

public RuleAbsorber(TBoxExpImpl tbox)

Method Detail

absorbRule

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

processClass

protected int processClass(AtomIObject var,
                           aterm.ATermAppl c,
                           List<RuleAtom> atoms,
                           int varCount)

processDatatype

protected void processDatatype(AtomDObject var,
                               aterm.ATermAppl c,
                               List<RuleAtom> atoms)