org.semanticweb.kaon2.api.owl.axioms
Interface ObjectPropertyAttribute

All Superinterfaces:

Axiom

public interface ObjectPropertyAttribute
extends Axiom

Represents an axiom specifying that an object property has some attribute.

Field Summary

static int	OBJECT_PROPERTY_FUNCTIONAL The attribute specifying that the object property is functional.
static int	OBJECT_PROPERTY_INVERSE_FUNCTIONAL The attribute specifying that the object property is inverse functional.
static int	OBJECT_PROPERTY_SYMMETRIC The attribute specifying that the object property is symmetric.
static int	OBJECT_PROPERTY_TRANSITIVE The attribute specifying that the object property is transitive.

Method Summary

int	getAttribute() Returns the attribute.
ObjectProperty	getObjectProperty() Returns the object property for which this axiom is stated.

Methods inherited from interface org.semanticweb.kaon2.api.Axiom

accept, toString

Field Detail

OBJECT_PROPERTY_FUNCTIONAL

static final int OBJECT_PROPERTY_FUNCTIONAL

The attribute specifying that the object property is functional.

See Also:

Constant Field Values

OBJECT_PROPERTY_INVERSE_FUNCTIONAL

static final int OBJECT_PROPERTY_INVERSE_FUNCTIONAL

The attribute specifying that the object property is inverse functional.

See Also:

Constant Field Values

OBJECT_PROPERTY_SYMMETRIC

static final int OBJECT_PROPERTY_SYMMETRIC

The attribute specifying that the object property is symmetric.

See Also:

Constant Field Values

OBJECT_PROPERTY_TRANSITIVE

static final int OBJECT_PROPERTY_TRANSITIVE

The attribute specifying that the object property is transitive.

See Also:

Constant Field Values

Method Detail

getObjectProperty

ObjectProperty getObjectProperty()

Returns the object property for which this axiom is stated.

Returns:

the object property of the axiom

getAttribute

int getAttribute()

Returns the attribute.

Returns:

the attribute