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

java.lang.Object
  org.semanticweb.owlapi.owllink.builtin.requests.AbstractKBRequest<BooleanResponse>
      org.semanticweb.owlapi.owllink.builtin.requests.IsEntailed

All Implemented Interfaces:

KBRequest<BooleanResponse>, Request<BooleanResponse>

public class IsEntailed
extends AbstractKBRequest<BooleanResponse>

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

Constructor Summary

IsEntailed(IRI kb, OWLAxiom axiom)

Method Summary

void	accept(RequestVisitor visitor)
OWLAxiom	getAxiom()

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

IsEntailed

public IsEntailed(IRI kb,
                  OWLAxiom axiom)

Method Detail

getAxiom

public final OWLAxiom getAxiom()

accept

public void accept(RequestVisitor visitor)