com.clarkparsia.pellet.datatypes
Class DNF

java.lang.Object
  extended by com.clarkparsia.pellet.datatypes.DNF

public class DNF
extends java.lang.Object

Title: Disjunction Normal Form

Description: Static implementation to translate ATermAppl descriptions of complex data ranges to disjunction normal form

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Mike Smith

Constructor Summary
DNF()
           
 
Method Summary
static aterm.ATermAppl dnf(aterm.ATermAppl term)
          Get disjunctive normal form for an expression
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DNF

public DNF()
Method Detail

dnf

public static aterm.ATermAppl dnf(aterm.ATermAppl term)
Get disjunctive normal form for an expression

Parameters:
term - The expression
Returns:
term in DNF


Copyright © 2004 Evren Sirin. All Rights Reserved.