diff --git a/specs/solid-indexing/index.html b/specs/solid-indexing/index.html index 7d1230d..e3bda3c 100644 --- a/specs/solid-indexing/index.html +++ b/specs/solid-indexing/index.html @@ -18,51 +18,60 @@
-

This document proposes an RDF vocabulary to describe indexes which are intended to be published on the Web, to facilitate the search of data by Semantic Web agents. Some indexing and index-querying techniques are also introduced.

+

This document proposes an RDF vocabulary to describe indexes which are intended to be published on the Web, to + facilitate the search of data by Semantic Web agents. Some indexing and index-querying techniques are also + introduced.

@@ -73,13 +82,22 @@

Introduction

-

The Semantic Web vision consists in publishing on the Web machine-readable documents so that machine, like humans, become able to browse the Web, following links from one document to another, in order to gather information and answer complex questions.

+

The Semantic Web vision consists in publishing on the Web machine-readable documents so that machine, like + humans, become able to browse the Web, following links from one document to another, in order to gather + information and answer complex questions.

-

Hovewer, when a lot of data is available, gathering information and answering complex questions becomes very ineffiscient without indexes. Indexes are made of meta-data that allow to find data more easily and more quickly. Indexing is a widely used mechanism in all kind of software, especially in databases.

+

Hovewer, when a lot of data is available, gathering information and answering complex questions becomes very + ineffiscient without indexes. Indexes are made of meta-data that allow to find data more easily and more quickly. + Indexing is a widely used mechanism in all kind of software, especially in databases.

-

This document proposes an RDF vocabulary to describe one kind of such indexes, which are also intended to be published on the Web, to facilitate the search of data by Semantic Web agents. In addition, this document also presents some indexing and index-querying techniques.

+

This document proposes an RDF vocabulary to describe one kind of such indexes, which are also intended to be + published on the Web, to facilitate the search of data by Semantic Web agents. In addition, this document also + presents some indexing and index-querying techniques.

-

This need for a standard indexing vocabulary appeared in the context of the Solid protocol where several applications interact in the same way with the same data to achieve interoperability. Indeed, as the data is decoupled from the applications, these applications must agree on a client-to-client protocol to work together. If they want to be able to use the same indexes, these must be standardized.

+

This need for a standard indexing vocabulary appeared in the context of the Solid protocol where several + applications interact in the same way with the same data to achieve interoperability. Indeed, as the data is + decoupled from the applications, these applications must agree on a client-to-client protocol to work together. If + they want to be able to use the same indexes, these must be standardized.

Terminology

@@ -139,245 +157,32 @@

Namespaces

+
+
+

Ontology description

-

Vocabulary

- -

This section provides details for each class and property defined by this ontology and uses the following superscripts:

- -
- c: Classes
- op: Object Properties
- dp: Datatype Properties
- ni: Named Individuals -
- -

Classes

- -
-

Indexc

-

IRI: https://ns.inria.fr/idx/terms#Index

-
-

A RDF document representing an index.

- -
-
-
- Is defined by -
-
- https://ns.inria.fr/idx/terms# -
-
-
-
- is in range of -
-
- has sub index op -
-
-
-
-

IndexEntryc

-

IRI: https://ns.inria.fr/idx/terms#IndexEntry

-
-

An entry in the index that characterizes a source.

- -
-
-
- Is defined by -
-
- https://ns.inria.fr/idx/terms# -
-
-
-
- is in domain of -
-
- has count op, has shape op, has sub index op, has target op -
-
-
- - -

Object Properties

- -
-

hasCountop

-

IRI: https://ns.inria.fr/idx/terms#hasCount

-
-

has characteristics: functional

-
-
- has domain -
-
- index entry c -
-
- is also defined as -
-
- data property -
-
-
-
-
-

hasShapeop

-

IRI: https://ns.inria.fr/idx/terms#hasShape

-
-

specifies a SHACL shape capturing the pattern followed by an indexed source.

- -
-
-
- Is defined by -
-
- https://ns.inria.fr/idx/terms# -
-
-
-

has characteristics: functional

-
-
- has domain -
-
- index entry c -
-
- has range -
-
- shacl Node Shape c -
-
-
-
-
-

hasSubIndexop

-

IRI: https://ns.inria.fr/idx/terms#hasSubIndex

-
-

Any sub index that should be queried to find results about the shape.

- -
-
-
- Is defined by -
-
- https://ns.inria.fr/idx/terms# -
-
-
-

has characteristics: functional

-
-
- has domain -
-
- index entry c -
-
- has range -
-
- index c -
-
-
-
-
-

hasTargetop

-

IRI: https://ns.inria.fr/idx/terms#hasTarget

-
-

The indexed document.

- -
-
-
- Is defined by -
-
- https://ns.inria.fr/idx/terms# -
-
-
-

has characteristics: functional

-
-
- has domain -
-
- index entry c -
-
-
- -
- -

Data Properties

- -
-

hasCountdp

-

IRI: https://ns.inria.fr/idx/terms#hasCount

-
-

has characteristics: functional

