conexp.fx.core.dl

Class ELAxiomatizer

java.lang.Object

conexp.fx.core.dl.ELAxiomatizer

public final class ELAxiomatizer
extends Object

Constructor Summary

Constructors

Constructor and Description
ELAxiomatizer(Signature sigma, int roleDepth, boolean withBot, Predicate<ELConceptDescription> hasEmptySupport, DualClosureOperator<ELConceptDescription> clop)

Method Summary

Modifier and Type	Method and Description
ELTBox	compute()
static <I> ELAxiomatizer	from(Signature sigma, ELInterpretation2<I> i, ELTBox t, int roleDepth)
static <I> ELAxiomatizer	from(Signature sigma, ELInterpretation2<I> i, int roleDepth)
void	initialize()
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

ELAxiomatizer

public ELAxiomatizer(Signature sigma,
                     int roleDepth,
                     boolean withBot,
                     Predicate<ELConceptDescription> hasEmptySupport,
                     DualClosureOperator<ELConceptDescription> clop)

Method Detail

from

public static final <I> ELAxiomatizer from(Signature sigma,
                                           ELInterpretation2<I> i,
                                           int roleDepth)

from

public static final <I> ELAxiomatizer from(Signature sigma,
                                           ELInterpretation2<I> i,
                                           ELTBox t,
                                           int roleDepth)

initialize

public final void initialize()

compute

public final ELTBox compute()

main

public static void main(String[] args)