#== basic ontology ========================================

query-type
bn: query type
in: form of query == part of TMQL requirements

description
bn: Description

source
bn: Source

example
bn: Example

comment
bn: Comment

interpretation
bn: Interpretation

is-authored-by

is-variant-of

#== individual queries ====================================

assocs-scoped-specific-role-players (query-type)
in (description)    : return all associations scoped to S where one of [T1,...,Tn] plays a role
in (source)         : [TMRQ]:3.6.2.3
sin : http://www.isotopicmaps.org/tmcl/querys#assocs-scoped-specific-role-players

assoc-scoped-specific-roles-specific-players (query-type)
in (description)    : return all associations scoped to S where one of [T1,...,Tn] plays a role and\
        one out of [R1,..,Rn] is a role
in (source)         : [TMRQ]:3.6.2.4
sin : http://www.isotopicmaps.org/tmcl/querys#assoc-scoped-specific-roles-specific-players

topic-by-locator (query-type)
in (description)    : return all topics with a specific resource locator L
in (source)         : [TMRQ]:3.6.3.1
sin : http://www.isotopicmaps.org/tmcl/querys#topic-by-locator

occurrences-topics-from-set-basenames-scoped (query-type)
in (description)    : return the occurrences of the topics [T1,...,Tn] scoped by S
in (source)         : [TMRQ]:3.6.4.2
sin : http://www.isotopicmaps.org/tmcl/querys#occurrences-topics-from-set-basenames-scoped

occurrences-typed-topics-from-set-basenames-scoped (query-type)
in (description)    : return the occurrences of types [Y1,..,Yn] (ORed) of the topics [T1,...,Tn] scoped by S
in (source)         : [TMRQ]:3.6.4.3
sin : http://www.isotopicmaps.org/tmcl/querys#occurrences-typed-topics-from-set-basenames-scoped

all-direct-types-of-topic (query-type)
in (description)    : return all types of topic T
sin : http://www.isotopicmaps.org/tmcl/querys#all-direct-types-of-topic

all-indirect-types-of-topic (query-type)
in (description)    : return all indirect types of topic T, i.e. all being no direct type
sin : http://www.isotopicmaps.org/tmcl/querys#all-indirect-types-of-topic

number-of-topics (query-type)
in (description)    : return the number of topics
sin : http://www.isotopicmaps.org/tmcl/querys#number-of-topics

topics-with-specific-resource-pattern (query-type)
in (description)    : return all topics which's occurrences (resourceRef) matches a pattern O
in (source)         : [TMRQ]:3.6.1.2
in (comment)        : We are matching URLs here?
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-specific-resource-pattern

topics-with-specific-resource-scope (query-type)
in (description)    : return all topics which's occurrences are scope with S
in (source)         : [TMRQ]:3.6.1.2
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-specific-resource-scope

number-of-types (query-type)
in (description)    : return the number of topics which are used as types
sin : http://www.isotopicmaps.org/tmcl/querys#number-of-types

topics-with-specific-subject (query-type)
in (description)    : return all topics which with a specific subject address
in (source)         : [TMRQ]:3.6.1.6
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-specific-subject

topic-roles-playing-in-typed-assoc (query-type)
in (description)    : return all topics which play one of the roles in associations of type A
sin : http://www.isotopicmaps.org/tmcl/querys#topic-roles-playing-in-typed-assoc

topic-roles-playing-in-typed-assoc-indirect (query-type)
in (description)    : return all topics which play one of the roles in associations of type A, indirect
sin : http://www.isotopicmaps.org/tmcl/querys#topic-roles-playing-in-typed-assoc-indirect

topic-roles-playing-in-typed-and-scoped-assoc (query-type)
in (description)    : return all topics which play one of the roles in associations of type A and scoped to S
in (source)         : [TMRQ]:3.6.1.3
sin : http://www.isotopicmaps.org/tmcl/querys#topic-roles-playing-in-typed-and-scoped-assoc

general-info-on-topic (query-type)
in (description)    : return all characteristics of topic T
in (interpretation) : \
        return all basenames and occurrences (without their types)
in (source)         : [RKsie]:p.5
sin : http://www.isotopicmaps.org/tmcl/querys#general-info-on-topic

basenames-for-topic (query-type)
in (description)    : return all basenames of topic T
sin : http://www.isotopicmaps.org/tmcl/querys#basenames-for-topic

topics-with-specific-scope-basenames (query-type)
in (description)    : return all topics which have baseNames in scope S
in (source)         : [TMRQ]:3.6.1.1
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-specific-scope-basenames

