org.semanticweb.owlapi.model

Interface SWRLObjectPropertyAtom

All Superinterfaces:

Comparable<OWLObject>, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLObject, Serializable, SWRLAtom, SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>, SWRLObject

public interface SWRLObjectPropertyAtom
extends SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>

Author:

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

Method Summary

Modifier and Type	Method and Description
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, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

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

containsEntityInSignature

Method Detail

getPredicate

OWLObjectPropertyExpression 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