com.hp.hpl.jena.ontology.tidy
Class StreamingChecker
java.lang.Object
com.hp.hpl.jena.ontology.tidy.impl.AbsChecker
com.hp.hpl.jena.ontology.tidy.impl.CheckerImpl
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
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 |
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.
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.