Mirror of the Rel4tion website/wiki source, view at <http://rel4tion.org>

[[ 🗃 ^yEzqv rel4tion-wiki ]] :: [📥 Inbox] [📤 Outbox] [🐤 Followers] [🤝 Collaborators] [🛠 Commits]

Clone

HTTPS: git clone https://vervis.peers.community/repos/yEzqv

SSH: git clone USERNAME@vervis.peers.community:yEzqv

Branches

Tags

master :: projects / idan / data /

idan-template.idan

-- *** namespace idan:template ***
-- class Template
-- class Statement
-- class Component
-- + class Entity
-- + class Parameter
-- + class UidGenerator
-- + class ContextVariable
-- property has-identifier :: Statement -> Component
-- property has-subject :: Statement -> Component
-- property has-predicate :: Statement -> Component
-- property has-object :: Statement -> Component
-- property has-entity :: Entity -> *
-- property has-param-number :: Parameter -> Number
-- property has-variable :: ContextVariable -> idan:ContextVariable

-- class ContextVariable
-- property has-type :: ContextVariable -> smaoin:Class

-- object default-ns-prefix :: ContextVariable
-- + has-type smaoin:String
-- object default-ns-uid :: ContextVariable
-- + has-type nli:Namespace
-- object lang-tag :: ContextVariable
-- + has-type smaoin:String
-- object lang-uid :: ContextVariable
-- + has-type nli:Language

{- idan-template.idan - vocabulary for defining meta-statement templates
 -
 - Written in 2015 by fr33domlover <fr33domlover@riseup.net>.
 -
 - ♡ Copying is an act of love. Please copy and share.
 -
 - To the extent possible under law, the author(s) have dedicated all copyright
 - and related and neighboring rights to this content to the public domain
 - worldwide.
 -
 - See <http://creativecommons.org/publicdomain/zero/1.0/>.
 -}

{- <DESCRIPTION> -}

@@ en

use <b3742023-97ef-4fb0-9dd2-4582d946d6f1> as smaoin
use <0074b583-b1fb-449c-aedf-ecd97c01eb82> as ns
use <6414df14-4073-4968-9470-900fdd21b580> as lang
use <5dba2ce2-bab6-49dd-8547-d6dc7b344a91> as nli
use <be6f6218-cf50-4ec9-b4d6-04fd7884cc9f> as idan
use <54ccb2c6-6504-42e6-9baa-c85db6c78a92> as idan_template

default idan_template

-------------------------------------------------------------------------------
--------------------------------------------------------------- namespace -----
-------------------------------------------------------------------------------

@myns :: nli:Namespace
    nli:belongs_to_namespace @ns
    +nlit:local_label        "myns"
    +nlit:name               "My Namespace"
    +nlit:description        "Defines some tools I find useful"
    +nlit:local_prefix       "myns"

@myns +nlit:namespace "myns"
                      "My Namespace"
                      "Defines some tools I find useful"

<%>
    nli:has_content "ucd"
    nli:has_language lang:en
    smaoin:is_a nli:Text
    nli:is_local_label_of $,

@ucd
    nli:belongs_to_namespace @ns
    smaoin:is_a nli:Namespace

<%>
    nli:has_content "Unicode"
    nli:has_language lang:en
    smaoin:is_a nli:Text
    nli:is_name_of $^

<%>
    nli:has_content "Defines tools for describing Unicode characters"
    nli:has_language lang:en
    smaoin:is_a nli:Text
    nli:is_description_of $^^

<%>
    nli:has_content "ucd"
    nli:has_language lang:en
    smaoin:is_a nli:Text
    nli:is_local_prefix_of $^^^

-------------------------------------------------------------------------------
----------------------------------------------------------------- classes -----
-------------------------------------------------------------------------------

<%> => (x:SomeClass, y:SomeOtherClass)
    nli:belongs_to_namespace @myns
    +nlit:local_label        "MyClass"
    +nlit:name               "My Class"
    +nlit:description        "Some class I found and happened to like"

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_local_label_of %+ .

<$>
	nli:belongs_to_namespace $#TODO ;
	smaoin:is_a smaoin:Class .

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_name_of %- .

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_description_of %-- .

-------------------------------------------------------------------------------
-------------------------------------------------------------- properties -----
-------------------------------------------------------------------------------

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_local_field_label_of %++ .

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_local_predicate_label_of %+ .

<$>
	nli:belongs_to_namespace $#TODO ;
	smaoin:is_a smaoin:Property ;
	smaoin:has_domain #TODO ;
	smaoin:has_range #TODO .

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_field_name_of %- .

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_predicate_name_of %-- .

<$>
	nli:has_content #TODO ;
	nli:has_language lang:en ;
	smaoin:is_a nli:Text ;
	nli:is_description_of %--- .

-------------------------------------------------------------------------------
------------------------------------------------------------------- types -----
-------------------------------------------------------------------------------

[See repo JSON]