org.semanticweb.owlapi.model

Interface SWRLDifferentIndividualsAtom

All Superinterfaces:

Comparable<OWLObject>, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLObject, Serializable, SWRLAtom, SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>, SWRLObject

All Known Implementing Classes:

SWRLDifferentIndividualsAtomImpl

public interface SWRLDifferentIndividualsAtom
extends SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 18-Feb-2007

Method Summary

Methods inherited from interface org.semanticweb.owlapi.model.SWRLBinaryAtom

getFirstArgument, getSecondArgument

Methods inherited from interface org.semanticweb.owlapi.model.SWRLAtom

getAllArguments, getPredicate

Methods inherited from interface org.semanticweb.owlapi.model.SWRLObject

accept, accept

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

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature