org.semanticweb.more.RLrewriting
Class RLChecker

java.lang.Object
  extended by org.semanticweb.more.RLrewriting.RLChecker

public class RLChecker
extends Object


Constructor Summary
RLChecker()
           
 
Method Summary
 boolean check(org.semanticweb.owlapi.model.OWLAxiom axiom)
           
 boolean checkSub(org.semanticweb.owlapi.model.OWLClassExpression exp)
           
 boolean checkSuper(org.semanticweb.owlapi.model.OWLClassExpression exp)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RLChecker

public RLChecker()
Method Detail

check

public boolean check(org.semanticweb.owlapi.model.OWLAxiom axiom)

checkSub

public boolean checkSub(org.semanticweb.owlapi.model.OWLClassExpression exp)

checkSuper

public boolean checkSuper(org.semanticweb.owlapi.model.OWLClassExpression exp)


Copyright © 2013. All Rights Reserved.