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

java.lang.Object
  org.semanticweb.owlapi.owllink.builtin.requests.AbstractKBRequest<R>
      org.semanticweb.owlapi.owllink.builtin.requests.AbstractKBRequestWithOneObject<BooleanResponse,OWLClassExpression>
          org.semanticweb.owlapi.owllink.builtin.requests.IsClassSatisfiable

All Implemented Interfaces:

KBRequest<BooleanResponse>, Request<BooleanResponse>

public class IsClassSatisfiable
extends AbstractKBRequestWithOneObject<BooleanResponse,OWLClassExpression>

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

Constructor Summary

IsClassSatisfiable(IRI kb, OWLClassExpression object)

Method Summary

void	accept(RequestVisitor visitor)

Methods inherited from class org.semanticweb.owlapi.owllink.builtin.requests.AbstractKBRequestWithOneObject

getObject

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

IsClassSatisfiable

public IsClassSatisfiable(IRI kb,
                          OWLClassExpression object)

Method Detail

accept

public void accept(RequestVisitor visitor)