org.coode.owlapi.owlxmlparser
Class OWLDifferentIndividualsAxiomElementHandler

java.lang.Object
  org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler<OWLAxiom>
      org.coode.owlapi.owlxmlparser.AbstractOWLAxiomElementHandler
          org.coode.owlapi.owlxmlparser.AbstractOperandAxiomElementHandler<OWLIndividual>
              org.coode.owlapi.owlxmlparser.AbstractOWLIndividualOperandAxiomElementHandler
                  org.coode.owlapi.owlxmlparser.OWLDifferentIndividualsAxiomElementHandler

All Implemented Interfaces:

OWLElementHandler<OWLAxiom>

public class OWLDifferentIndividualsAxiomElementHandler
extends AbstractOWLIndividualOperandAxiomElementHandler

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 14-Dec-2006

Constructor Summary

OWLDifferentIndividualsAxiomElementHandler(OWLXMLParserHandler handler)

Method Summary

protected OWLAxiom

createAxiom()

Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLIndividualOperandAxiomElementHandler

handleChild, handleChild

Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOperandAxiomElementHandler

addOperand, getOperands, startElement

Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLAxiomElementHandler

endElement, getAnnotations, getOWLObject, handleChild, setAxiom

Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler

attribute, getAbbreviatedIRI, getColumnNumber, getElementName, getIRI, getIRIFromAttribute, getIRIFromElement, getLineNumber, getOntology, getOWLDataFactory, getOWLOntologyManager, getParentHandler, getText, handleChars, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, isTextContentPossible, setParentHandler

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLDifferentIndividualsAxiomElementHandler

public OWLDifferentIndividualsAxiomElementHandler(OWLXMLParserHandler handler)

Method Detail

createAxiom

protected OWLAxiom createAxiom()
                        throws OWLXMLParserException

Specified by:

createAxiom in class AbstractOWLAxiomElementHandler

Throws:

OWLXMLParserException