org.mindswap.pellet
Class OWLTStrategy

java.lang.Object
  extended by org.mindswap.pellet.CompletionStrategy
      extended by org.mindswap.pellet.OWLTStrategy

public class OWLTStrategy
extends CompletionStrategy

Author:
NataKeberle

Field Summary
 java.util.HashMap OWLConcepts
           
 
Constructor Summary
OWLTStrategy(ABox abox)
           
 
Method Summary
 aterm.ATermAppl createMomentConcept(Individual node)
           
 aterm.ATermAppl createOWLConcept(Individual node)
           
 int Den(aterm.ATermAppl a)
           
 void initialize()
           
 void OWLTSatisfiability(aterm.ATermAppl c)
           
 aterm.ATermAppl replaceBnodes(aterm.ATermAppl c)
           
 aterm.ATermList replaceBnodes(aterm.ATermList list)
           
 
Methods inherited from class org.mindswap.pellet.CompletionStrategy
addEdge, addType, mergeTo, restore, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

OWLConcepts

public java.util.HashMap OWLConcepts
Constructor Detail

OWLTStrategy

public OWLTStrategy(ABox abox)
Method Detail

initialize

public void initialize()
Overrides:
initialize in class CompletionStrategy

Den

public int Den(aterm.ATermAppl a)

OWLTSatisfiability

public void OWLTSatisfiability(aterm.ATermAppl c)

createOWLConcept

public aterm.ATermAppl createOWLConcept(Individual node)

createMomentConcept

public aterm.ATermAppl createMomentConcept(Individual node)

replaceBnodes

public aterm.ATermAppl replaceBnodes(aterm.ATermAppl c)

replaceBnodes

public aterm.ATermList replaceBnodes(aterm.ATermList list)


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.