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

Wrapper to easily handle all OWL functions

!=individuals clj

(!=individuals & args)

DifferentIndividuals := 'DifferentIndividuals' '(' axiomAnnotations Individual Individual { Individual } ')'

!=individualsAtom clj

(!=individualsAtom iarg1 iarg2)

DifferentIndividualsAtom := ‘DifferentIndividualsAtom’ ‘(’ IArg IArg ‘)’

<=dataExists clj

(<=dataExists naturalNumber dataRole)

(<=dataExists naturalNumber dataRole dataRange)

DataMaxCardinality := 'DataMaxCardinality' '(' nonNegativeInteger DataPropertyExpression [ DataRange ] ')'

<=exists clj

(<=exists naturalNumber role)

(<=exists naturalNumber role class)

ObjectMaxCardinality := 'ObjectMaxCardinality' '(' nonNegativeInteger ObjectPropertyExpression [ ClassExpression ] ')'

=classes clj

(=classes & args)

EquivalentClasses := 'EquivalentClasses' '(' axiomAnnotations ClassExpression ClassExpression { ClassExpression } ')'

=dataExists clj

(=dataExists naturalNumber dataRole)

(=dataExists naturalNumber dataRole dataRange)

DataExactCardinality := 'DataExactCardinality' '(' nonNegativeInteger DataPropertyExpression [ DataRange ] ')'

=dataRoles clj

(=dataRoles & args)

EquivalentDataProperties := 'EquivalentDataProperties' '(' axiomAnnotations DataPropertyExpression DataPropertyExpression { DataPropertyExpression } ')'

=exists clj

(=exists naturalNumber r)

(=exists naturalNumber r c)

ObjectExactCardinality := 'ObjectExactCardinality' '(' nonNegativeInteger ObjectPropertyExpression [ ClassExpression ] ')'

=individuals clj

(=individuals & args)

SameIndividual := 'SameIndividual' '(' axiomAnnotations Individual Individual { Individual } ')'

=individualsAtom clj

(=individualsAtom iarg1 iarg2)

SameIndividualAtom := ‘SameIndividualAtom’ ‘(’ IArg IArg ‘)’

=roles clj

(=roles & args)

EquivalentObjectProperties := 'EquivalentObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

>=dataExists clj

(>=dataExists naturalNumber dataRole)

(>=dataExists naturalNumber dataRole dataRange)

DataMinCardinality := 'DataMinCardinality' '(' nonNegativeInteger DataPropertyExpression [ DataRange ] ')'

>=exists clj

(>=exists naturalNumber role)

(>=exists naturalNumber role class)

ObjectMinCardinality := 'ObjectMinCardinality' '(' nonNegativeInteger ObjectPropertyExpression [ ClassExpression ] ')'

addAnnotation clj

(addAnnotation ontology annotation)

Adds an annotation to an ontology. If it contains prefixes already in the ontology, they are automatically adjusted to match the ontology prefixes.

addAnnotations clj

(addAnnotations ontology & annotations)

Adds a set of annotations to an ontology

addAxiom clj

(addAxiom ontology axiom)

Adds an axiom to an ontology. If it contains prefixes already in the ontology, they are automatically adjusted to match the ontology prefixes.

addAxioms clj

(addAxioms ontology & axioms)

Adds a set of axioms to an ontology

addDeclarationsForAllIRIs clj

(addDeclarationsForAllIRIs ontology)

Adds a Declaration axiom for any IRI in the ontology that is not currently declared

addDefaultPrefixes clj

(addDefaultPrefixes ontology)

Adds the default OWL prefixes to the ontology

addImport clj

(addImport ontology import)

Adds an import to an ontology

addImports clj

(addImports ontology & imports)

Adds a set of imports to an ontology

addPrefix clj

(addPrefix ontology prefix)

Adds a prefix to an ontology. If it is already in use it is overwritten. Any IRIs in the ontology that have this prefix are adjusted. If the ontology is not an ontology file, it will be converted to suppot prefixes.

addPrefixes clj

(addPrefixes ontology & prefixes)

Adds a set of prefixes to an ontology

all clj

(all role class)

