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 is a website building & hosting documentation for Clojure/Script libraries
× close