jtp.frame.vocab
Interface DAML

public interface DAML

Symbols for terms in DAML.

Field Summary

static Symbol	cardinality
static Symbol	cardinalityQ
static Symbol	Class
static Symbol	collection
static Symbol	comment
static Symbol	complementOf
static String	DAML_URI
static Symbol	Datatype
static Symbol	DatatypeProperty
static Symbol	differentIndividualFrom
static Symbol	disjointUnionOf
static Symbol	disjointWith
static Symbol	domain
static Symbol	equivalentTo
static Symbol	first
static Symbol	hasClass
static Symbol	hasClassQ
static Symbol	hasValue
static Symbol	imports
static Symbol	intersectionOf
static Symbol	inverseOf
static Symbol	isDefinedBy
static Symbol	item
static Symbol	label
static Symbol	List
static Symbol	Literal
static Symbol	maxCardinality
static Symbol	maxCardinalityQ
static Symbol	minCardinality
static Symbol	minCardinalityQ
static Symbol	nil
static Symbol	Nothing
static Symbol	ObjectProperty
static Symbol	oneOf
static Symbol	onProperty
static Symbol	Ontology
static Symbol	Property
static Symbol	range
static Symbol	rest
static Symbol	Restriction
static Symbol	sameClassAs
static Symbol	sameIndividualAs
static Symbol	samePropertyAs
static Symbol	seeAlso
static Symbol	subClassOf
static Symbol	subPropertyOf
static Symbol	Thing
static Symbol	toClass
static Symbol	TransitiveProperty
static Symbol	type
static Symbol	UnambiguousProperty
static Symbol	unionOf
static Symbol	UniqueProperty
static Symbol	value
static Symbol	versionInfo

Field Detail

DAML_URI

public static final String DAML_URI

See Also:

Constant Field Values

collection

public static final Symbol collection

List

public static final Symbol List

UniqueProperty

public static final Symbol UniqueProperty

UnambiguousProperty

public static final Symbol UnambiguousProperty

TransitiveProperty

public static final Symbol TransitiveProperty

Restriction

public static final Symbol Restriction

Ontology

public static final Symbol Ontology

nil

public static final Symbol nil

Thing

public static final Symbol Thing

Nothing

public static final Symbol Nothing

Literal

public static final Symbol Literal

Class

public static final Symbol Class

Property

public static final Symbol Property

Datatype

public static final Symbol Datatype

DatatypeProperty

public static final Symbol DatatypeProperty

ObjectProperty

public static final Symbol ObjectProperty

versionInfo

public static final Symbol versionInfo

imports

public static final Symbol imports

inverseOf

public static final Symbol inverseOf

disjointWith

public static final Symbol disjointWith

disjointUnionOf

public static final Symbol disjointUnionOf

sameClassAs

public static final Symbol sameClassAs

samePropertyAs

public static final Symbol samePropertyAs

oneOf

public static final Symbol oneOf

intersectionOf

public static final Symbol intersectionOf

unionOf

public static final Symbol unionOf

complementOf

public static final Symbol complementOf

equivalentTo

public static final Symbol equivalentTo

onProperty

public static final Symbol onProperty

toClass

public static final Symbol toClass

hasValue

public static final Symbol hasValue

hasClass

public static final Symbol hasClass

hasClassQ

public static final Symbol hasClassQ

cardinality

public static final Symbol cardinality

minCardinality

public static final Symbol minCardinality

maxCardinality

public static final Symbol maxCardinality

cardinalityQ

public static final Symbol cardinalityQ

minCardinalityQ

public static final Symbol minCardinalityQ

maxCardinalityQ

public static final Symbol maxCardinalityQ

first

public static final Symbol first

rest

public static final Symbol rest

item

public static final Symbol item

subPropertyOf

public static final Symbol subPropertyOf

type

public static final Symbol type

value

public static final Symbol value

subClassOf

public static final Symbol subClassOf

domain

public static final Symbol domain

range

public static final Symbol range

label

public static final Symbol label

comment

public static final Symbol comment

seeAlso

public static final Symbol seeAlso

isDefinedBy

public static final Symbol isDefinedBy

sameIndividualAs

public static final Symbol sameIndividualAs

differentIndividualFrom

public static final Symbol differentIndividualFrom