org.dllearner.reasoning
Class DIGConverter

java.lang.Object
  extended by org.dllearner.reasoning.DIGConverter

public class DIGConverter
extends Object

Methods for converting internal representation to DIG and vice versa.

Author:
jl

Constructor Summary
DIGConverter()
           
 
Method Summary
static StringBuilder getDIGString(Axiom axiom)
           
static StringBuilder getDIGString(Description concept)
           
static StringBuilder getDIGString(KB kb)
           
static StringBuilder getDIGString(KB kb, URI kbURI)
           
static StringBuilder getDIGString(ObjectPropertyExpression role)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DIGConverter

public DIGConverter()
Method Detail

getDIGString

public static StringBuilder getDIGString(KB kb,
                                         URI kbURI)

getDIGString

public static StringBuilder getDIGString(KB kb)

getDIGString

public static StringBuilder getDIGString(Axiom axiom)

getDIGString

public static StringBuilder getDIGString(Description concept)

getDIGString

public static StringBuilder getDIGString(ObjectPropertyExpression role)


SourceForge.net Logo DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2011 Jens Lehmann