Liking cljdoc? Tell your friends :D
ontology.annotations
Functions that represent OWL annotations
Functions that represent OWL annotations
ontology.axioms
Functions that represent OWL axioms
Functions that represent OWL axioms
- =classes
- =dataRoles
- =roles
- annotationDomain
- annotationFact
- annotationImplication
- annotationRange
- asymmetricRole
- classImplication
- dataRoleDomain
- dataRoleImplication
- dataRoleRange
- dataTypeDefinition
- declaration
- dgAxiom
- dgRule
- disjClasses
- disjDataRoles
- disjOr
- disjRoles
- dlSafeRule
- functionalDataRole
- functionalInverseRole
- functionalRole
- hasKey
- inverseRoles
- irreflexiveRole
- reflexiveRole
- roleChain
- roleDomain
- roleImplication
- roleRange
- symmetricRole
- transitiveRole
ontology.components
Functions that represent IRI components and datatypes
Functions that represent IRI components and datatypes
- Bot
- BotData
- BotRole
- className
- dataAnd
- dataNot
- dataOneOf
- dataOr
- dataRange
- dataRoleName
- dataType
- dataTypeMaps
- datatypeRestriction
- entity
- individual
- inverseRoleName
- IRI
- isReservedIRI?
- literal
- owlNS
- RDFLangString
- rdfNS
- RDFSLiteral
- rdfsNS
- reservedIRIs
- restrictedValue
- roleName
- stringLiteralNoLanguage
- stringLiteralWithLanguage
- Top
- TopData
- TopRole
- typedLiteral
- xsdNS
ontology.core
Wrapper to easily handle all OWL functions
Wrapper to easily handle all OWL functions
- !=individuals
- !=individualsAtom
- <=dataExists
- <=exists
- =classes
- =dataExists
- =dataRoles
- =exists
- =individuals
- =individualsAtom
- =roles
- >=dataExists
- >=exists
- addAnnotation
- addAnnotations
- addAxiom
- addAxioms
- addDeclarationsForAllIRIs
- addDefaultPrefixes
- addImport
- addImports
- addPrefix
- addPrefixes
- all
- and
- annotation
- annotationDataType
- annotationDomain
- annotationFact
- annotationImplication
- annotationRange
- annotationRole
- annotationSubject
- annotationValue
- asymmetricRole
- axiomAnnotations
- axioms
- body
- Bot
- BotData
- BotRole
- builtInAtom
- class
- classAtom
- classFact
- classImplication
- className
- dataAll
- dataAnd
- dataExists
- dataNot
- dataOneOf
- dataOr
- dataRange
- dataRangeAtom
- dataRole
- dataRoleAtom
- dataRoleDomain
- dataRoleFact
- dataRoleImplication
- dataRoleName
- dataRoleRange
- dataType
- dataTypeDefinition
- datatypeRestriction
- declaration
- defaultPrefixes
- dgAxiom
- dgEdges
- dgName
- dgNodes
- dgRule
- directImport
- directImports
- disjClasses
- disjDataRoles
- disjOr
- disjRoles
- dlSafeRule
- dropAnnotation
- dropAnnotations
- dropAxiom
- dropAxioms
- dropImport
- dropImports
- dropPrefix
- dropPrefixes
- edgeFact
- emptyOntology
- emptyOntologyFile
- entity
- exists
- fact
- functionalDataRole
- functionalInverseRole
- functionalRole
- getAnnotations
- getAxioms
- getAxiomsNoAnnotations
- getClassAxioms
- getClassAxiomsNoAnnotations
- getClasses
- getClassNames
- getDataRoleAxioms
- getDataRoleAxiomsNoAnnotations
- getDataRoleNames
- getDataTypes
- getFacts
- getFactsNoAnnotations
- getImports
- getIRIs
- getNames
- getNNF
- getOntologyIRI
- getPredicateNames
- getPrefixes
- getRoleAxioms
- getRoleAxiomsNoAnnotations
- getRoleChains
- getRoleNames
- getRoles
- getVersionIRI
- hasKey
- head
- implies
- individual
- inverseRole
- inverseRoleName
- inverseRoles
- IRI
- irreflexiveRole
- literal
- mainClasses
- makeOWLFile
- metaAnnotations
- negate
- nodeFact
- nominal
- not
- notDataRoleFact
- notFact
- notRoleFact
- ontology
- ontologyAnnotations
- ontologyFile
- ontologyIRI
- or
- partialDataRole
- partialRole
- prefix
- prefixes
- printStyle
- RDFSLiteral
- readOWLFile
- reflexiveRole
- restrictedValue
- role
- roleAtom
- roleChain
- roleDomain
- roleFact
- roleImplication
- roleName
- roleRange
- Self
- setOntologyIRI
- setVersionIRI
- stringLiteral
- symmetricRole
- toClassImplications
- toDLString
- Top
- TopData
- TopRole
- toString
- toSyntacticEquivalent
- transitiveRole
- typedLiteral
- variable
- versionIRI
ontology.expressions
Functions that represent OWL expressionss
Functions that represent OWL expressionss
ontology.facts
Functions that represent OWL assertions
Functions that represent OWL assertions
ontology.file
Functions that represent OWL ontology documents
Functions that represent OWL ontology documents
ontology.IO
functions for outputting and inputting OWL data
functions for outputting and inputting OWL data
ontology.normalize
Functions that normalize ontology classes
Functions that normalize ontology classes
ontology.SWRL
Functions that represent SWRL components
Functions that represent SWRL components
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close