ObjectAllValuesFrom := 'ObjectAllValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'

and clj

(and class1 class2)

(and class1 class2 & classes)

ObjectIntersectionOf := 'ObjectIntersectionOf' '(' ClassExpression ClassExpression { ClassExpression } ')'

annotation clj

(annotation & args)

Annotation := 'Annotation' '(' annotationAnnotations AnnotationProperty AnnotationValue ')'

annotationDataType clj

(annotationDataType iri)

(annotationDataType prefix name)

(annotationDataType prefix name namespace)

Datatype := IRI

annotationDomain clj

(annotationDomain & args)

AnnotationPropertyDomain := 'AnnotationPropertyDomain' '(' axiomAnnotations AnnotationProperty IRI ')'

annotationFact clj

(annotationFact & args)

AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')'

annotationImplication clj

(annotationImplication & args)

SubAnnotationPropertyOf := 'SubAnnotationPropertyOf' '(' axiomAnnotations subAnnotationProperty superAnnotationProperty ')'

annotationRange clj

(annotationRange & args)

AnnotationPropertyRange := 'AnnotationPropertyRange' '(' axiomAnnotations AnnotationProperty IRI ')'

annotationRole clj

(annotationRole iri)

(annotationRole prefix name)

(annotationRole prefix name namespace)

AnnotationProperty := IRI

annotationSubject clj

(annotationSubject subject)

AnnotationSubject := IRI | AnonymousIndividual

annotationValue clj

(annotationValue value)

AnnotationValue := AnonymousIndividual | IRI | Literal

asymmetricRole clj

(asymmetricRole & args)

AsymmetricObjectProperty := 'AsymmetricObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

axiomAnnotations clj

(axiomAnnotations annotations)

axiomAnnotations := { Annotation }

axioms clj

(axioms & axioms)

axioms := { Axiom }

body clj

(body & atoms)

The body of a SWRL or dg rule.

Bot clj

owl:Nothing

BotData clj

owl:bottomDataProperty

BotRole clj

owl:bottomObjectProperty

builtInAtom clj

(builtInAtom iri dargs)

BuiltInAtom := ‘BuiltInAtom’ ‘(’ IRI DArg { DArg } ‘)’

class clj

(class iri)

(class prefix name)

(class prefix name namespace)

ClassExpression := Class | ObjectIntersectionOf | ObjectUnionOf | ObjectComplementOf | ObjectOneOf | ObjectSomeValuesFrom | ObjectAllValuesFrom | ObjectHasValue | ObjectHasSelf | ObjectMinCardinality | ObjectMaxCardinality | ObjectExactCardinality | DataSomeValuesFrom | DataAllValuesFrom | DataHasValue | DataMinCardinality | DataMaxCardinality | DataExactCardinality

classAtom clj

(classAtom class iarg)

ClassAtom := ‘ClassAtom’ ‘(’ ClassExpression IArg ‘)’

classFact clj

(classFact & args)

ClassAssertion := 'ClassAssertion' '(' axiomAnnotations ClassExpression Individual ')'

classImplication clj

(classImplication & args)

SubClassOf := 'SubClassOf' '(' axiomAnnotations subClassExpression superClassExpression ')'

className clj

(className iri)

(className prefix name)

(className prefix name namespace)

Class := IRI

dataAll clj

(dataAll dataRoles dataRange)

DataAllValuesFrom := 'DataAllValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } DataRange ')'

dataAnd clj

(dataAnd datarange1 datarange2)

(dataAnd datarange1 datarange2 & dataranges)

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

dataExists clj

(dataExists dataRoles dataRange)

DataSomeValuesFrom := 'DataSomeValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } 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 dataRange)

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

dataRangeAtom clj

(dataRangeAtom dataRange darg)

DataRangeAtom := ‘DataRangeAtom’ ‘(’ DataRange DArg ‘)’

dataRole clj

(dataRole iri)

(dataRole prefix name)

(dataRole prefix name namespace)

DataPropertyExpression := DataProperty

dataRoleAtom clj

(dataRoleAtom dataRole iarg darg)

DataPropertyAtom := ‘DataPropertyAtom’ ‘(’ DataProperty IArg DArg ‘)’

dataRoleDomain clj

(dataRoleDomain & args)

DataPropertyDomain := 'DataPropertyDomain' '(' axiomAnnotations DataPropertyExpression ClassExpression ')'

dataRoleFact clj

(dataRoleFact & args)

DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')'

dataRoleImplication clj

(dataRoleImplication & args)

SubDataPropertyOf := 'SubDataPropertyOf' '(' axiomAnnotations subDataPropertyExpression superDataPropertyExpression ')'

dataRoleName clj

(dataRoleName iri)

(dataRoleName prefix name)

(dataRoleName prefix name namespace)

DataProperty := IRI

dataRoleRange clj

(dataRoleRange & args)

DataPropertyRange := 'DataPropertyRange' '(' axiomAnnotations DataPropertyExpression DataRange ')'

dataType clj

(dataType iri)

(dataType prefix name)

(dataType prefix name namespace)

Datatype := IRI

dataTypeDefinition clj

(dataTypeDefinition & args)

DatatypeDefinition := 'DatatypeDefinition' '(' axiomAnnotations Datatype DataRange ')'

datatypeRestriction clj

(datatypeRestriction & args)

DatatypeRestriction := 'DatatypeRestriction' '(' Datatype constrainingFacet restrictionValue { constrainingFacet restrictionValue } ')'

declaration clj

(declaration & args)

Declaration := 'Declaration' '(' axiomAnnotations Entity ')'

defaultPrefixes clj

The default prefixes for OWL

dgAxiom clj

(dgAxiom & args)

DGAxiom ::= ‘DescriptionGraph’ ‘(’ {Annotation} DGName DGNodes DGEdges MainClasses ‘)’

dgEdges clj

(dgEdges edge)

(dgEdges edge & edges)

EdgeAssertion ::= ‘EdgeAssertion’ ‘(’ ObjectProperty DGNode DGNode ‘)’

dgName clj

(dgName iri)

DGName ::= IRI

dgNodes clj

(dgNodes node)

(dgNodes node & nodes)

DGNodes ::= ‘Nodes’‘(’ NodeAssertion { NodeAssertion } ‘)’

dgRule clj

(dgRule & args)

DGRule ::= DescriptionGraphRule ‘(’ {Annotation} ‘Body’ ‘(’ {DGAtom} ‘)’ ‘Head’ ‘(’ {DGAtom} ‘)’ ‘)'

directImport clj

(directImport iri)

'Import' '(' IRI ')'

directImports clj

(directImports & imports)

directlyImportsDocuments := { 'Import' '(' IRI ')' }

disjClasses clj

(disjClasses & args)

DisjointClasses := 'DisjointClasses' '(' axiomAnnotations ClassExpression ClassExpression { ClassExpression } ')'

disjDataRoles clj

(disjDataRoles & args)

DisjointDataProperties := 'DisjointDataProperties' '(' axiomAnnotations DataPropertyExpression DataPropertyExpression { DataPropertyExpression } ')'

disjOr clj

(disjOr & args)

DisjointUnion := 'DisjointUnion' '(' axiomAnnotations Class disjointClassExpressions ')'

disjRoles clj

(disjRoles & args)

DisjointObjectProperties := 'DisjointObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

dlSafeRule clj

(dlSafeRule & args)

DLSafeRule ::= DLSafeRule ‘(’ axiomAnnotations ‘Body’ ‘(’ {Atom} ‘)’ ‘Head’ ‘(’ {Atom} ‘)’ ‘)’

dropAnnotation clj

(dropAnnotation ontology annotation)

Drops the annotation from the ontology

dropAnnotations clj

(dropAnnotations ontology & annotations)

Drops all annotations in the set from the ontology

dropAxiom clj

(dropAxiom ontology axiom)

Drops the axiom from the ontology

dropAxioms clj

(dropAxioms ontology & axioms)

Drops all axioms in the set from the ontology

dropImport clj

(dropImport ontology import)

Drops the import from the ontology

dropImports clj

(dropImports ontology & imports)

Drops all imports in the set from the ontology

