com.hp.hpl.jena.ontology.tidy
Class StreamingChecker

java.lang.Object
  extended by com.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
      extended by com.hp.hpl.jena.ontology.tidy.StreamingChecker
All Implemented Interfaces:
CheckerResults, com.hp.hpl.jena.ontology.tidy.impl.Constants

public class StreamingChecker
extends com.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
implements CheckerResults

This class is a high performance streaming implementation of the OWL Syntax Checker. The three methods CheckerImpl.getProblems()CheckerImpl.getErrors()and CheckerImpl.getSubLanguage()can all be used repeatedly and at any point. They report on what has been added so far. When constructing a checker, you must choose whether to record errors and problems concerning non-OWL Lite constructs, or only concerning non-OWL DL constructs. For either choice CheckerImpl.getSubLanguage()functions correctly (i.e. the grammar used is identical). However, if the Checker has been constructed with the liteflag as false, it is not possible to access a rationale for an ontology being in OWL DL rather than OWL Lite.

Author:
Jeremy Carroll

Field Summary
 
Fields inherited from interface com.hp.hpl.jena.ontology.tidy.impl.Constants
BadOWL, BadRDF, BadXSD, DL, Failure, FirstOfOne, FirstOfTwo, ObjectAction, RemoveTriple, SecondOfTwo, SubjectAction
 
Constructor Summary
StreamingChecker(boolean liteFlag)
          Create a new checker - indicate whether error reports are wanted for non-OWL Lite constructions or only non-OWL DL constructions.
StreamingChecker(boolean liteFlag, OntDocumentManager dM)
          Create a new checker - indicate whether error reports are wanted for non-OWL Lite constructions or only non-OWL DL constructions.
 
Method Summary
 int getHighTide()
           
 String[] getLoaded()
          Deprecated. Not part of API
 Redirect getRedirect()
          Deprecated. Use OntDocumentManager
 int getTripleCount()
          Deprecated. Not part of API
 void load(InputStream in, String url)
           
 void load(Reader rdr, String url)
           
 void load(String url)
          Include an ontology and its imports in the check.
 void noremove()
           
 void setOptimizeMemory(boolean big)
           
 
Methods inherited from class com.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
addRaw, getErrors, getProblems, getSubLanguage, load
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface com.hp.hpl.jena.ontology.tidy.CheckerResults
getErrors, getProblems, getSubLanguage, setOptimizeMemory
 

Constructor Detail

StreamingChecker

public StreamingChecker(boolean liteFlag)
Create a new checker - indicate whether error reports are wanted for non-OWL Lite constructions or only non-OWL DL constructions.

Parameters:
liteFlag - If true CheckerImpl.getErrors()and CheckerImpl.getProblems()will indicate any OWL DL or OWL Full construction.

StreamingChecker

public StreamingChecker(boolean liteFlag,
                        OntDocumentManager dM)
Create a new checker - indicate whether error reports are wanted for non-OWL Lite constructions or only non-OWL DL constructions.

Parameters:
liteFlag - If true CheckerImpl.getErrors()and CheckerImpl.getProblems()will indicate any OWL DL or OWL Full construction.
dM - The OntDocumentManager to use.
Method Detail

getLoaded

public String[] getLoaded()
Deprecated. Not part of API

Not part of public API, for performance testing.

Returns:
List of loaded files.

getTripleCount

public int getTripleCount()
Deprecated. Not part of API

Not part of public API, for performance testing.

Returns:
Triple count.

getRedirect

public Redirect getRedirect()
Deprecated. Use OntDocumentManager


load

public void load(String url)
Include an ontology and its imports in the check.

Overrides:
load in class com.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
Parameters:
url - Load the ontology from this URL.

load

public void load(InputStream in,
                 String url)

load

public void load(Reader rdr,
                 String url)

getHighTide

public int getHighTide()

noremove

public void noremove()

setOptimizeMemory

public void setOptimizeMemory(boolean big)


Copyright © 2000, 2001, 2002, 2003, 2004 Hewlett-Packard Development Company, LP