ontology.components — onto.aaroneberhart/fowl 0.0.1-SNAPSHOT

Functions that represent IRI components and datatypes

Bot clj

owl:Nothing

BotData clj

owl:bottomDataProperty

BotRole clj

owl:bottomObjectProperty

className clj

(className iri)

(className prefix name)

(className prefix name namespace)

Class := IRI

dataAnd clj

(dataAnd datarange1 datarange2)

(dataAnd datarange1 datarange2 & dataranges)

DataIntersectionOf := 'DataIntersectionOf' '(' DataRange DataRange { DataRange } ')'

dataNot clj

(dataNot datarange)

DataComplementOf := 'DataComplementOf' '(' DataRange ')'

dataOneOf clj

(dataOneOf Literal)

(dataOneOf Literal & literals)

DataOneOf := 'DataOneOf' '(' Literal { Literal } ')'

dataOr clj

(dataOr datarange1 datarange2)

(dataOr datarange1 datarange2 & dataranges)

DataUnionOf := 'DataUnionOf' '(' DataRange DataRange { DataRange } ')'

dataRange clj

(dataRange dr)

DataRange := Datatype | DataIntersectionOf | DataUnionOf | DataComplementOf | DataOneOf | DatatypeRestriction

dataRoleName clj

(dataRoleName iri)

(dataRoleName prefix name)

(dataRoleName prefix name namespace)

DataProperty := IRI

dataType clj

(dataType iri)

(dataType prefix name)

(dataType prefix name namespace)

Datatype := IRI

dataTypeMaps clj

The set of data type maps

datatypeRestriction clj

(datatypeRestriction datatype restrictedvalues)

DatatypeRestriction := 'DatatypeRestriction' '(' Datatype RestrictedFacet { RestrictedFacet } ')'

entity clj

(entity thing)

Entity := 'Class' '(' Class ')' | 'Datatype' '(' Datatype ')' | 'ObjectProperty' '(' ObjectProperty ')' | 'DataProperty' '(' DataProperty ')' | 'AnnotationProperty' '(' AnnotationProperty ')' | 'NamedIndividual' '(' NamedIndividual ')'

individual clj

(individual iri)

(individual prefix name)

(individual prefix name namespace)

Individual := AnonymousIndividual | NamedIndividual

inverseRoleName clj

(inverseRoleName iri)

(inverseRoleName prefix name)

(inverseRoleName prefix name namespace)

InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')'

IRI clj

(IRI iri)

(IRI prefix name)

(IRI prefix name namespace)

IRI := String

isReservedIRI? clj

(isReservedIRI? iri)

Is the IRI in the set of reserved IRIs?

literal clj

(literal literalString)

literal := stringLiteral | typedLiteral

owlNS clj

The OWL namespace

RDFLangString clj

language tags

rdfNS clj

The RDF namespace

RDFSLiteral clj

rdfs:Literal

rdfsNS clj

The RDFS namespace

reservedIRIs clj

The set of reserved IRIs

restrictedValue clj

(restrictedValue facet restriction)

RestrictedFacet := constrainingFacet restrictionValue

roleName clj

(roleName iri)

(roleName prefix name)

(roleName prefix name namespace)

ObjectProperty := IRI

stringLiteralNoLanguage clj

(stringLiteralNoLanguage string)

stringLiteralNoLanguage := quotedString

stringLiteralWithLanguage clj

(stringLiteralWithLanguage string lang)

stringLiteralWithLanguage := quotedString languageTag

Top clj

owl:Thing

TopData clj

owl:topDataProperty

TopRole clj

owl:topObjectProperty

typedLiteral clj

(typedLiteral lexicalForm datatype)

typedLiteral := lexicalForm '^^' Datatype

xsdNS clj

The XML namespace