|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DAMLVocabulary
A marker interface for a DAML vocabulary, that will, in future, migrate towards providing support for versioning DAML and RDF namespaces, and, specifically, supporting multiple DAML vocabularies for DAML terms.
Field Summary | |
---|---|
static java.lang.String |
NAMESPACE_DAML_2000_12_URI
DAML namespace URI for the December 2000 release |
static java.lang.String |
NAMESPACE_DAML_2001_03_URI
DAML namespace URI for the March 2001 release |
Method Summary | |
---|---|
Property |
cardinality()
Answer the RDF Property for the DAML cardinality property on Restrictions |
Property |
cardinalityQ()
Answer the RDF Property for the DAML cardinalityQ property on Restrictions |
Resource |
Class()
Answer the RDF resource for DAML Class class (a DAML sub-class of rdfs:Class). |
Property |
comment()
Answer the Alias for rdfs:comment in daml namespace |
Property |
complementOf()
Answer the RDF Property for the complementOf property on class expressions |
Resource |
Datatype()
Answer the RDF resource for DAML Datatype class (a DAML sub-class of rdfs:Class). |
Resource |
DatatypeProperty()
Answer the RDF resource for DAML DatatypeProperty class (a DAML sub-class of rdf:Property). |
Property |
differentIndividualFrom()
Answer the RDF Property for the DAML differentIndvidualFrom property on instances |
Property |
disjointUnionOf()
Answer the RDF Property for the DAML disjointUnionOf property on Classes |
Property |
disjointWith()
Answer the RDF Property for the DAML disjointWith property on Classes |
Property |
domain()
Answer the Alias for rdfs:domain in daml namespace |
Property |
equivalentTo()
Answer the RDF Property for the equivalentTo property on DAML values |
Property |
first()
Answer the RDF Property for the DAML first property on Lists |
Property |
hasClass()
Answer the RDF Property for the DAML hasClass property on Restrictions |
Property |
hasClassQ()
Answer the RDF Property for the DAML hasClassQ property on Restrictions |
Property |
hasValue()
Answer the RDF Property for the DAML hasValue property on Restrictions |
Property |
imports()
Answer the RDF Property for the DAML imports property on Ontologies |
Property |
intersectionOf()
Answer the RDF Property for the intersectionOf property on class expressions |
Property |
inverseOf()
Answer the RDF Property for the DAML inverseOf property on Properties |
Property |
isDefinedBy()
Answer the Alias for rdfs:isDefinedBy in daml namespace |
Property |
item()
Answer the RDF Property for the DAML item property on Lists |
Property |
label()
Answer the Alias for rdfs:label in daml namespace |
Resource |
List()
Answer the RDF resource for DAML List class. |
Resource |
Literal()
Answer the Alias for rdfs:Literal in the daml namespace. |
Property |
maxCardinality()
Answer the RDF Property for the DAML maxCardinality property on Restrictions |
Property |
maxCardinalityQ()
Answer the RDF Property for the DAML maxCardinalityQ property on Restrictions |
Property |
minCardinality()
Answer the RDF Property for the DAML minCardinality property on Restrictions |
Property |
minCardinalityQ()
Answer the RDF Property for the DAML minCardinalityQ property on Restrictions |
Resource |
NAMESPACE_DAML()
Answer the DAML namespace resource for the current release |
Resource |
nil()
Answer the RDF resource for the nil (empty) list. |
Resource |
Nothing()
Answer the RDF resource for the bottom type (i.e. |
Resource |
ObjectProperty()
Answer the RDF resource for DAML ObjectProperty class (a DAML sub-class of rdf:Property). |
Property |
oneOf()
Answer the RDF Property for the oneOf property on DAML class expressions |
Property |
onProperty()
Answer the RDF Property for the DAML onProperty property on Restrictions |
Resource |
Ontology()
Answer the RDF resource for DAML Ontology class |
Resource |
Property()
Answer the Alias for rdfs:Property in the daml namespace. |
Property |
range()
Answer the Alias for rdfs:range in daml namespace |
Property |
rest()
Answer the RDF Property for the DAML rest property on Lists |
Resource |
Restriction()
Answer the RDF resource for DAML Restriction class |
Property |
sameClassAs()
Answer the RDF Property for the DAML sameClassAs property on Classes |
Property |
sameIndividualAs()
Answer the RDF Property for the DAML sameIndividualAs property on instances |
Property |
samePropertyAs()
Answer the RDF Property for the DAML samePropertyAs property on Properties |
Property |
seeAlso()
Answer the Alias for rdfs:seeAlso in daml namespace |
Property |
subClassOf()
Answer the Alias for rdfs:subClassOf in daml namespace |
Property |
subPropertyOf()
Answer the Alias for rdfs:subPropertyOf in daml namespace |
Resource |
Thing()
Answer the RDF resource for the top type (i.e. |
Property |
toClass()
Answer the RDF Property for the DAML toClass property on Restrictions |
Resource |
TransitiveProperty()
Answer the RDF resource for DAML TransitiveProperty class |
Property |
type()
Answer the Alias for rdf:type in daml namespace |
Resource |
UnambiguousProperty()
Answer the RDF resource for DAML UnambiguousProperty class |
Property |
unionOf()
Answer the RDF Property for the unionOf property on class expressions |
Resource |
UniqueProperty()
Answer the RDF resource for DAML UniqueProperty class |
Property |
value()
Answer the Alias for rdf:value in daml namespace |
Property |
versionInfo()
Answer the RDF Property for the DAML versionInfo property |
Field Detail |
---|
static final java.lang.String NAMESPACE_DAML_2001_03_URI
static final java.lang.String NAMESPACE_DAML_2000_12_URI
Method Detail |
---|
Resource NAMESPACE_DAML()
Resource List()
Resource UniqueProperty()
Resource TransitiveProperty()
Resource UnambiguousProperty()
Resource Restriction()
Resource Ontology()
Resource nil()
Resource Thing()
Resource Nothing()
Resource Literal()
Resource Class()
Resource Datatype()
Resource DatatypeProperty()
Resource ObjectProperty()
Resource Property()
Property versionInfo()
Property imports()
Property disjointWith()
Property disjointUnionOf()
Property sameClassAs()
Property samePropertyAs()
Property oneOf()
Property intersectionOf()
Property unionOf()
Property complementOf()
Property equivalentTo()
Property onProperty()
Property toClass()
Property hasValue()
Property hasClass()
Property hasClassQ()
Property cardinality()
Property minCardinality()
Property maxCardinality()
Property cardinalityQ()
Property minCardinalityQ()
Property maxCardinalityQ()
Property inverseOf()
Property first()
Property rest()
Property item()
Property subPropertyOf()
Property type()
Property value()
Property subClassOf()
Property domain()
Property range()
Property label()
Property comment()
Property seeAlso()
Property isDefinedBy()
Property sameIndividualAs()
Property differentIndividualFrom()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |