org.semanticweb.owlapi.owllink.builtin.requests
Class IsKBSatisfiable

java.lang.Object
  extended by org.semanticweb.owlapi.owllink.builtin.requests.AbstractKBRequest<BooleanResponse>
      extended by org.semanticweb.owlapi.owllink.builtin.requests.IsKBSatisfiable
All Implemented Interfaces:
KBRequest<BooleanResponse>, Request<BooleanResponse>

public class IsKBSatisfiable
extends AbstractKBRequest<BooleanResponse>

Created by IntelliJ IDEA. Author: Olaf Noppens Date: 23.10.2009


Constructor Summary
IsKBSatisfiable(IRI kb)
           
 
Method Summary
 void accept(RequestVisitor visitor)
           
 
Methods inherited from class org.semanticweb.owlapi.owllink.builtin.requests.AbstractKBRequest
getKB
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IsKBSatisfiable

public IsKBSatisfiable(IRI kb)
Method Detail

accept

public void accept(RequestVisitor visitor)