-
-
- has range -
-
- integer -
-
- is also defined as -
-
- object property -
-
-
-
+

An index is a RDF document [[RDF11-CONCEPTS]] of type idx:Index. It contains entries of type + idf:IndexEntry, each one + being linked to a shape with the idx:hasShape predicate.

+

An entry MUST refer to a resource matching the shape or to another index referring to such resources, with + predicate idx:hasTarget or idx:hasSubIndex respectively.

+ +

A shape is...

Indexes

-

This document proposes the Indexing ontology as vocabulary for describing indexes. +

This document proposes the Indexing ontology as vocabulary for describing + indexes. This ontology is using [[SHACL]] shapes to express what is indexed.

-

General indexes

- -

An index is a RDF document [[RDF11-CONCEPTS]] of type idx:Index. It contains entries of type idf:IndexEntry, each one - being linked to a shape with the idx:hasShape predicate.

- -

An entry MUST refer to a resource matching the shape or to another index referring to such resources, with predicate idx:hasTarget or idx:hasSubIndex respectively.

- -

An instance is...

- -

A sub index is...

- -

A shape is...

+ +

General indexes

For instance an index of people living in Paris could be expressed like in the example.

@@ -409,7 +214,8 @@

Meta-indexes

Source selection

-

Source selection is a technique that consists in selecting from a set of indexes those that are judged relevant. +

Source selection is a technique that consists in selecting from a set of indexes those that are judged + relevant. This way it's possible to get results faster. This technique relies on one or several heuristics. One example of heuristic is the number of item that can be found in an index. Setting a minimun number of results might @@ -432,7 +238,8 @@

Source ordering

Source ordering consists in querying the most relevant indexes first. This technique uses one or several criterias to order the indexes. One example of a criteria is the number of results contained in an index. - In the subindex of :entry2 will be queried before that of :entry1 + In the subindex of :entry2 will be queried before that + of :entry1 as it presents more results (the value of the idx:hasCount is higher).

@@ -552,4 +359,4 @@

Indexing private data?

- + \ No newline at end of file diff --git a/specs/solid-indexing/widoco.html b/specs/solid-indexing/widoco.html new file mode 100644 index 0000000..9d216cf --- /dev/null +++ b/specs/solid-indexing/widoco.html @@ -0,0 +1,217 @@ +

Vocabulary

+ +

This section provides details for each class and property defined by this ontology and uses the following + superscripts:

+ +
+ c: Classes
+ op: Object Properties
+ dp: Datatype Properties
+ ni: Named Individuals +
+ +

Classes

+ +
+

Indexc

+

IRI: https://ns.inria.fr/idx/terms#Index

+
+ A RDF document representing an index. +
+
+
+ Is defined by +
+
+ https://ns.inria.fr/idx/terms# +
+
+
+
+ is in range of +
+
+ hasSubIndex op +
+
+
+
+

IndexEntryc

+

IRI: https://ns.inria.fr/idx/terms#IndexEntry

+
+ An entry in the index locating data matching a given shape. +
+
+
+ Is defined by +
+
+ https://ns.inria.fr/idx/terms# +
+
+
+
+ is in domain of +
+
+ hasCount op, hasShape op, hasSubIndex op, hasTarget op +
+
+
+ + +

Object Properties

+ +
+

hasCountop

+

IRI: https://ns.inria.fr/idx/terms#hasCount

+
+

has characteristics: functional

+
+
+ has domain +
+
+ Index c +
+
+ hasSubIndex op some Thing c +
+
+ is also defined as +
+
+ data property +
+
+
+
+
+

hasShapeop

+

IRI: https://ns.inria.fr/idx/terms#hasShape

+
+ The shape that is matched by resources referred to by this entry. +
+
+
+ Is defined by +
+
+ https://ns.inria.fr/idx/terms# +
+
+
+
+
+ has domain +
+
+ Index c +
+
+ has range +
+
+ Node Shape c +
+
+
+
+
+

hasSubIndexop

+

IRI: https://ns.inria.fr/idx/terms#hasSubIndex

+
+ Another index referring to resources matching the shape of this entry. +
+
+
+ Is defined by +
+
+ https://ns.inria.fr/idx/terms# +
+
+
+

has characteristics: functional

+
+
+ has domain +
+
+ Index c +
+
+ hasShape op only Nothing c +
+
+ has range +
+
+ Index c +
+
+
+
+
+

hasTargetop

+

IRI: https://ns.inria.fr/idx/terms#hasTarget

+
+ A resource matching the shape of the subject entry. +
+
+
+ Is defined by +
+
+ https://ns.inria.fr/idx/terms# +
+
+
+

has characteristics: functional

+
+
+ has domain +
+
+ Index c +
+
+ hasSubIndex op only Nothing c +
+
+
+
+ +

Data Properties

+ +
+

hasCountop

+

IRI: https://ns.inria.fr/idx/terms#hasCount

+
+

has characteristics: functional

+
+
+ has range +
+
+ integer +
+
+ is also defined as +
+
+ object property +
+
+
+
\ No newline at end of file