Package hydra.owl.syntax

Class ObjectHasValue

java.lang.Object

hydra.owl.syntax.ObjectHasValue

All Implemented Interfaces:

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

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

An OWL object property restriction requiring a specific individual value

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ObjectHasValue.Builder	A fluent builder for ObjectHasValue.

Field Summary

Fields

Modifier and Type	Field	Description
Individual	individual
static Name	INDIVIDUAL	Name of the hydra.owl.syntax.ObjectHasValue.individual field.
ObjectPropertyExpression	property
static Name	PROPERTY	Name of the hydra.owl.syntax.ObjectHasValue.property field.
static Name	TYPE_	Name of the hydra.owl.syntax.ObjectHasValue type.

Constructor Summary

Constructors

Constructor	Description
ObjectHasValue(ObjectPropertyExpression property, Individual individual)	Constructs an immutable ObjectHasValue.

Method Summary

Modifier and Type	Method	Description
static ObjectHasValue.Builder	builder()	Creates a new fluent builder for ObjectHasValue.
int	compareTo(ObjectHasValue other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
ObjectHasValue	withIndividual(Individual individual)	Returns a copy of this ObjectHasValue with individual replaced.
ObjectHasValue	withProperty(ObjectPropertyExpression property)	Returns a copy of this ObjectHasValue with property replaced.

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

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

PROPERTY

public static final Name PROPERTY

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

INDIVIDUAL

public static final Name INDIVIDUAL

Name of the hydra.owl.syntax.ObjectHasValue.individual field.

property

public final ObjectPropertyExpression property

individual

public final Individual individual

Constructor Detail

ObjectHasValue

public ObjectHasValue(ObjectPropertyExpression property,
                      Individual individual)

Constructs an immutable ObjectHasValue.

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(ObjectHasValue other)

Specified by:

compareTo in interface java.lang.Comparable<ObjectHasValue>

withProperty

public ObjectHasValue withProperty(ObjectPropertyExpression property)

Returns a copy of this ObjectHasValue with property replaced.

withIndividual

public ObjectHasValue withIndividual(Individual individual)

Returns a copy of this ObjectHasValue with individual replaced.

builder

public static ObjectHasValue.Builder builder()

Creates a new fluent builder for ObjectHasValue.