org.semanticweb.owlapi.model

Interface SWRLBinaryAtom<A extends SWRLArgument,B extends SWRLArgument>

Type Parameters:

A - type of first argument

B - type of second argument

All Superinterfaces:

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

All Known Subinterfaces:

SWRLDataPropertyAtom, SWRLDifferentIndividualsAtom, SWRLObjectPropertyAtom, SWRLSameIndividualAtom

All Known Implementing Classes:

SWRLBinaryAtomImpl, SWRLDataPropertyAtomImpl, SWRLDifferentIndividualsAtomImpl, SWRLObjectPropertyAtomImpl, SWRLSameIndividualAtomImpl

public interface SWRLBinaryAtom<A extends SWRLArgument,B extends SWRLArgument>
extends SWRLAtom

Represents an atom with two ordered arguments.

Author:

Matthew Horridge, The University Of Manchester, Medical Informatics Group, Date: Jan 15, 2007

Method Summary

Modifier and Type	Method and Description
A	getFirstArgument() Gets the first argument.
B	getSecondArgument() Gets the second argument.

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

Method Detail

getFirstArgument

A getFirstArgument()

Gets the first argument.

Returns:

The second argument

getSecondArgument

B getSecondArgument()

Gets the second argument.

Returns:

The second argument