Boundz - a vocabulary for expressing reservations about incoming data

IRI:
http://sws.ifi.uio.no/vocab/boundz
Version IRI:
http://sws.ifi.uio.no/vocab/version/20130629/boundz
Date:
29/06/2013
Authors:
Martin G. Skjæveland - [[http://folk.uio.no/martige/foaf#me]]
Contributors:
Audun Stolpe
Other visualisation:
Ontology source

Abstract

This vocabulary defines generic constraints useful for expressing dependencies between source and target datasets in situations where a source dataset is to be merged with a target dataset and the target is particular with what data it is willing to accept. These constraints, are called !bounds! and are based on the graph-like triple structure of RDF graphs and draws ideas from of bisimulation from modal logic, conservative extensions of ontologies, and relational peer database exchange. Although simple and generic, bounds still have powerful and practical natural interpretations, and favorable computational properties. This vocabulary is designed to allow bounds to be specified, published, and re-used.

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Named Individuals
  6. Annotation Properties
  7. Namespace Declarations

Introduction

*Motivation:* Information attainable through the Web is unique, not only in terms of its scale and diversity, but also in its manner of production, being, as it is, characterised by collaborative accumulation of data and a lack of central authority and editorial control. This open, distributed and flat nature of the Web is often !the! essential ingredient that ensures the liveness of a data hub, exemplified by community curated databases such as Wikipedia, Wikidata and Freebase. Nevertheless, it does have implications for trust, data-quality and interface design that may require data publishers to protect themselves from unwanted, independent third-party contributions. There is, of course, no answer to which amendments that ought to be considered harmful in general. Rather, harmfulness is in the eye of the beholder and will depend upon the intended uses of a dataset and/or its associated schema: it may concern the terminology that is used to encode the data or it may concern only the data itself. The following three examples illustrate both cases. 1. !Ontology hijacking!: Ontology hijacking is the contribution of statements about classes and/or properties from a non-authoritative publisher that affects the logical properties, and thus also the reasoning, of those classes and properties. A third-party contributor could, for instance, subsume the dcterms:subject property from the Dublin Core vocabulary, say, under its own concept of an ex:topic, but would then be 'hijacking' dcterms:subject. If subsequently reasoning were to be applied to the recipient of the data, this hijacking would reproduce all statements using the dcterms:subject into statements using ex:topic. Thus, ontology hijacking is harmful insofar as it can increase the amount of data that is inferred from the ontology of the recipient considerably. For the same reason, hijacking can affect inference over data provided by other parties -- parties that may be relying on the terminology of the recipient to stay fixed. 2. !Ontology-driven faceted browsing!: The idea behind faceted search is to analyse and index search items along multiple orthogonal taxonomies that are called subject !facets!. From the end-users viewpoint, searching is reduced to the selection of categories along these. In !semantic! faceted search, the facets are based on ontologies and may be generated by reasoning. This makes the design of an interface and the user-experience of interacting with the system highly vulnerable to terminological changes, whence prudence and predictiveness dictates that one does not allow just any third-party to make assertions about classes and properties in the ontology that generates the facets---even though they may be allowed to contribute !data!. 3. !Closed topics! In recent years the concept of open government data has evolved into a febrile research area which has catalysed major public investments into data dissemination and reuse. The concept has even made its way into international law, e.g., the European Public Sector Information Directive. The access to open government data has been spearheaded by official government websites such as UK's [[http://data.gov.uk/]] and its US analogue [[http://www.data.gov/]]. There are also notable examples such as [[http://openelectiondata.org/]], which, although it is not a government initiative, has gained official endorsement. Now, government data often contains what may be called closed topics, that is, data that once it is published should not be altered or amended. Election results are a case in point. Thus, although a data hub serving government data may wish to remain distributed and collaborative, it may wish to 'seal off' certain subsets of the data in order to protect them from any kind of noise. *Documentation:* This ontology is documented according to the description found at [[http://www.essepuntato.it/lode]]. The documentation is generated using the URL [[http://www.essepuntato.it/lode/reasoner/http://sws.ifi.uio.no/vocab/boundz]]. *Implementation:* A prototype implementation which computes [[#Exchange]]s according [[#ExchangeSchema]]s is available at [[http://sws.ifi.uio.no/project/boundz/]]. This site also contains examples of use of this vocabularies and related information. *Overview of vocabulary*

Classes

Boundc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Bound

A Bound is used to express reservations about incoming data to a target [[#Graph]]. A bound specifies the new triples a target is willing to accept in terms of a the pattern which can identify new and old elements, where 'new' means that the element or triple does not exist in the target and 'old' means that the element exists in the target. This class is 'abstract', please use a subclass. The subclasses are hierarchically related so that a superclass is more restrictive in terms of the kind of triple patterns it accepts than any of its subclasses, i.e., a Bound, in addition to accepting triples satisfying its own triple pattern, will accept triples satisfying the pattern of any of its superclasses.
has sub-classes
Bound: (s ∧ p) ∨ (s ∧ o) ∨ (p ∧ o)c, Bound: oc, Bound: o ∧ (s ∨ p)c, Bound: o ∨ (s ∧ p)c, Bound: pc, Bound: p ∧ (s ∨ o)c, Bound: p ∧ oc, Bound: p ∨ (s ∧ o)c, Bound: p ∨ oc, Bound: sc, Bound: s ∧ (p ∨ o)c, Bound: s ∧ oc, Bound: s ∧ pc, Bound: s ∧ p ∧ oc, Bound: s ∨ (p ∧ o)c, Bound: s ∨ oc, Bound: s ∨ o ∨ pc, Bound: s ∨ pc, Bound: ⊤c, Bound: ⊥c
is in domain of
hasExceptionop, hasRestrictionop, objectRestrictionop, predicateRestrictionop, subjectRestrictionop
is in range of
violationOnBoundop
*Note*: Subclasses of Bound have localnames using Jan Łukasiewicz's prefix notation and 'K' for intersection (conjunction (koniunkcja)) and 'A' for union (disjunction (alternatywa)). This is to avoid parenthesis and funny characters like & in the URIs. *Overview of the subclasses of Bound*:

Bound: (s ∧ p) ∨ (s ∧ o) ∨ (p ∧ o)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#AAKspKsoKpo

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new or the predicate is new; and the subject is new or the object is new; and the predicate is new or the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old and the predicate is old; or the subject is old and the object is old; or the predicate is old and the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
(Bound: oc and Bound: pc) or (Bound: oc and Bound: sc) or (Bound: pc and Bound: sc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: oc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#o

This [[#Bound]] reads: !The target accepts consuming new triples where the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the object is old, where 'old' means that the element already exists in the target!.
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: o ∧ (s ∨ p)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#KoAsp

This [[#Bound]] reads: !The target accepts consuming new triples where the object is new; or the subject is new and the predicate is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the object is old; and the subject is old or the predicate is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc and (Bound: pc or Bound: sc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: o ∨ (s ∧ p)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#AoKsp

This [[#Bound]] reads: !The target accepts consuming new triples where the object is new; and the subject is new or the predicate is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the object is old; or the subject is old and the predicate is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc or (Bound: pc and Bound: sc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: pc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#p

This [[#Bound]] reads: !The target accepts consuming new triples where the predicate is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the predicate is old, where 'old' means that the element already exists in the target!.
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: p ∧ (s ∨ o)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#KpAso

This [[#Bound]] reads: !The target accepts consuming new triples where the predicate is new; or the subject is new and the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the predicate is old; and the subject is old or the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: pc and (Bound: oc or Bound: sc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: p ∧ oc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Kpo

This [[#Bound]] reads: !The target accepts consuming new triples where the predicate is new or the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the predicate is old and the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc and Bound: pc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: p ∨ (s ∧ o)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#ApKso

This [[#Bound]] reads: !The target accepts consuming new triples where the predicate is new; and the subject is new or the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the predicate is old; or the subject is old and the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: pc or (Bound: oc and Bound: sc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: p ∨ oc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Apo

This [[#Bound]] reads: !The target accepts consuming new triples where the predicate is new and the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the predicate is old or the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc or Bound: pc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: sc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#s

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old, where 'old' means that the element already exists in the target!.
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∧ (p ∨ o)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#KsApo

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new; or the predicate is new and the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old; and the predicate is old or the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: sc and (Bound: oc or Bound: pc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∧ oc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Kso

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new or the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old and the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc and Bound: sc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∧ pc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Ksp

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new or the predicate is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old and the predicate is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: pc and Bound: sc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∧ p ∧ oc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#KKspo

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new or the predicate is new or the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old and the predicate is old and the object is old, where 'old' means that the element already exists in the target!, i.e., it does not permit the target to consume triples which re-arrange elements in the target. This bound is the weakest of the proper bounds, i.e., disregarding the unbounded bound bz:F, and is the least requirement for securing a bounded extension of the target.
is equivalent to
Bound: oc and Bound: pc and Bound: sc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∨ (p ∧ o)c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#AsKpo

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new; and the predicate is new or the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old; or the predicate is old and the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: sc or (Bound: oc and Bound: pc)
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∨ oc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Aso

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new and the object is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old or the object is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc or Bound: sc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∨ o ∨ pc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#AAspo

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new and the object is new and the predicate is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old or the object is old or the predicate is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: oc or Bound: pc or Bound: sc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: s ∨ pc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Asp

This [[#Bound]] reads: !The target accepts consuming new triples where the subject is new and the predicate is new, where 'new' means that the element or triple does not exist in the target!, or equivalently: !The target rejects consuming new triples where the subject is old or the predicate is old, where 'old' means that the element already exists in the target!.
is equivalent to
Bound: pc or Bound: sc
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: ⊥c

Bound: ⊤c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#T

This [[#Bound]] reads: !The target rejects consuming new triples, where 'new' means that the element or triple does not exist in the target!.
has super-classes
Boundc
Bound: ⊤c
has sub-classes
Bound: (s ∧ p) ∨ (s ∧ o) ∨ (p ∧ o)c, Bound: oc, Bound: o ∧ (s ∨ p)c, Bound: o ∨ (s ∧ p)c, Bound: pc, Bound: p ∧ (s ∨ o)c, Bound: p ∧ oc, Bound: p ∨ (s ∧ o)c, Bound: p ∨ oc, Bound: sc, Bound: s ∧ (p ∨ o)c, Bound: s ∧ oc, Bound: s ∧ pc, Bound: s ∧ p ∧ oc, Bound: s ∨ (p ∧ o)c, Bound: s ∨ oc, Bound: s ∨ o ∨ pc, Bound: s ∨ pc, Bound: ⊤c, Bound: ⊥c

Bound: ⊥c back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#F

This [[#Bound]] reads: !The target accepts consuming any triple!. This bound is only useful to explicitly indicate that (parts of) an [[#Exchange]] is unbounded.
has super-classes
Bound: (s ∧ p) ∨ (s ∧ o) ∨ (p ∧ o)c
Bound: s ∨ o ∨ pc
Bound: o ∨ (s ∧ p)c
Bound: p ∨ (s ∧ o)c
Bound: p ∨ oc
Bound: s ∨ (p ∧ o)c
Bound: s ∨ oc
Bound: s ∨ pc
Boundc
Bound: s ∧ p ∧ oc
Bound: o ∧ (s ∨ p)c
Bound: p ∧ (s ∨ o)c
Bound: p ∧ oc
Bound: s ∧ (p ∨ o)c
Bound: s ∧ oc
Bound: s ∧ pc
Bound: ⊤c
Bound: oc
Bound: pc
Bound: sc

BoundedGraphc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#BoundedGraph

A BoundedGraph is a [[#Graph]] that expresses reservations about incoming data using [[#Bound]]s. This is done by relating the Graph to one or more Bounds or [[#BoundSet]]s using the [[#hasBound]] property.
is equivalent to
Graphc and (hasBoundop some Boundc)

BoundSetc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#BoundSet

A BoundSet is a collection of one or more [[#Bound]]s, and is useful for grouping together related Bounds, e.g., Bounds which restrict the consumption of triples from a specific namespace.
has super-classes
hasBoundop some Boundc or BoundSetc

Exceptionc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Exception

An Exception specifies how [[#Violation]]s to a [[#Bound]] shall be handled. The different Exceptions are [[#ignoreSources]], [[#ignoreSource]] and [[#ignoreViolations]], which all specify in different degree the size of the payload in the case of a violation on the Bound.
is in range of
hasExceptionop
has members
ignoreSourceni, ignoreSourcesni, ignoreViolationsni

Exchangec back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Exchange

An Exchange is an instance of a [[#ExchangeSchema]] and represents an exchange of data from source(s) to the target specified in the ExchangeSchema. A Exchange has a payload graph which is a permissible extension of the target according to the bounds specified by the ExchangeSchema.
has super-classes
thingc
instanceOfop exactly 1 ExchangeSchemac
timestampdp exactly 1
hasPayloadop some Graphc
is in domain of
hasPayloadop, hasViolationop

ExchangeSchemac back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#ExchangeSchema

An ExchangeSchema is a specification for [[#Exchange]]s of data from a set of source graphs to a target graph. The payload of the exchange must adhere to the [[#Bound]]s set by the ExchangeSchema.
has super-classes
hasTargetop exactly 1 Graphc
hasBoundop some Boundc
hasSourceop some Graphc
is in domain of
hasSourceop, hasTargetop, outputPayloaddp, outputViolationsdp, sourceReasoningdp, targetReasoningdp

Graphc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Graph

An RDF graph; a set of RDF triples.
is equivalent to
graphc
has super-classes
datasetc
is in domain of
boundedExtensionop, hasTripleop, noOfTriplesdp
is in range of
boundedExtensionop, hasPayloadop, hasSourceop, hasTargetop, violationOnSourceop, violationOnTriplesop

Violationc back to ToC or Class ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#Violation

A Violation represents the violating triples of a [[#Bound]] for a given [[#Exchange]] (related by the [[#hasViolation]] property) and a source (see [[#hasSource]]), i.e., a Violation is a 4-ary relation which relates an Exchange, the unsatisfied Bound, the triples which does not satisfy the Bound, and the source Graph where the triples come from.
has super-classes
violationOnSourceop exactly 1 Graphc
violationOnTriplesop exactly 1 Graphc
inverse hasViolationop exactly 1 Exchangec
violationOnBoundop exactly 1 Boundc
is in domain of
violationOnBoundop, violationOnSourceop, violationOnTriplesop
is in range of
hasViolationop

Object Properties

boundedExtensionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#boundedExtension

A boundedExtension is a relation between the target and payload of an [[#Exchange]] and indicates that the payload graph is a bounded extension of the target graph.
has domain
Graphc
has range
Graphc
has sub-property chains
o o hasPayloadop

classRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#classRestriction

A classRestriction is a [[#hasRestriction]] property that relates a [[#Bound]] to a type resource, i.e., a class, and is used to restrict the triples to which the Bound applies to those which have an element of the given type. This restriction is interpreted *conjunctively*, i.e., if several class restrictions are specified, the element must be member of all the types. This property is 'abstract', please use one of its subproperties.
has super-properties
hasRestrictionop
has sub-properties
objectClassop, predicateClassop, subjectClassop
*Example:* If a Bound has a classRestriction on the object position requiring it to be of type ex:Bird, then the bound applies only to triples where the object is a ex:Bird.

hasBoundop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasBound

This property is used to assign [[#Bound]]s to [[#ExchangeSchema]]s, [[#BoundSet]]s or [[#BoundedGraph]]s.

has characteristics: transitive

has domain
BoundSetc or BoundedGraphc or ExchangeSchemac
has range
Boundc or BoundSetc

hasExceptionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasException

This property is used to assign [[#Exception]]s to [[#Bound]]s.
has domain
Boundc
has range
Exceptionc

hasPayloadop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasPayload

This property relates the payload graph, i.e., the data that is accepted by the target in an Exchange to the [[#Exchange]].

has characteristics: functional

has domain
Exchangec
has range
Graphc

hasRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasRestriction

This property restricts the applicability of a [[#Bound]] to a specified resource, namespace or class. This property is 'abstract', please use one of its subproperties.

hasSourceop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasSource

Specifies the source [[#Graph]](s) of an [[#Exchange]].
has domain
ExchangeSchemac
has range
Graphc

hasTargetop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasTarget

Specifies the target [[#Graph]] of an [[#Exchange]].
has domain
ExchangeSchemac
has range
Graphc

hasTripleop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasTriple

This property relates a [[#Graph]] to an triple/statement in the Graph.
has domain
Graphc
has range
statementc

hasViolationop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#hasViolation

This property relates an [[#Exchange]] to a [[#Violation]].
has domain
Exchangec
has range
Violationc

instanceOfop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#instanceOf

namespaceRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#namespaceRestriction

A namespaceRestriction is a [[#hasRestriction]] property that relates a [[#Bound]] to a namespace and is used to restrict the triples to which the Bound applies to those that belong to the given namespace. This restriction is interpreted *disjunctively*, i.e., if several class restrictions are specified, the element need only belong one of the namespaces. This property is 'abstract', please use one of its subproperties.
has super-properties
hasRestrictionop
has sub-properties
objectNamespaceop, predicateNamespaceop, subjectNamespaceop
*Example*: If a Bound has a namespaceRestriction on the predicate position which specifies that the predication must belong to the RDF namespace, then the Bound applies only to triples where the predicate belongs to this namespace.

objectClassop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#objectClass

Specifies a [[#classRestriction]] on the object position of a [[#Bound]].
has super-properties
classRestrictionop
objectRestrictionop

objectNamespaceop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#objectNamespace

Specifies a [[#namespaceRestriction]] on the object position of a [[#Bound]].

objectRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#objectRestriction

Specifies a restriction on the object position of a [[#Bound]]. This property is 'abstract', please use one of its subproperties.
has super-properties
hasRestrictionop
has sub-properties
objectClassop, objectNamespaceop, objectValueop
has domain
Boundc

objectValueop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#objectValue

Specifies a [[#valueRestriction]] on the object position of a [[#Bound]].
has super-properties
objectRestrictionop
valueRestrictionop

predicateClassop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#predicateClass

Specifies a [[#classRestriction]] on the predicate position of a [[#Bound]].
has super-properties
classRestrictionop
predicateRestrictionop

predicateNamespaceop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#predicateNamespace

Specifies a [[#namespaceRestriction]] on the predicate position of a [[#Bound]].

predicateRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#predicateRestriction

Specifies a restriction on the predicate position of a [[#Bound]]. This property is 'abstract', please use one of its subproperties.
has super-properties
hasRestrictionop
has sub-properties
predicateClassop, predicateNamespaceop, predicateValueop
has domain
Boundc

predicateValueop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#predicateValue

Specifies a [[#valueRestriction]] on the predicate position of a [[#Bound]].
has super-properties
predicateRestrictionop
valueRestrictionop

subjectClassop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#subjectClass

Specifies a [[#classRestriction]] on the subject position of a [[#Bound]].
has super-properties
classRestrictionop
subjectRestrictionop

subjectNamespaceop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#subjectNamespace

Specifies a [[#namespaceRestriction]] on the subject position of a [[#Bound]].

subjectRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#subjectRestriction

Specifies a restriction on the subject position of a [[#Bound]]. This property is 'abstract', please use one of its subproperties.
has super-properties
hasRestrictionop
has sub-properties
subjectClassop, subjectNamespaceop, subjectValueop
has domain
Boundc

subjectValueop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#subjectValue

Specifies a [[#valueRestriction]] on the subject position of a [[#Bound]].
has super-properties
subjectRestrictionop
valueRestrictionop

valueRestrictionop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#valueRestriction

A valueRestriction is a [[#hasRestriction]] property that relates a [[#Bound]] to a resource and is used to restrict the triples to which the Bound applies to those equal to the given resource. This restriction is interpreted *disjunctively*, i.e., if several values restrictions are specified, the element need only be equal to one of the values. This property is 'abstract', please use one of its subproperties.
has super-properties
hasRestrictionop
has sub-properties
objectValueop, predicateValueop, subjectValueop

violationOnBoundop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#violationOnBound

This property relates a [[#Violation]] to the [[#Bound]] it violates.
has domain
Violationc
has range
Boundc

violationOnSourceop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#violationOnSource

This property relates a [[#Violation]] to the source that violates the [[#Bound]].
has domain
Violationc
has range
Graphc

violationOnTriplesop back to ToC or Object Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#violationOnTriples

This property relates a [[#Violation]] to the set of triples that violates the [[#Bound]].
has domain
Violationc
has range
Graphc

Data Properties

noOfTriplesdp back to ToC or Data Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#noOfTriples

Indicates the number of triples in the [[#Graph]].

has characteristics: functional

has domain
Graphc
has range
integer

outputPayloaddp back to ToC or Data Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#outputPayload

Specifies whether or not the payload graph (see [[#hasPayload]]) should be included in the exchange. If the value is set to false, the payload is not included. If [[#Graph]]s are large, then setting this to true may create considerable output.

has characteristics: functional

has domain
ExchangeSchemac
has range
boolean

outputViolationsdp back to ToC or Data Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#outputViolations

Specifies whether or not the violating triples (see [[#hasViolation]]) should be included in the exchange. If the value is set to false, the violating triples are not included. If [[#Graph]]s are large, then setting this to true may create considerable output.

has characteristics: functional

has domain
ExchangeSchemac
has range
boolean

sourceReasoningdp back to ToC or Data Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#sourceReasoning

Specifies whether or not the source graphs are to be saturated before computing the [[#Exchange]].

has characteristics: functional

has domain
ExchangeSchemac
has range
boolean

targetReasoningdp back to ToC or Data Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#targetReasoning

Specifies whether or not the target graph are to be saturated before computing the [[#Exchange]].

has characteristics: functional

has domain
ExchangeSchemac
has range
boolean

timestampdp back to ToC or Data Property ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#timestamp

has range
date time

Named Individuals

ignoreSourceni back to ToC or Named Individual ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#ignoreSource

This [[#Exception]] specifies that if the [[#Bound]] with this exception is not satisfied, then the source [[#Graph]] that contains the violation should be ignored altogether for the [[#Exchange]] in question, i.e., no data from this source will be accepted by the target in this Exchange.
belongs to
Exceptionc

ignoreSourcesni back to ToC or Named Individual ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#ignoreSources

This [[#Exception]] specifies that if the [[#Bound]] with this exception is not satisfied, then all source [[#Graph]]s for the [[#Exchange]] in question shall be ignored, i.e., no data in this exchange will be accepted by the target in this Exchange.
belongs to
Exceptionc

ignoreViolationsni back to ToC or Named Individual ToC

IRI: http://sws.ifi.uio.no/vocab/boundz#ignoreViolations

This [[#Exception]] specifies that if the [[#Bound]] with this exception is not satisfied, then the violating triples for the [[#Exchange]] in question shall be ignored, i.e., the data that satisfies the Bound will be accepted by the target in this Exchange, but the violating triples will not be accepted.
belongs to
Exceptionc

Annotation Properties

descriptionap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/description

Namespace Declarations back to ToC

default namespace
http://sws.ifi.uio.no/vocab/boundz#
20130629
http://sws.ifi.uio.no/vocab/version/20130629/
assettype
http://purl.org/adms/assettype/
dc
http://purl.org/dc/elements/1.1/
dcmitype
http://purl.org/dc/dcmitype/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
sparql-service-description
http://www.w3.org/ns/sparql-service-description#
status
http://purl.org/adms/status/
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
vocab
http://sws.ifi.uio.no/vocab/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.