Interface SWRLObjectPropertyAtom

All Superinterfaces:
Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLObject, Serializable, SWRLAtom, SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>, SWRLObject
All Known Implementing Classes:
SWRLObjectPropertyAtomImpl

public interface SWRLObjectPropertyAtom extends SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>
Since:
2.0.0
Author:
Matthew Horridge, The University Of Manchester, Medical Informatics Group
  • Method Details

    • hashIndex

      default int hashIndex()
      Specified by:
      hashIndex in interface HasHashIndex
      Returns:
      index for this type. This is not a hashcode for instances, rather a hashcode for the types.
    • typeIndex

      default int typeIndex()
      Specified by:
      typeIndex in interface HasIndex
      Returns:
      index for this type. This is not a hashcode for instances, rather a sorting index for the types.
    • getPredicate

      Description copied from interface: SWRLAtom
      Gets the predicate of this atom.
      Specified by:
      getPredicate in interface SWRLAtom
      Returns:
      The atom predicate
    • getSimplified

      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.
      Returns:
      This atom in a simplified form
    • accept

      default void accept(OWLObjectVisitor visitor)
      Description copied from interface: OWLObject
      Accepts a visitor
      Specified by:
      accept in interface OWLObject
      Parameters:
      visitor - The visitor
    • accept

      default <O> O accept(OWLObjectVisitorEx<O> visitor)
      Description copied from interface: OWLObject
      Accepts a visitor
      Specified by:
      accept in interface OWLObject
      Type Parameters:
      O - visitor return type
      Parameters:
      visitor - The visitor
      Returns:
      visitor value
    • accept

      default void accept(SWRLObjectVisitor visitor)
      Specified by:
      accept in interface SWRLObject
      Parameters:
      visitor - visitor to accept
    • accept

      default <O> O accept(SWRLObjectVisitorEx<O> visitor)
      Specified by:
      accept in interface SWRLObject
      Type Parameters:
      O - visitor return type
      Parameters:
      visitor - visitor to accept
      Returns:
      visitor value