arachne.aristotle.validation
Utils for returning inference validation errors in a consistent way
Utils for returning inference validation errors in a consistent way
built-inclj
(built-in graph)Validator which discovers any validation errors returned by the Reasoner itself
Validator which discovers any validation errors returned by the Reasoner itself
min-cardinalityclj
(min-cardinality g)Return a validation error for all entities that do not conform to any minCardinality restrictions on their parent classes.
This validator is only correct when using Jena's Owl mini reasoner. The full reasoner uses minCardinality to infer the existence of blank nodes as values of a minCardinality property which while technically valid is not helpful for determining if something is logically missing.
Return a validation error for all entities that do not conform to any minCardinality restrictions on their parent classes. This validator is only correct when using Jena's Owl mini reasoner. The full reasoner uses minCardinality to infer the existence of blank nodes as values of a minCardinality property which while technically valid is not helpful for determining if something is logically missing.
validateclj
(validate g)(validate g validators)Validate the given graph, returning a sequence of validation errors or warnings. Always returns validation errors from the internal reaswoner's own consistency checks, as well as any additional validators provided.
Custom validators are functions which take a graph and return a collection of maps, each representing a validation error or warining.
Unlike the built-in validators, custom validators may peform arbitrary logic (i.e, perform validations such as minCardinality that require a closed-world reasoning model instaed of OWL's open-world default.)
Validate the given graph, returning a sequence of validation errors or warnings. Always returns validation errors from the internal reaswoner's own consistency checks, as well as any additional validators provided. Custom validators are functions which take a graph and return a collection of maps, each representing a validation error or warining. Unlike the built-in validators, custom validators may peform arbitrary logic (i.e, perform validations such as minCardinality that require a closed-world reasoning model instaed of OWL's open-world default.)
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close