org.mindswap.pellet
Class RuleStrategy

java.lang.Object
  extended by org.mindswap.pellet.CompletionStrategy
      extended by org.mindswap.pellet.SHOINStrategy
          extended by org.mindswap.pellet.RuleStrategy

public class RuleStrategy
extends SHOINStrategy


Field Summary
static QNameProvider qnames
           
 
Constructor Summary
RuleStrategy(ABox abox)
           
 
Method Summary
 void applyRULERule()
           
 java.util.List getVars(org.semanticweb.owl.rules.OWLRule rule)
           
 aterm.ATermAppl term(java.lang.String s)
           
 
Methods inherited from class org.mindswap.pellet.SHOINStrategy
addEdge
 
Methods inherited from class org.mindswap.pellet.CompletionStrategy
addType, initialize, mergeTo, restore, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

qnames

public static QNameProvider qnames
Constructor Detail

RuleStrategy

public RuleStrategy(ABox abox)
Method Detail

getVars

public java.util.List getVars(org.semanticweb.owl.rules.OWLRule rule)
                       throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

applyRULERule

public void applyRULERule()

term

public aterm.ATermAppl term(java.lang.String s)


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