org.coode.owlapi.owlxmlparser
Class OWLIrreflexiveObjectPropertyAxiomElementHandler

java.lang.Object
  extended by org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler<OWLAxiom>
      extended by org.coode.owlapi.owlxmlparser.AbstractOWLAxiomElementHandler
          extended by org.coode.owlapi.owlxmlparser.AbstractOWLPropertyCharacteristicAxiomElementHandler<OWLObjectPropertyExpression>
              extended by org.coode.owlapi.owlxmlparser.AbstractOWLObjectPropertyCharacteristicAxiomElementHandler
                  extended by org.coode.owlapi.owlxmlparser.OWLIrreflexiveObjectPropertyAxiomElementHandler
All Implemented Interfaces:
OWLElementHandler<OWLAxiom>

public class OWLIrreflexiveObjectPropertyAxiomElementHandler
extends AbstractOWLObjectPropertyCharacteristicAxiomElementHandler

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


Constructor Summary
OWLIrreflexiveObjectPropertyAxiomElementHandler(OWLXMLParserHandler handler)
           
 
Method Summary
protected  OWLAxiom createPropertyCharacteristicAxiom()
           
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLObjectPropertyCharacteristicAxiomElementHandler
handleChild
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLPropertyCharacteristicAxiomElementHandler
createAxiom, getProperty, setProperty
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLAxiomElementHandler
endElement, getAnnotations, getOWLObject, handleChild, setAxiom, startElement
 
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, handleChild, isTextContentPossible, setParentHandler
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OWLIrreflexiveObjectPropertyAxiomElementHandler

public OWLIrreflexiveObjectPropertyAxiomElementHandler(OWLXMLParserHandler handler)
Method Detail

createPropertyCharacteristicAxiom

protected OWLAxiom createPropertyCharacteristicAxiom()
Specified by:
createPropertyCharacteristicAxiom in class AbstractOWLPropertyCharacteristicAxiomElementHandler<OWLObjectPropertyExpression>