Package hydra.owl.syntax

Class SubObjectPropertyOf

java.lang.Object

hydra.owl.syntax.SubObjectPropertyOf

All Implemented Interfaces:

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

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

An OWL axiom asserting an object-property subsumption relationship

See Also:

Serialized Form

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<Annotation>	annotations
static Name	ANNOTATIONS	Name of the hydra.owl.syntax.SubObjectPropertyOf.annotations field.
static Name	SUB_PROPERTY	Name of the hydra.owl.syntax.SubObjectPropertyOf.subProperty field.
java.util.List<ObjectPropertyExpression>	subProperty
static Name	SUPER_PROPERTY	Name of the hydra.owl.syntax.SubObjectPropertyOf.superProperty field.
ObjectPropertyExpression	superProperty
static Name	TYPE_	Name of the hydra.owl.syntax.SubObjectPropertyOf type.

Constructor Summary

Constructors

Constructor	Description
SubObjectPropertyOf(java.util.List<Annotation> annotations, java.util.List<ObjectPropertyExpression> subProperty, ObjectPropertyExpression superProperty)	Constructs an immutable SubObjectPropertyOf.

Method Summary

Modifier and Type	Method	Description
static SubObjectPropertyOf.Builder	builder()	Creates a new fluent builder for SubObjectPropertyOf.
int	compareTo(SubObjectPropertyOf other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
SubObjectPropertyOf	withAnnotations(java.util.List<Annotation> annotations)	Returns a copy of this SubObjectPropertyOf with annotations replaced.
SubObjectPropertyOf	withSubProperty(java.util.List<ObjectPropertyExpression> subProperty)	Returns a copy of this SubObjectPropertyOf with subProperty replaced.
SubObjectPropertyOf	withSuperProperty(ObjectPropertyExpression superProperty)	Returns a copy of this SubObjectPropertyOf with superProperty 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.SubObjectPropertyOf type.

ANNOTATIONS

public static final Name ANNOTATIONS

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

SUB_PROPERTY

public static final Name SUB_PROPERTY

Name of the hydra.owl.syntax.SubObjectPropertyOf.subProperty field.

SUPER_PROPERTY

public static final Name SUPER_PROPERTY

Name of the hydra.owl.syntax.SubObjectPropertyOf.superProperty field.

annotations

public final java.util.List<Annotation> annotations

subProperty

public final java.util.List<ObjectPropertyExpression> subProperty

superProperty

public final ObjectPropertyExpression superProperty

Constructor Detail

SubObjectPropertyOf

public SubObjectPropertyOf(java.util.List<Annotation> annotations,
                           java.util.List<ObjectPropertyExpression> subProperty,
                           ObjectPropertyExpression superProperty)

Constructs an immutable SubObjectPropertyOf.

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(SubObjectPropertyOf other)

Specified by:

compareTo in interface java.lang.Comparable<SubObjectPropertyOf>

withAnnotations

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

Returns a copy of this SubObjectPropertyOf with annotations replaced.

withSubProperty

public SubObjectPropertyOf withSubProperty(java.util.List<ObjectPropertyExpression> subProperty)

Returns a copy of this SubObjectPropertyOf with subProperty replaced.

withSuperProperty

public SubObjectPropertyOf withSuperProperty(ObjectPropertyExpression superProperty)

Returns a copy of this SubObjectPropertyOf with superProperty replaced.

builder

public static SubObjectPropertyOf.Builder builder()

Creates a new fluent builder for SubObjectPropertyOf.