org.mindswap.pellet
Class OWLTStrategy
java.lang.Object
org.mindswap.pellet.CompletionStrategy
org.mindswap.pellet.OWLTStrategy
public class OWLTStrategy
- extends CompletionStrategy
- Author:
- NataKeberle
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
OWLConcepts
public java.util.HashMap OWLConcepts
OWLTStrategy
public OWLTStrategy(ABox abox)
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.