de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended
Class TBoxRenderer

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended.Renderer
      de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended.TBoxRenderer

All Implemented Interfaces:

org.semanticweb.owl.io.Options, org.semanticweb.owl.io.Renderer

public class TBoxRenderer
extends Renderer

Extends Renderer by rendering only the TBox and keeping a Map of (URI, OWLDescription) pairs. This is used in the instance Store.

Author:

dturi $Id: TBoxRenderer.java 2054 2007-03-14 16:27:40Z siulschr $

Nested Class Summary

Nested classes/interfaces inherited from class de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended.Renderer

Renderer.SessionInfo

Field Summary

Fields inherited from class de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended.Renderer

ANONYMOUS_INDIV, logger, RACER_ONE_DOT_NINE_DIG_EXTENSIONS, TOLERANT_RACER_ONE_DOT_NINE_DIG_EXTENSIONS

Constructor Summary

TBoxRenderer()
Invokes super.

Method Summary

java.util.Map

getAssertions() Returns a Map with the role-free ABox assertions in the rendered ontology.

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended.Renderer

anonymIndividual, getOptions, main, prettyPrintOptions, renderOntology, renderOntology, setOptions

Methods inherited from class java.lang.Object

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

Constructor Detail

TBoxRenderer

public TBoxRenderer()

Invokes super.

Method Detail

getAssertions

public java.util.Map getAssertions()

Returns a Map with the role-free ABox assertions in the rendered ontology.

Returns:

a Map with the role-free ABox assertions in the rendered ontology.