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:

Serializable, 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

See Also:

Serialized Form

Field Summary

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
SWRLObjectPropertyAtomImpl(OWLObjectPropertyExpression predicate, SWRLIArgument arg0, SWRLIArgument arg1)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(OWLObjectVisitor visitor) Accepts a visitor
<O> O	accept(OWLObjectVisitorEx<O> visitor) Accepts a visitor
void	accept(SWRLObjectVisitor visitor)
<O> O	accept(SWRLObjectVisitorEx<O> visitor)
boolean	equals(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

compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, 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

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

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

SWRLObjectPropertyAtomImpl

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

Parameters:

predicate - property

arg0 - subject

arg1 - object

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()

Description copied from interface: SWRLObjectPropertyAtom

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)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Parameters:

visitor - The visitor

accept

public void accept(SWRLObjectVisitor visitor)

Specified by:

accept in interface SWRLObject

Parameters:

visitor - visitor to accept

accept

public <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

accept

public <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

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectImpl