com.hp.hpl.jena.eyeball.inspectors
Class ConsistentTypeInspector

java.lang.Object
  |
  +--com.hp.hpl.jena.eyeball.inspectors.ConsistentTypeInspector

All Implemented Interfaces:

Inspector

public class ConsistentTypeInspector

extends java.lang.Object

implements Inspector

The TypeInspector checks that subjects have consistent types, subject to the assumption that types not declared or inferred to be subtypes are in fact not subtypes.

Author:

kers

Field Summary

protected com.hp.hpl.jena.util.iterator.Map1	getObject
protected com.hp.hpl.jena.ontology.OntModel	om
protected java.lang.String	ruleSet
protected com.hp.hpl.jena.rdf.model.Model	schema
protected java.util.Set	seen
protected java.util.Set	seenTypes

Constructor Summary

ConsistentTypeInspector(PredicateRegister r, Eyeball eye, SchemaList sl)

ConsistentTypeInspector(PredicateRegister r, SchemaList sl)

Method Summary

protected com.hp.hpl.jena.ontology.OntResource	asResource(com.hp.hpl.jena.rdf.model.Resource r)
java.util.Set	consistentSubtypesOf(com.hp.hpl.jena.rdf.model.Resource r)
protected java.util.Set	consistentSubtypesOf(java.util.Set types) Precondition: types.size > 0.
protected com.hp.hpl.jena.rdf.model.InfModel	createInferenceModel(com.hp.hpl.jena.rdf.model.Model toTest)
protected com.hp.hpl.jena.reasoner.Reasoner	createReasoner()
protected void	createReportItem(Report r, com.hp.hpl.jena.rdf.model.Resource subject, java.util.Set types)
protected java.util.Set	getTypesFor(com.hp.hpl.jena.rdf.model.Resource subject)
void	inspect(com.hp.hpl.jena.rdf.model.Model toTest, Report r) Inspect the entire model toTest and add any generated reports to r.
void	inspect(com.hp.hpl.jena.rdf.model.Statement toTest, Report r) Inspect the statement toTest and add any generated reports to r.
protected java.util.Set	nextTypes(java.util.Iterator it)
protected boolean	noConsistentSubtype(java.util.Set types)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

om

protected com.hp.hpl.jena.ontology.OntModel om

schema

protected com.hp.hpl.jena.rdf.model.Model schema

seen

protected java.util.Set seen

seenTypes

protected java.util.Set seenTypes

ruleSet

protected final java.lang.String ruleSet

See Also:

Constant Field Values

getObject

protected final com.hp.hpl.jena.util.iterator.Map1 getObject

Constructor Detail

ConsistentTypeInspector

public ConsistentTypeInspector(PredicateRegister r,
                               SchemaList sl)

ConsistentTypeInspector

public ConsistentTypeInspector(PredicateRegister r,
                               Eyeball eye,
                               SchemaList sl)

Method Detail

inspect

public void inspect(com.hp.hpl.jena.rdf.model.Model toTest,
                    Report r)

Description copied from interface: Inspector

Inspect the entire model toTest and add any generated reports to r. This method is invoked before any invocations of inspect(Statement,Report). The order in which different inspectors are called (or cosntructed) is unspecified.

Specified by:

inspect in interface Inspector

createInferenceModel

protected com.hp.hpl.jena.rdf.model.InfModel createInferenceModel(com.hp.hpl.jena.rdf.model.Model toTest)

createReasoner

protected com.hp.hpl.jena.reasoner.Reasoner createReasoner()

inspect

public void inspect(com.hp.hpl.jena.rdf.model.Statement toTest,
                    Report r)

Description copied from interface: Inspector

Inspect the statement toTest and add any generated reports to r. Statements arrive in no particular order, but all statements in the model will eventually turn up.

Specified by:

inspect in interface Inspector

getTypesFor

protected java.util.Set getTypesFor(com.hp.hpl.jena.rdf.model.Resource subject)

noConsistentSubtype

protected boolean noConsistentSubtype(java.util.Set types)

consistentSubtypesOf

public java.util.Set consistentSubtypesOf(com.hp.hpl.jena.rdf.model.Resource r)

consistentSubtypesOf

protected java.util.Set consistentSubtypesOf(java.util.Set types)

Precondition: types.size > 0.

nextTypes

protected java.util.Set nextTypes(java.util.Iterator it)

createReportItem

protected void createReportItem(Report r,
                                com.hp.hpl.jena.rdf.model.Resource subject,
                                java.util.Set types)

asResource

protected com.hp.hpl.jena.ontology.OntResource asResource(com.hp.hpl.jena.rdf.model.Resource r)