Package hydra.ext.org.w3.owl.syntax

Class NegativeObjectPropertyAssertion

java.lang.Object

hydra.ext.org.w3.owl.syntax.NegativeObjectPropertyAssertion

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
ConsList<Annotation>	annotations
static Name	ANNOTATIONS
ObjectPropertyExpression	property
static Name	PROPERTY
Individual	source
static Name	SOURCE
Individual	target
static Name	TARGET
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
NegativeObjectPropertyAssertion(ConsList<Annotation> annotations, ObjectPropertyExpression property, Individual source, Individual target)

Method Summary

Modifier and Type	Method	Description
int	compareTo(NegativeObjectPropertyAssertion other)
boolean	equals(java.lang.Object other)
int	hashCode()
NegativeObjectPropertyAssertion	withAnnotations(ConsList<Annotation> annotations)
NegativeObjectPropertyAssertion	withProperty(ObjectPropertyExpression property)
NegativeObjectPropertyAssertion	withSource(Individual source)
NegativeObjectPropertyAssertion	withTarget(Individual target)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

ANNOTATIONS

public static final Name ANNOTATIONS

PROPERTY

public static final Name PROPERTY

SOURCE

public static final Name SOURCE

TARGET

public static final Name TARGET

annotations

public final ConsList<Annotation> annotations

property

public final ObjectPropertyExpression property

source

public final Individual source

target

public final Individual target

Constructor Detail

NegativeObjectPropertyAssertion

public NegativeObjectPropertyAssertion(ConsList<Annotation> annotations,
                                       ObjectPropertyExpression property,
                                       Individual source,
                                       Individual target)

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

Specified by:

compareTo in interface java.lang.Comparable<NegativeObjectPropertyAssertion>

withAnnotations

public NegativeObjectPropertyAssertion withAnnotations(ConsList<Annotation> annotations)

withProperty

public NegativeObjectPropertyAssertion withProperty(ObjectPropertyExpression property)

withSource

public NegativeObjectPropertyAssertion withSource(Individual source)

withTarget

public NegativeObjectPropertyAssertion withTarget(Individual target)