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

java.lang.Object
  extended bycom.hp.hpl.jena.ontology.tidy.impl.AbsChecker
      extended bycom.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
          extended bycom.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.
 
Method Summary
 java.lang.String[] getLoaded()
           
 Redirect getRedirect()
           
 int getTripleCount()
           
 void load(java.io.InputStream in, java.lang.String url)
           
 void load(java.io.Reader rdr, java.lang.String url)
           
 void load(java.lang.String url)
          Include an ontology and its imports in the check.
 
Methods inherited from class com.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
addRaw, getErrors, getHighTide, getProblems, getSubLanguage, noremove, setOptimizeMemory
 
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.
Method Detail

getLoaded

public java.lang.String[] getLoaded()

getTripleCount

public int getTripleCount()

getRedirect

public Redirect getRedirect()

load

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

Parameters:
url - Load the ontology from this URL.

load

public void load(java.io.InputStream in,
                 java.lang.String url)

load

public void load(java.io.Reader rdr,
                 java.lang.String url)


Copyright © 2000-2003 Hewlett-Packard. All Rights Reserved.