topics-with-specific-basename (query-type)
in (description)    : return all topics which have baseNames B, exact match on B
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-specific-basename

topic-being-role (query-type)
in (description)    : return all associations where T IS a role
sin : http://www.isotopicmaps.org/tmcl/querys#topic-being-role

topics-with-matching-basename (query-type)
in (description)    : return all topics which have baseNames according to pattern B, regexp
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-matching-basename

everything-about-topic (query-type)
in (description)    : return all information of the topic T and all associations in which this topic in involved
sin : http://www.isotopicmaps.org/tmcl/querys#everything-about-topic

topics-with-matching-basename-and-scope (query-type)
in (description)    : return all topics which have a specific baseName pattern B for a scope S
sin : http://www.isotopicmaps.org/tmcl/querys#topics-with-matching-basename-and-scope

type-of-topic (query-type)
in (description)    : return all topics of type Y
in (source)         : [RKsie]:p.11 [TMRQ]:3.6.3.2
sin : http://www.isotopicmaps.org/tmcl/querys#type-of-topic

basenames-for-topic-scoped (query-type)
in (description)    : return only basenames for T of a specific scope S
sin : http://www.isotopicmaps.org/tmcl/querys#basenames-for-topic-scoped

type-of-topic-2 (query-type)
in (description)    : return all topics of type X where X is of type Y
sin : http://www.isotopicmaps.org/tmcl/querys#type-of-topic-2

topic-playing-specific-roles-in-typed-assoc (query-type)
in (description)    : return all topics which play one of a given roles [R1,..,Rn] in an assoc of type A (direct)
in (source)         : [TMRQ]:3.6.1.3
sin : http://www.isotopicmaps.org/tmcl/querys#topic-playing-specific-roles-in-typed-assoc

topic-roles-playing (query-type)
in (description)    : return all roles which topic T plays in some association
sin : http://www.isotopicmaps.org/tmcl/querys#topic-roles-playing

type-of-topic-plus (query-type)
in (description)    : return all topics of type Y, direct or indirect
in (source)         : [TMRQ]:3.6.3.3
sin : http://www.isotopicmaps.org/tmcl/querys#type-of-topic-plus

assocs-typed-scoped-specific-topics-play (query-type)
in (description)    : return all associations of type A, scoped S, in which one of the topics [T1,..,Tn] plays a role [R1,..,Rn]
in (source)         : [TMRQ]:3.6.1.4
sin : http://www.isotopicmaps.org/tmcl/querys#assocs-typed-scoped-specific-topics-play

topic-the-only-role-playing (query-type)
in (description)    : return all roles in associations where T plays the ONLY role
sin : http://www.isotopicmaps.org/tmcl/querys#topic-the-only-role-playing

type-of-topic-star (query-type)
in (description)    : return all topics of type Y, direct or indirect, including Y
in (comment)        : this is somehow a type closure Y is pathological parent of Y
sin : http://www.isotopicmaps.org/tmcl/querys#type-of-topic-star

assocs-typed (query-type)
in (description)    : return all associations of type A
in (source)         : [TMRQ]:3.6.2.2
sin : http://www.isotopicmaps.org/tmcl/querys#assocs-typed

topics-from-set-basenames (query-type)
in (description)    : return the basenames of the topics [T1,...,Tn]
sin : http://www.isotopicmaps.org/tmcl/querys#topics-from-set-basenames

assocs-typed-scoped-specific-topics-onlyplay (query-type)
in (description)    : return all associations of type A, scoped S, in which EXACTLY one of the topics [T1,..,Tn] plays a role [R1,..,Rn]
in (source)         : [TMRQ]:3.6.1.4
sin : http://www.isotopicmaps.org/tmcl/querys#assocs-typed-scoped-specific-topics-onlyplay

subject-indicators-topics-set (query-type)
in (description)    : return the subject indicators of the topics [T1,...,Tn]
in (source)         : [TMRQ]:3.6.4.4
sin : http://www.isotopicmaps.org/tmcl/querys#subject-indicators-topics-set

topic-by-indicator (query-type)
in (description)    : return the topic having a resource indicator I
in (source)         : [TMRQ]:3.6.1.5
sin : http://www.isotopicmaps.org/tmcl/querys#topic-by-indicator

addressable-resource-of-topics-set (query-type)
in (description)    : return the addressable subjects of resource of topics [T1,...,Tn]
in (source)         : [TMRQ]:3.6.4.5
sin : http://www.isotopicmaps.org/tmcl/querys#addressable-resource-of-topics-set

