org.put.semintec.utils
Class KBUtils

java.lang.Object
  extended by org.put.semintec.utils.KBUtils

public class KBUtils
extends java.lang.Object

Provides methods that manipulate the original KB.

Author:
Agnieszka Lawrynowicz

Constructor Summary
KBUtils()
           
 
Method Summary
 KnowledgeBase multiplyABox(KnowledgeBase kb, int k)
          Multiplies ABox of a given knowledge base k times
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KBUtils

public KBUtils()
Method Detail

multiplyABox

public KnowledgeBase multiplyABox(KnowledgeBase kb,
                                  int k)
Multiplies ABox of a given knowledge base k times

Parameters:
kb - Knowledge base
k - How many times ABox should be multiplied
Returns:
Knowledge base with multiplied ABox //TODO unfinished - only class member and object property member assertions are multiplied