dropPrefix clj

(dropPrefix ontology prefix)

Drops the prefix from the ontology. Removes it from any IRI in the ontology

dropPrefixes clj

(dropPrefixes ontology & prefixes)

Drops all prefixes in the set from the ontology

edgeFact clj

(edgeFact role node1 node2)

EdgeAssertion ::= ‘EdgeAssertion’ ‘(’ ObjectProperty DGNode DGNode ‘)’

emptyOntology clj

Returns an empty ontology with no prefixes

emptyOntologyFile clj

Returns an empty ontology file with the default OWL prefixes.

entity clj

(entity thing)

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

exists clj

(exists role class)

ObjectSomeValuesFrom := 'ObjectSomeValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'

fact clj

(fact & args)

Will attempt to infer a valid fact based on the arguments supplied. If the first argument is string, it will create a class fact when there are 2, role fact when 3.

functionalDataRole clj

(functionalDataRole & args)

FunctionalDataProperty := 'FunctionalDataProperty' '(' axiomAnnotations DataPropertyExpression ')'

functionalInverseRole clj

(functionalInverseRole & args)

InverseFunctionalObjectProperty := 'InverseFunctionalObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

functionalRole clj

(functionalRole & args)

FunctionalObjectProperty := 'FunctionalObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

getAnnotations clj

(getAnnotations ontology)

Returns the annotations from an ontology in a lazy sequence

getAxioms clj

(getAxioms ontology)

Returns the axioms from an ontology in a lazy sequence

getAxiomsNoAnnotations clj

(getAxiomsNoAnnotations ontology)

Returns the axioms from an ontology without annotations in a lazy sequence

getClassAxioms clj

(getClassAxioms ontology)

Returns the class axioms from an ontology in a lazy sequence

getClassAxiomsNoAnnotations clj

(getClassAxiomsNoAnnotations ontology)

Returns the class axioms from an ontology without annotations in a lazy sequence

getClasses clj

(getClasses object)

Gets a set of all the classes used in this object

getClassNames clj

(getClassNames object)

Gets a set of all the class names used in this object

getDataRoleAxioms clj

(getDataRoleAxioms ontology)

Returns the data role axioms from an ontology in a lazy sequence

getDataRoleAxiomsNoAnnotations clj

(getDataRoleAxiomsNoAnnotations ontology)

Returns the data role axioms from an ontology without annotations in a lazy sequence

getDataRoleNames clj

(getDataRoleNames object)

Gets a set of all the data role names used in this object

getDataTypes clj

(getDataTypes object)

Gets a set of all the data types used in this object

getFacts clj

(getFacts ontology)

Returns the facts from an ontology in a lazy sequence

getFactsNoAnnotations clj

(getFactsNoAnnotations ontology)

Returns the facts from an ontology without annotations in a lazy sequence

getImports clj

(getImports ontology)

Returns the imports from an ontology in a lazy sequence

getIRIs clj

(getIRIs object)

Gets a set of all the iris used in this object

getNames clj

(getNames object)

Gets the set of all the class, role, and dataRole, individual, dataType, and annotationRole names used in this object. This is identical with the 'Entity' definition in the OWL specification

getNNF clj

(getNNF object)

Gets the NNF of any object that is a class axiom or a class. Any non-class axiom or non-class is returned, since NNF is undefined.

getOntologyIRI clj

(getOntologyIRI ontology)

Returns the ontology IRI from an ontology

getPredicateNames clj

(getPredicateNames object)

Gets the set of all the class, role, and dataRole names used in this object. Predicate means anything that can contain an individual (not a datatype).

getPrefixes clj

(getPrefixes ontology)

Returns the prefixes from an ontology in a lazy sequence

getRoleAxioms clj

(getRoleAxioms ontology)

Returns the role axioms from an ontology in a lazy sequence

getRoleAxiomsNoAnnotations clj

(getRoleAxiomsNoAnnotations ontology)

Returns the role axioms from an ontology without annotations in a lazy sequence

getRoleChains clj

(getRoleChains object)

Gets a set of all the roles chains used in this object

getRoleNames clj

(getRoleNames object)

