uk.ac.manchester.cs.owl.owlapi
Class SWRLObjectPropertyAtomImpl

java.lang.Object
  uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      uk.ac.manchester.cs.owl.owlapi.SWRLAtomImpl
          uk.ac.manchester.cs.owl.owlapi.SWRLBinaryAtomImpl<SWRLIArgument,SWRLIArgument>
              uk.ac.manchester.cs.owl.owlapi.SWRLObjectPropertyAtomImpl

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLObject, SWRLAtom, SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>, SWRLObject, SWRLObjectPropertyAtom

public class SWRLObjectPropertyAtomImpl
extends SWRLBinaryAtomImpl<SWRLIArgument,SWRLIArgument>
implements SWRLObjectPropertyAtom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jan-2007

Constructor Summary

SWRLObjectPropertyAtomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression predicate, SWRLIArgument arg0, SWRLIArgument arg1)

Method Summary

void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
void	accept(SWRLObjectVisitor visitor)
<O> O	accept(SWRLObjectVisitorEx<O> visitor)
boolean	equals(java.lang.Object obj)
OWLObjectPropertyExpression	getPredicate() Gets the predicate of this atom
SWRLObjectPropertyAtom	getSimplified() Gets a simplified form of this atom.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.SWRLBinaryAtomImpl

compareObjectOfSameType, getAllArguments, getFirstArgument, getSecondArgument

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getFirstArgument, getSecondArgument

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

getAllArguments

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

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

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

SWRLObjectPropertyAtomImpl

public SWRLObjectPropertyAtomImpl(OWLDataFactory dataFactory,
                                  OWLObjectPropertyExpression predicate,
                                  SWRLIArgument arg0,
                                  SWRLIArgument arg1)

Method Detail

getPredicate

public OWLObjectPropertyExpression getPredicate()

Description copied from interface: SWRLAtom

Gets the predicate of this atom

Specified by:

getPredicate in interface SWRLAtom

Specified by:

getPredicate in interface SWRLObjectPropertyAtom

Overrides:

getPredicate in class SWRLAtomImpl

Returns:

The atom predicate

getSimplified

public SWRLObjectPropertyAtom getSimplified()

Gets a simplified form of this atom. This basically creates and returns a new atom where the predicate is not an inverse object property. If the atom is of the form P(x, y) then P(x, y) is returned. If the atom is of the form inverseOf(P)(x, y) then P(y, x) is returned.

Specified by:

getSimplified in interface SWRLObjectPropertyAtom

Returns:

This atom in a simplified form

accept

public void accept(OWLObjectVisitor visitor)

Specified by:

accept in interface OWLObject

accept

public void accept(SWRLObjectVisitor visitor)

Specified by:

accept in interface SWRLObject

accept

public <O> O accept(SWRLObjectVisitorEx<O> visitor)

Specified by:

accept in interface SWRLObject

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLObject

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLObjectImpl