org.semanticweb.owlapi.model
Interface SWRLObjectPropertyAtom

All Superinterfaces:

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

All Known Implementing Classes:

SWRLObjectPropertyAtomImpl

public interface SWRLObjectPropertyAtom
extends SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>

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

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Method Summary

OWLObjectPropertyExpression	getPredicate() Gets the predicate of this atom
SWRLObjectPropertyAtom	getSimplified() Gets a simplified form of this atom.

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.SWRLObject

accept, accept

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

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

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getPredicate

OWLObjectPropertyExpression getPredicate()

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