Package hydra.owl.syntax

Class ObjectPropertyAssertion

java.lang.Object

hydra.owl.syntax.ObjectPropertyAssertion

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ObjectPropertyAssertion>

public class ObjectPropertyAssertion
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<ObjectPropertyAssertion>

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<Annotation>	annotations
static Name	ANNOTATIONS	Name of the hydra.owl.syntax.ObjectPropertyAssertion.annotations field.
ObjectPropertyExpression	property
static Name	PROPERTY	Name of the hydra.owl.syntax.ObjectPropertyAssertion.property field.
Individual	source
static Name	SOURCE	Name of the hydra.owl.syntax.ObjectPropertyAssertion.source field.
Individual	target
static Name	TARGET	Name of the hydra.owl.syntax.ObjectPropertyAssertion.target field.
static Name	TYPE_	Name of the hydra.owl.syntax.ObjectPropertyAssertion type.

Constructor Summary

Constructors

Constructor	Description
ObjectPropertyAssertion(java.util.List<Annotation> annotations, ObjectPropertyExpression property, Individual source, Individual target)	Constructs an immutable ObjectPropertyAssertion.

Method Summary

Modifier and Type	Method	Description
int	compareTo(ObjectPropertyAssertion other)
boolean	equals(java.lang.Object other)
int	hashCode()
ObjectPropertyAssertion	withAnnotations(java.util.List<Annotation> annotations)	Returns a copy of this ObjectPropertyAssertion with annotations replaced.
ObjectPropertyAssertion	withProperty(ObjectPropertyExpression property)	Returns a copy of this ObjectPropertyAssertion with property replaced.
ObjectPropertyAssertion	withSource(Individual source)	Returns a copy of this ObjectPropertyAssertion with source replaced.
ObjectPropertyAssertion	withTarget(Individual target)	Returns a copy of this ObjectPropertyAssertion with target replaced.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.owl.syntax.ObjectPropertyAssertion type.

ANNOTATIONS

public static final Name ANNOTATIONS

Name of the hydra.owl.syntax.ObjectPropertyAssertion.annotations field.

PROPERTY

public static final Name PROPERTY

Name of the hydra.owl.syntax.ObjectPropertyAssertion.property field.

SOURCE

public static final Name SOURCE

Name of the hydra.owl.syntax.ObjectPropertyAssertion.source field.

TARGET

public static final Name TARGET

Name of the hydra.owl.syntax.ObjectPropertyAssertion.target field.

annotations

public final java.util.List<Annotation> annotations

property

public final ObjectPropertyExpression property

source

public final Individual source

target

public final Individual target

Constructor Detail

ObjectPropertyAssertion

public ObjectPropertyAssertion(java.util.List<Annotation> annotations,
                               ObjectPropertyExpression property,
                               Individual source,
                               Individual target)

Constructs an immutable ObjectPropertyAssertion.

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(ObjectPropertyAssertion other)

Specified by:

compareTo in interface java.lang.Comparable<ObjectPropertyAssertion>

withAnnotations

public ObjectPropertyAssertion withAnnotations(java.util.List<Annotation> annotations)

Returns a copy of this ObjectPropertyAssertion with annotations replaced.

withProperty

public ObjectPropertyAssertion withProperty(ObjectPropertyExpression property)

Returns a copy of this ObjectPropertyAssertion with property replaced.

withSource

public ObjectPropertyAssertion withSource(Individual source)

Returns a copy of this ObjectPropertyAssertion with source replaced.

withTarget

public ObjectPropertyAssertion withTarget(Individual target)

Returns a copy of this ObjectPropertyAssertion with target replaced.