com.hp.hpl.jena.daml
Interface DAMLClassExpression

All Known Subinterfaces:

DAMLClass, DAMLRestriction

public interface DAMLClassExpression

Unifies different forms of class expression as one type. According to the DAML specification, a class expression can be a named class, a boolean expression, an enumeration or a Restriction.

Version:

CVS info: $Id: DAMLClassExpression.java,v 1.1 2001/09/24 17:02:37 ijd Exp $

Author:

Ian Dickinson, HP Labs (email)

See Also:

DAMLClass, DAMLRestriction

Method Summary

boolean	isComplement() Answer true if this class expression is an boolean complement of a list of class expressions.
boolean	isDisjointUnion() Answer true if this class expression is a disjoint union of a list of class expressions.
boolean	isEnumeration() Answer true if this class expression is an enumeration (i.e.
boolean	isIntersection() Answer true if this class expression is an boolean intersection of a list of class expressions.
boolean	isNamedClass() Answer true if this class expression is an named class (i.e.
boolean	isRestriction() Answer true if this class expression is an property restriction (i.e.
boolean	isUnion() Answer true if this class expression is a boolean union of a list of class expressions.

Method Detail

isEnumeration

public boolean isEnumeration()

Answer true if this class expression is an enumeration (i.e. has a property 'oneOf' with a list of values). This is not an exclusive property, a class expression can be an enumeration at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is an enumeration.

isNamedClass

public boolean isNamedClass()

Answer true if this class expression is an named class (i.e. is not an anonymous class expression). This is not an exclusive property, a class expression can be named at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is a named class.

isRestriction

public boolean isRestriction()

Answer true if this class expression is an property restriction (i.e. is a Restriction value). This is not an exclusive property, a class expression can be a property restriction at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is a property restriction.

isIntersection

public boolean isIntersection()

Answer true if this class expression is an boolean intersection of a list of class expressions. This is not an exclusive property, a class expression can be an intersection at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is an intersection.

isUnion

public boolean isUnion()

Answer true if this class expression is a boolean union of a list of class expressions. This is not an exclusive property, a class expression can be an union at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is a union.

isDisjointUnion

public boolean isDisjointUnion()

Answer true if this class expression is a disjoint union of a list of class expressions. This is not an exclusive property, a class expression can be a disjoint union at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is a disjoint union.

isComplement

public boolean isComplement()

Answer true if this class expression is an boolean complement of a list of class expressions. This is not an exclusive property, a class expression can be an complement at the same time as one of the other kinds of class expression, though the conjunction of these may produce the Nothing class.

Returns:

true if this class expression is a complement.