uk.ac.man.cs.img.owl.inference.dl
Interface ReasonerProxy

All Known Implementing Classes:

RACERConsistencyChecker, SimpleOWLReasoner

public interface ReasonerProxy

ReasonerProxy.java Created: Fri May 16 17:04:23 2003

Version:

$Id: ReasonerProxy.java,v 1.1.1.1 2003/10/14 17:10:15 sean_bechhofer Exp $

Method Summary

void	tell(String str)

Method Detail

tell

public void tell(String str)
          throws OWLException

OWLException