org.semanticweb.owl.model
Interface OWLIndividualAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject

All Known Subinterfaces:

OWLClassAssertionAxiom, OWLDataPropertyAssertionAxiom, OWLDifferentIndividualsAxiom, OWLNaryIndividualAxiom, OWLNegativeDataPropertyAssertionAxiom, OWLNegativeObjectPropertyAssertionAxiom, OWLObjectPropertyAssertionAxiom, OWLPropertyAssertionAxiom<P,O>, OWLSameIndividualsAxiom

public interface OWLIndividualAxiom
extends OWLLogicalAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

Methods inherited from interface org.semanticweb.owl.model.OWLAxiom

accept, accept, getAnnotationAxioms, getAxiomType, getNNF, getReferencedEntities, isLogicalAxiom

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo