DIGConverter (DL-Learner Javadoc)

Overview

Package

Class

Use

Tree

Deprecated

Index

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.dllearner.reasoning
Class DIGConverter

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

Methods for converting internal representation to DIG and vice versa.

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

public DIGConverter()

Method Detail

public static StringBuilder getDIGString(KB kb,
                                         URI kbURI)

public static StringBuilder getDIGString(KB kb)

public static StringBuilder getDIGString(Axiom axiom)

public static StringBuilder getDIGString(Description concept)

public static StringBuilder getDIGString(ObjectPropertyExpression role)