Gets a set of all the role names used in this object

getRoles clj

(getRoles object)

Gets a set of all the roles used in this object

getVersionIRI clj

(getVersionIRI ontology)

Returns the version IRI from an ontology

hasKey clj

(hasKey & args)

HasKey := 'HasKey' '(' axiomAnnotations ClassExpression '(' { ObjectPropertyExpression } ')' '(' { DataPropertyExpression } ')' ')'

head clj

(head & atoms)

The head of a SWRL or dg Rule

implies clj

(implies & args)

Will attempt to infer a valid implication based on the arguments supplied. If all arguments are string or IRI, it will create a class implication.

individual clj

(individual iri)

(individual prefix name)

(individual prefix name namespace)

Individual := IRI | nodeID

inverseRole clj

(inverseRole iri)

(inverseRole prefix name)

(inverseRole prefix name namespace)

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

inverseRoleName clj

(inverseRoleName iri)

(inverseRoleName prefix name)

(inverseRoleName prefix name namespace)

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

inverseRoles clj

(inverseRoles & args)

InverseObjectProperties := 'InverseObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression ')'

IRI clj

(IRI iri)

(IRI prefix name)

(IRI prefix name namespace)

IRI := String

irreflexiveRole clj

(irreflexiveRole & args)

IrreflexiveObjectProperty := 'IrreflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

literal clj

(literal literalString)

literal := stringLiteral | typedLiteral

mainClasses clj

(mainClasses class)

(mainClasses class & classes)

MainClasses ::= ‘MainClasses’ ‘(’ Class { Class } ‘)’

makeOWLFile clj

(makeOWLFile ontology filename & fileType)

Writes an owl file of the ontology with the supplied file name. Optional argument allows choice of file type. No option defaults to functional syntax. (Currently only functional syntax defined)

metaAnnotations clj

(metaAnnotations annotations)

annotationAnnotations := { Annotation }

negate clj

(negate class)

same as not, but doesn't make double negations

nodeFact clj

(nodeFact class node)

NodeAssertion ::= ‘NodeAssertion’‘(’ Class DGNode ‘)’

nominal clj

(nominal individual)

(nominal individual & individuals)

ObjectOneOf := 'ObjectOneOf' '(' Individual { Individual }')'

not clj

(not class)

ObjectComplementOf := 'ObjectComplementOf' '(' ClassExpression ')'

notDataRoleFact clj

(notDataRoleFact & args)

NegativeDataPropertyAssertion := 'NegativeDataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')'

notFact clj

(notFact & args)

Will attempt to infer a valid negative fact based on the arguments supplied. If the first argument is string, it will create a negative role fact.

notRoleFact clj

(notRoleFact & args)

NegativeObjectPropertyAssertion := 'NegativeObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')'

ontology clj

(ontology)

(ontology imports annotations axioms)

(ontology ontologyIRI imports annotations axioms)

(ontology ontologyIRI versionIRI imports annotations axioms)

Ontology := 'Ontology' '(' [ ontologyIRI [ versionIRI ] ] directlyImportsDocuments ontologyAnnotations axioms ')' Returns an Ontology without any prefixes. No arguments returns an empty ontology.

ontologyAnnotations clj

(ontologyAnnotations annotations)

ontologyAnnotations := { Annotation }

ontologyFile clj

(ontologyFile)

(ontologyFile ontology)

(ontologyFile prefixes ontology)

ontologyDocument := { prefixDeclaration } Ontology Returns an Ontology File with the default OWL prefixes and any additional prefixes supplied. No arguments returns an empty ontology file.

ontologyIRI clj

(ontologyIRI iri)

ontologyIRI := IRI

or clj

(or class1 class2)

(or class1 class2 & classes)

ObjectUnionOf := 'ObjectUnionOf' '(' ClassExpression ClassExpression { ClassExpression } ')'

partialDataRole clj

(partialDataRole dataRole literal)

DataHasValue := 'DataHasValue' '(' DataPropertyExpression Literal ')'

partialRole clj

(partialRole role individual)

ObjectHasValue := 'ObjectHasValue' '(' ObjectPropertyExpression Individual ')'

