Functions that represent OWL ontology documents
Functions that represent OWL ontology documents
(directImports imports)directlyImportsDocuments := { 'Import' '(' IRI ')' }
directlyImportsDocuments := { 'Import' '(' IRI ')' }
(ontology imports annotations axiom)(ontology onto imports annotations axiom)(ontology onto vers imports annotations axiom)Ontology := 'Ontology' '(' [ ontologyIRI [ versionIRI ] ] directlyImportsDocuments ontologyAnnotations axioms ')'
Ontology := 'Ontology' '(' [ ontologyIRI [ versionIRI ] ] directlyImportsDocuments ontologyAnnotations axioms ')'
(ontologyAnnotations annotations)ontologyAnnotations := { Annotation }
ontologyAnnotations := { Annotation }
(ontologyFile ontology)(ontologyFile pref ontology)ontologyDocument := { prefixDeclaration } Ontology
ontologyDocument := { prefixDeclaration } Ontology
(prefix prefixName longIRI)prefixDeclaration := 'Prefix' '(' prefixName '=' fullIRI ')'
prefixDeclaration := 'Prefix' '(' prefixName '=' fullIRI ')'
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |