tawny.pattern — uk.org.russet/tawny-owl 2.2.0

as-facet clj

(as-facet oprop & entities)

(as-facet o oprop & entities)

cgem clj

Return a class defined by some closed property restrictions.

As owl-class but also accepts a :facet frame value. Classes will be replaced with a existential restrictions with a closure axioms.

All values of :facet frame must be from the same facet, as the class will be closed with these facets.

See also gem.

cgem-explicit clj

(cgem-explicit o clazz frames)

Return a class defined by some closed property restrictions.

As owl-class-explicit but also accepts a :facet frame value. Classes will be replaced with a existential restrictions with a closure axioms.

All values of :facet frame must be from the same facet, as the class will be closed with these facets.

See also gem-explicit.

defcgem clj macro

(defcgem entity & frames)

Define a new class with some closed properties.

As defclass with an added :facet frame. Classes will be replaced with existential restrictions with a closure axiom.

See also defgem.

defgem clj macro

(defgem entity & frames)

Defines a new class with some property restrictions.

As defclass with an added :facet frame. Each class in the facet will be replaced with an existential restriction using its relevant facet property.

defpartition clj macro

(defpartition partition-name partition-values & options)

As value-partition but accepts symbols instead of string and takes the ontology as a frame rather than first argument.

deftier clj macro

(deftier tier-name tier-values & options)

extend-frameify clj

(extend-frameify super-framed extended-explicit extended-keys)

Extend an existing frameify function with more frames.

super-framed is the existing function created by frameify.

extended-explicit is a function which should accept three values: the ontology, the entity created by super-framed and the frames as a map.

As with frameify, the returned function only accepts relevant frames and throws an exception otherwise.

extract-ontology-arg clj

(extract-ontology-arg args)

Give a set of frame arguments, return a map with the ontology frame and all the other arguments without the ontology frame.

facet clj

(facet & clazz)

(facet o & clazz)

Return an existential restriction for each of the facetted classes.

facet-closed clj

(facet-closed & clazz)

(facet-closed o & clazz)

facetvalue clj

gem clj

Return a class with some property restrictions.

As owl-class but also accepts a :facet frame value. Each class in the facet will be replaced with an existential restriction using its relevant facet property.

See also cgem which returns closed values.

gem-explicit clj

(gem-explicit o clazz frames)

Return a class with some property restrictions.

As owl-class-explicit but also accepts a :facet frame value. Each class in the facet will be replaced with an existential restriction using its relevant facet property.

See also cgem which returns closed values.

inpattern clj

intern-owl-entities clj

(intern-owl-entities entities)

Given a list of vectors of form [name entity], as returned by the p function, intern all the entities in the current namespace.

Named clj

p clj

(p entity-f o name & options)

Call the frame function entity-f but remove any nil arguments and the entire frames which only have nil arguments. Returns a vector of the name and the entity created, a form suitable for feeding to intern-owl-entities is necessary.

partition-values clj

pattern clj

pattern-annotations clj

(pattern-annotations entity)

(pattern-annotations o entity)

Returns pattern annotations of ENTITY or the empty list.

pattern-annotator clj

(pattern-annotator entities)

(pattern-annotator o entities)

(pattern-annotator o entities name)

Annotates all ENTITIES as part of a pattern.

This associated each entity with an anonymous individual. The individual is cached based on NAME or the .toString of the first entity. This is an attempt to make the function relatively idempotent, rather than just adding a new annotation each time.

pattern-entities clj

(pattern-entities pattern)

(pattern-entities o pattern)

Return all entites that are in pattern annotated with PATTERN, an anonymous invididual.

pattern-generator clj

(pattern-generator pattern-function args)

Macro generator function. Returns a form where args has the ontology frame removed and placed as the first arg, which is passed to the pattern-function, whose return values are interned.

pattern-iris clj

(pattern-iris pattern)

(pattern-iris o pattern)

Return all IRIs that are in pattern annotated with PATTERN, an anonymous invididual.

shared-pattern clj

(shared-pattern & entities)

(shared-pattern o & entities)

Return the OWLAnonymousIndividual(s) describing the pattern(s) to which all ENTITIES belong.

tier clj

(tier tier-name
      tier-values
      &
      {:keys [comment super domain disjoint cover functional prefix suffix
              property superproperty]
       :or {disjoint true
            cover true
            functional true
            prefix false
            suffix false
            property true
            superproperty false}})

(tier o
      tier-name
      tier-values
      &
      {:keys [comment super domain disjoint cover functional prefix suffix
              property superproperty]
       :or {disjoint true
            cover true
            functional true
            prefix false
            suffix false
            property true
            superproperty false}})

Return the entities for a new tier.

A tier is an entire level in the hierarchy.

TIER-NAME is the overall name for the partition.

TIER-VALUES is a sequence of the values. The values can either be strings representing the name of the value. Or a vector, the head of which is the name, and all the other values are additional frames to be passed to tawny.owl/owl-class.

In addition an tawny.owl/object-property is created, forming its name from the tier-name.

Keyword arguments are:

:comment for a comment to attach to all entities. :super the superclass of the partition. :domain is the domain for the object property. :disjoint (default: true) if the tier values should be disjoint. :cover (default: true) if the tier values should cover the tier. :functional (default: true) if the object-property should be functional.

:prefix (default: false) :suffix (default: false)

if true, use the tier name as a prefix or suffix, if a string use this, if a keyword, use the name of the keyword.

:property

if false, do not create a property.

if true, derive the property name from the tier name, else explicitly name the property, either as a string or keyword.

This returns a list of entity vectors created by the p function.

tier-values clj

(tier-values p)

(tier-values o p)

Given a value partition return the values. O is the Ontology, P the value partition.

value-partition clj

(value-partition partition-name
                 partition-values
                 &
                 {:keys [comment super domain]})

(value-partition o
                 partition-name
                 partition-values
                 &
                 {:keys [comment super domain]})

Return the entities for a new value partition.

PARTITION-NAME is the overall name for the partition.

PARTITION-VALUES is a sequence of the values. The values can either be strings representing the name of the value. Or a vector, the head of which is the name, and all the other values are additional frames to be passed to tawny.owl/owl-class.

Keyword arguments are :comment for a comment to attach to all entities. :super the superclass of the partition. :domain is the domain for the object property.

This returns a list of entity vectors created by the p function.

value-partition is a specific version of tier and is designed to represent a continuous range ontologically, by splitting it into discrete bins: the colours of the rainbow would be an example.

which-pattern clj

(which-pattern entity)

(which-pattern o entity)

Returns the OWLAnonymousIndividual(s) describing the pattern(s) which ENTITY is part of.