edu.stanford.smi.protegex.owl.writer.rdfxml.renderer
Class RDFAxiomRenderer

java.lang.Object
  edu.stanford.smi.protegex.owl.model.visitor.OWLModelVisitorAdapter
      edu.stanford.smi.protegex.owl.writer.rdfxml.renderer.RDFAxiomRenderer

All Implemented Interfaces:

OWLModelVisitor

public class RDFAxiomRenderer

extends OWLModelVisitorAdapter

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: March 22, 2005

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

An RDF/XML renderer that renders axioms for classes, properties and individuals. For example, axioms for classes include subclass axioms, equivalent class axioms, disjoint axioms etc.

Nested Class Summary

class

RDFAxiomRenderer.RenderableAxiomsChecker

Field Summary

private RDFResource	resource
private TripleStore	tripleStore
private XMLWriter	writer

Constructor Summary

protected	RDFAxiomRenderer()
	RDFAxiomRenderer(RDFResource resource, TripleStore tripleStore, XMLWriter writer)

Method Summary

static RDFAxiomRenderer.RenderableAxiomsChecker	getChecker()
private void	renderClassAxioms(RDFSClass cls)
private void	renderIndividualAxioms(RDFIndividual individual)
private void	renderPropertyAxioms(RDFProperty property)
private void	renderTypes(RDFResource resource, RDFResource excludeType)
void	visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)
void	visitOWLCardinality(OWLCardinality owlCardinality)
void	visitOWLComplementClass(OWLComplementClass owlComplementClass)
void	visitOWLDatatypeProperty(OWLDatatypeProperty owlDatatypeProperty)
void	visitOWLEnumeratedClass(OWLEnumeratedClass owlEnumeratedClass)
void	visitOWLHasValue(OWLHasValue owlHasValue)
void	visitOWLIndividual(OWLIndividual owlIndividual)
void	visitOWLIntersectionClass(OWLIntersectionClass owlIntersectionClass)
void	visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)
void	visitOWLMinCardinality(OWLMinCardinality owlMinCardinality)
void	visitOWLNamedClass(OWLNamedClass owlNamedClass)
void	visitOWLObjectProperty(OWLObjectProperty owlObjectProperty)
void	visitOWLSomeValuesFrom(OWLSomeValuesFrom owlSomeValuesFrom)
void	visitOWLUnionClass(OWLUnionClass owlUnionClass)
void	visitRDFIndividual(RDFIndividual rdfIndividual)
void	visitRDFProperty(RDFProperty rdfProperty)
void	visitRDFSNamedClass(RDFSNamedClass rdfsNamedClass)
void	write()

Methods inherited from class edu.stanford.smi.protegex.owl.model.visitor.OWLModelVisitorAdapter

visitOWLAllDifferent, visitOWLDataRange, visitOWLOntology, visitRDFDatatype, visitRDFList, visitRDFSLiteral, visitRDFUntypedResource

Methods inherited from class java.lang.Object

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

Field Detail

writer

private XMLWriter writer

resource

private RDFResource resource

tripleStore

private TripleStore tripleStore

Constructor Detail

RDFAxiomRenderer

public RDFAxiomRenderer(RDFResource resource,
                        TripleStore tripleStore,
                        XMLWriter writer)

RDFAxiomRenderer

protected RDFAxiomRenderer()

Method Detail

getChecker

public static RDFAxiomRenderer.RenderableAxiomsChecker getChecker()

write

public void write()

visitOWLAllValuesFrom

public void visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)

Specified by:

visitOWLAllValuesFrom in interface OWLModelVisitor

Overrides:

visitOWLAllValuesFrom in class OWLModelVisitorAdapter

visitOWLCardinality

public void visitOWLCardinality(OWLCardinality owlCardinality)

Specified by:

visitOWLCardinality in interface OWLModelVisitor

Overrides:

visitOWLCardinality in class OWLModelVisitorAdapter

visitOWLComplementClass

public void visitOWLComplementClass(OWLComplementClass owlComplementClass)

Specified by:

visitOWLComplementClass in interface OWLModelVisitor

Overrides:

visitOWLComplementClass in class OWLModelVisitorAdapter

visitOWLEnumeratedClass

public void visitOWLEnumeratedClass(OWLEnumeratedClass owlEnumeratedClass)

Specified by:

visitOWLEnumeratedClass in interface OWLModelVisitor

Overrides:

visitOWLEnumeratedClass in class OWLModelVisitorAdapter

visitOWLHasValue

public void visitOWLHasValue(OWLHasValue owlHasValue)

Specified by:

visitOWLHasValue in interface OWLModelVisitor

Overrides:

visitOWLHasValue in class OWLModelVisitorAdapter

visitOWLIntersectionClass

public void visitOWLIntersectionClass(OWLIntersectionClass owlIntersectionClass)

Specified by:

visitOWLIntersectionClass in interface OWLModelVisitor

Overrides:

visitOWLIntersectionClass in class OWLModelVisitorAdapter

visitOWLMaxCardinality

public void visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)

Specified by:

visitOWLMaxCardinality in interface OWLModelVisitor

Overrides:

visitOWLMaxCardinality in class OWLModelVisitorAdapter

visitOWLMinCardinality

public void visitOWLMinCardinality(OWLMinCardinality owlMinCardinality)

Specified by:

visitOWLMinCardinality in interface OWLModelVisitor

Overrides:

visitOWLMinCardinality in class OWLModelVisitorAdapter

visitOWLSomeValuesFrom

public void visitOWLSomeValuesFrom(OWLSomeValuesFrom owlSomeValuesFrom)

Specified by:

visitOWLSomeValuesFrom in interface OWLModelVisitor

Overrides:

visitOWLSomeValuesFrom in class OWLModelVisitorAdapter

visitOWLUnionClass

public void visitOWLUnionClass(OWLUnionClass owlUnionClass)

Specified by:

visitOWLUnionClass in interface OWLModelVisitor

Overrides:

visitOWLUnionClass in class OWLModelVisitorAdapter

visitOWLDatatypeProperty

public void visitOWLDatatypeProperty(OWLDatatypeProperty owlDatatypeProperty)

Specified by:

visitOWLDatatypeProperty in interface OWLModelVisitor

Overrides:

visitOWLDatatypeProperty in class OWLModelVisitorAdapter

visitOWLIndividual

public void visitOWLIndividual(OWLIndividual owlIndividual)

Specified by:

visitOWLIndividual in interface OWLModelVisitor

Overrides:

visitOWLIndividual in class OWLModelVisitorAdapter

visitOWLNamedClass

public void visitOWLNamedClass(OWLNamedClass owlNamedClass)

Specified by:

visitOWLNamedClass in interface OWLModelVisitor

Overrides:

visitOWLNamedClass in class OWLModelVisitorAdapter

visitOWLObjectProperty

public void visitOWLObjectProperty(OWLObjectProperty owlObjectProperty)

Specified by:

visitOWLObjectProperty in interface OWLModelVisitor

Overrides:

visitOWLObjectProperty in class OWLModelVisitorAdapter

visitRDFIndividual

public void visitRDFIndividual(RDFIndividual rdfIndividual)

Specified by:

visitRDFIndividual in interface OWLModelVisitor

Overrides:

visitRDFIndividual in class OWLModelVisitorAdapter

visitRDFProperty

public void visitRDFProperty(RDFProperty rdfProperty)

Specified by:

visitRDFProperty in interface OWLModelVisitor

Overrides:

visitRDFProperty in class OWLModelVisitorAdapter

visitRDFSNamedClass

public void visitRDFSNamedClass(RDFSNamedClass rdfsNamedClass)

Specified by:

visitRDFSNamedClass in interface OWLModelVisitor

Overrides:

visitRDFSNamedClass in class OWLModelVisitorAdapter

renderClassAxioms

private void renderClassAxioms(RDFSClass cls)

renderPropertyAxioms

private void renderPropertyAxioms(RDFProperty property)

renderIndividualAxioms

private void renderIndividualAxioms(RDFIndividual individual)

renderTypes

private void renderTypes(RDFResource resource,
                         RDFResource excludeType)
                  throws IOException

Throws:

IOException