Mirror of the Rel4tion website/wiki source, view at <http://rel4tion.org>
Clone
HTTPS:
git clone https://vervis.peers.community/repos/yEzqv
SSH:
git clone USERNAME@vervis.peers.community:yEzqv
Branches
Tags
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 -----
-------------------------------------------------------------------------------