org.semanticweb.more.RLrewriting
Class RLChecker
java.lang.Object
org.semanticweb.more.RLrewriting.RLChecker
public class RLChecker
- extends Object
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 |
RLChecker
public RLChecker()
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.