assocs-typed-multiple-specific-roles (query-type)
in (description)    : return all associations of types [A1,...,An] (OR) in which topics [R1,...,Rn] play roles
in (source)         : [TMRQ]:3.6.1.7
sin : http://www.isotopicmaps.org/tmcl/querys#assocs-typed-multiple-specific-roles

topics-from-set-basenames-scoped (query-type)
in (description)    : return the basenames of the topics [T1,...,Tn] scoped by S
in (source)         : [TMRQ]:3.6.4.1
sin : http://www.isotopicmaps.org/tmcl/querys#topics-from-set-basenames-scoped

assocs-scoped (query-type)
in (description)    : return all associations of scope S
in (source)         : [TMRQ]:3.6.2.1
sin : http://www.isotopicmaps.org/tmcl/querys#assocs-scoped

#== relationships between individual queries ==============

(is-a-variant-of)
variant-a : general-info-on-topic
variant-b : basenames-for-topic
    
(is-a-variant-of)
variant-a : general-info-on-topic
variant-b : everything-about-topic
    
(is-a-variant-of)
variant-a : basenames-for-topic
variant-b : basenames-for-topic-scoped
    
(is-a-variant-of)
variant-a : topics-with-specific-scope-basenames
variant-b : topics-with-specific-basename
    
(is-a-variant-of)
variant-a : topics-with-specific-scope-basenames
variant-b : topics-from-set-basenames
    
(is-a-variant-of)
variant-a : topics-with-specific-scope-basenames
variant-b : topics-from-set-basenames-scoped
    
(is-a-variant-of)
variant-a : topics-with-specific-scope-basenames
variant-b : occurrences-topics-from-set-basenames-scoped
    
(is-a-variant-of)
variant-a : topics-with-specific-scope-basenames
variant-b : topic-by-locator
    
(is-a-variant-of)
variant-a : topics-with-specific-basename
variant-b : topics-with-matching-basename
    
(is-a-variant-of)
variant-a : topic-roles-playing
variant-b : topic-the-only-role-playing
    
(is-a-variant-of)
variant-a : topic-roles-playing
variant-b : topic-being-role
    
(is-a-variant-of)
variant-a : topic-roles-playing
variant-b : topic-roles-playing-in-typed-assoc
    
(is-a-variant-of)
variant-a : type-of-topic
variant-b : type-of-topic-2
    
(is-a-variant-of)
variant-a : type-of-topic
variant-b : type-of-topic-plus
    
(is-a-variant-of)
variant-a : type-of-topic
variant-b : all-indirect-types-of-topic
    
(is-a-variant-of)
variant-a : type-of-topic-plus
variant-b : type-of-topic-star
    
(is-a-variant-of)
variant-a : occurrences-topics-from-set-basenames-scoped
variant-b : occurrences-typed-topics-from-set-basenames-scoped
    
(is-a-variant-of)
variant-a : topic-roles-playing-in-typed-assoc
variant-b : topic-roles-playing-in-typed-assoc-indirect
    
(is-a-variant-of)
variant-a : topic-roles-playing-in-typed-assoc
variant-b : topic-roles-playing-in-typed-and-scoped-assoc
    
(is-a-variant-of)
variant-a : topic-roles-playing-in-typed-and-scoped-assoc
variant-b : topic-playing-specific-roles-in-typed-assoc
    
(is-a-variant-of)
variant-a : topic-playing-specific-roles-in-typed-assoc
variant-b : assocs-typed-scoped-specific-topics-play
    
(is-a-variant-of)
variant-a : assocs-typed-scoped-specific-topics-play
variant-b : assocs-typed
    
(is-a-variant-of)
variant-a : assocs-typed-scoped-specific-topics-play
variant-b : assocs-typed-scoped-specific-topics-onlyplay
    
(is-a-variant-of)
variant-a : assocs-typed-multiple-specific-roles
variant-b : assocs-scoped-specific-role-players
    
(is-a-variant-of)
variant-a : assocs-typed-multiple-specific-roles
variant-b : assoc-scoped-specific-roles-specific-players
    
(is-a-variant-of)
variant-a : assocs-typed-multiple-specific-roles
variant-b : assoc-scoped-specific-roles-specific-players
    
(is-a-variant-of)
variant-a : assocs-scoped
variant-b : assocs-scoped-specific-role-players
    
(is-a-variant-of)
variant-a : assocs-scoped
variant-b : assoc-scoped-specific-roles-specific-players