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