prefix clj

(prefix prefixName longIRI)

prefixDeclaration := 'Prefix' '(' prefixName '=' fullIRI ')'

prefixes clj

(prefixes & prefixes)

prefixes := { prefixDeclaration }

printStyle clj

Change printStyle to modify how the terminal output looks (files will still output in functional syntax)

toString - standard Functional syntax

toDLString - DL instead of functional

RDFSLiteral clj

rdfs:Literal

readOWLFile clj

(readOWLFile file & fileType)

Reads an OWL file to obtain an ontology. Optional argument allows choice of file type. No option defaults to functional syntax. (Currently only functional syntax defined)

reflexiveRole clj

(reflexiveRole & args)

ReflexiveObjectProperty := 'ReflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

restrictedValue clj

(restrictedValue facet restriction)

RestrictedFacet := constrainingFacet restrictionValue

role clj

(role iri)

(role prefix name)

(role prefix name namespace)

ObjectPropertyExpression := ObjectProperty | InverseObjectProperty

roleAtom clj

(roleAtom role iarg1 iarg2)

ObjectPropertyAtom := ‘ObjectPropertyAtom’ ‘(’ ObjectPropertyExpression IArg IArg ‘)’

roleChain clj

(roleChain role1 role2)

(roleChain role1 role2 & roles)

propertyExpressionChain := 'ObjectPropertyChain' '(' ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

roleDomain clj

(roleDomain & args)

ObjectPropertyDomain := 'ObjectPropertyDomain' '(' axiomAnnotations ObjectPropertyExpression ClassExpression ')'

roleFact clj

(roleFact & args)

ObjectPropertyAssertion := 'ObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')'

roleImplication clj

(roleImplication & args)

SubObjectPropertyOf := 'SubObjectPropertyOf' '(' axiomAnnotations subObjectPropertyExpression superObjectPropertyExpression ')'

roleName clj

(roleName iri)

(roleName prefix name)

(roleName prefix name namespace)

ObjectProperty := IRI

roleRange clj

(roleRange & args)

ObjectPropertyRange := 'ObjectPropertyRange' '(' axiomAnnotations ObjectPropertyExpression ClassExpression ')'

Self clj

(Self iri)

(Self prefix name)

(Self prefix name namespace)

ObjectHasSelf := 'ObjectHasSelf' '(' ObjectPropertyExpression ')'

setOntologyIRI clj

(setOntologyIRI ontology iri)

Sets the Ontology IRI of he ontology to the input IRI

setVersionIRI clj

(setVersionIRI ontology iri)

Sets the Version IRI of the ontology to the input IRI. Throws an exception if there is no Ontology IRI for the ontology.

stringLiteral clj

(stringLiteral string)

(stringLiteral string lang)

stringLiteral := quotedString | quotedString languageTag

symmetricRole clj

(symmetricRole & args)

SymmetricObjectProperty := 'SymmetricObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

toClassImplications clj

(toClassImplications classaxiom)

Converts a class axiom to an equivalent axiom or set of axioms that are class implications

toDLString clj

(toDLString thing)

Returns a DL syntax string representation of the map object used to store the OWL object, or the default representation if there is no OWL type contained in the map.

Top clj

owl:Thing

TopData clj

owl:topDataProperty

TopRole clj

owl:topObjectProperty

toString clj

(toString thing)

Returns a functional syntax string representation of the map object used to store the OWL data, or the default representation if there is no OWL type contained in the map. Note that this is not the same as java toString.

toSyntacticEquivalent clj

(toSyntacticEquivalent axiom)

Converts an axiom to an equivalent axiom or set of axioms that are class, role, or dataRole implications if such an equivalence exists. Corresponds to the definitions of syntactic shortcuts in the OWL 2 Specification.

transitiveRole clj

(transitiveRole & args)

TransitiveObjectProperty := 'TransitiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

typedLiteral clj

(typedLiteral lexicalForm datatype)

typedLiteral := lexicalForm '^^' Datatype

variable clj

(variable iri)

An IRI that represents a SWRL variable

versionIRI clj

(versionIRI iri)

versionIRI := IRI