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

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.dig1_1_extended.PropertyAxiomRenderingVisitor

All Implemented Interfaces:

java.io.Serializable, org.semanticweb.owl.model.OWLPropertyAxiomVisitor

public class PropertyAxiomRenderingVisitor
extends java.lang.Object
implements org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Renders OWL property axioms as DIG 1.1.

Author:

Daniele Turi $Id: PropertyAxiomRenderingVisitor.java 2088 2007-03-17 16:17:35Z schieman $

See Also:

Serialized Form

Constructor Summary

PropertyAxiomRenderingVisitor(org.kr.dl.dig.v1_1.TellsDocument.Tells tells)
Creates a new visitor and sets tells.

Method Summary

void	visit(org.semanticweb.owl.model.OWLDataPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLEquivalentPropertiesAxiom axiom) Adds 'equalr' axioms to tells corresponding to axiom.
void	visit(org.semanticweb.owl.model.OWLFunctionalPropertyAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLInverseFunctionalPropertyAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLInversePropertyAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLSubPropertyAxiom axiom) Adds an 'impliesr' axiom to tells corresponding to axiom.
void	visit(org.semanticweb.owl.model.OWLSymmetricPropertyAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLTransitivePropertyAxiom axiom)

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyAxiomRenderingVisitor

public PropertyAxiomRenderingVisitor(org.kr.dl.dig.v1_1.TellsDocument.Tells tells)

Creates a new visitor and sets tells.

Parameters:

tells - a (see link in source code; it doesnt work in extern references for javadoc)

Method Detail

visit

public void visit(org.semanticweb.owl.model.OWLDataPropertyRangeAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLEquivalentPropertiesAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Adds 'equalr' axioms to tells corresponding to axiom. The addition of each axiom happens only if the two properties involved have the same type.

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Parameters:

axiom - an OWLEquivalentPropertiesAxiom.

Throws:

org.semanticweb.owl.model.OWLException

See Also:

OWLPropertyAxiomVisitor.visit(org.semanticweb.owl.model.OWLEquivalentPropertiesAxiom)

visit

public void visit(org.semanticweb.owl.model.OWLFunctionalPropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLInverseFunctionalPropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLInversePropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLPropertyDomainAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLSubPropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Adds an 'impliesr' axiom to tells corresponding to axiom. The addition of ethe axiom happens only if the two properties involved have the same type.

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Parameters:

axiom - an OWLSubPropertyAxiom.

Throws:

org.semanticweb.owl.model.OWLException

See Also:

OWLPropertyAxiomVisitor.visit(org.semanticweb.owl.model.OWLSubPropertyAxiom)

visit

public void visit(org.semanticweb.owl.model.OWLSymmetricPropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLTransitivePropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException

Specified by:

visit in interface org.semanticweb.owl.model.OWLPropertyAxiomVisitor

Throws:

org.semanticweb.owl.model.OWLException