-
Notifications
You must be signed in to change notification settings - Fork 13
/
index.html
135 lines (127 loc) · 5.74 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
---
layout: doc
title: The MMT Language and System
nowrap: true
css: overview.css
js: overview.js
---
<nav class="site-header py-1">
<div class="container d-flex flex-column flex-md-row justify-content-between">
<a class="py-2 d-inline-block" href="doc/">Documentation</a>
<a class="py-2 d-inline-block" href="doc/philosophy/">Research</a>
<a class="py-2 d-inline-block" href="doc/applications/">Applications</a>
<a class="py-2 d-inline-block" href="doc/language/">Language</a>
<a class="py-2 d-inline-block" href="doc/tutorials/">Tutorials</a>
<a class="py-2 d-inline-block" href="doc/development/">Development</a>
<a class="py-2 d-inline-block" href="doc/community/">Community</a>
</div>
</nav>
<!-- Overview Box -->
<div class="position-relative overflow-hidden p-3 p-md-5 m-md-3 text-center bg-light" id="header">
<div class="col-md-5 p-lg-5 mx-auto my-5 headerbox">
<h1 class="display-4 font-weight-normal">The MMT Language and System</h1>
<p class="lead font-weight-normal">
Enabling Uniform Representation of Knowledge
</p>
<a class="btn btn-secondary" href="https://github.com/UniFormal/MMT/releases/latest">Download</a>
<a class="btn btn-secondary" href="https://github.com/Uniformal/MMT">Source Code</a>
<a class="btn btn-secondary btn-default" href="doc/setup/">Setup</a>
</div>
</div>
<!-- aspect introduction: TODO: Make this a central box sort of -->
<div class="d-md-flex flex-md-equal w-100 my-md-3 pl-md-3">
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden repknowledge">
<div class="my-3 p-3">
<h2 class="display-5">Representing Knowledge</h2>
<p class="lead">MMT integrates the 4 major paradigms for representing scientific knowledge. </p>
</div>
</div>
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden funindependent">
<div class="my-3 py-3">
<h2 class="display-5">Foundation Independent</h2>
<p class="lead">All aspects of MMT avoid a commitment to semantic foundation, representational paradigm, or application work flow</p>
</div>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 my-md-3 pl-md-3">
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden repknowledge">
<div class="my-3 p-3">
<h2 class="display-5">Representation Languages</h2>
<p class="lead">MMT represents all knowledge in one simple framework</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0; ">
<!-- screenshot here -->
</div>
</div>
</div>
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden funindependent">
<div class="my-3 py-3">
<h2 class="display-5">Narration</h2>
<p class="lead">MMT subsumes natural languages</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 my-md-3 pl-md-3">
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden repknowledge">
<div class="my-3 p-3">
<h2 class="display-5">Applications</h2>
<p class="lead">MMT enables generic large-scale implementations</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden funindependent">
<div class="my-3 py-3">
<h2 class="display-5">Deduction</h2>
<p class="lead">MMT subsumes logical languages</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 my-md-3 pl-md-3">
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden repknowledge">
<div class="my-3 p-3">
<h2 class="display-5">Soundness-Critical Services</h2>
<p class="lead">MMT allows generic solutions to deep problems</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden funindependent">
<div class="my-3 py-3">
<h2 class="display-5">Computation</h2>
<p class="lead">MMT will subsume programming languages</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 my-md-3 pl-md-3">
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden repknowledge">
<div class="my-3 p-3">
<h2 class="display-5">Management Services</h2>
<p class="lead">MMT allows generic knowledge management solutions</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
<div class="bg-light mr-md-3 pt-3 px-3 pt-md-5 px-md-5 text-center overflow-hidden funindependent">
<div class="my-3 py-3">
<h2 class="display-5">Tabulation</h2>
<p class="lead">MMT subsumes data description languages</p>
<div class="imagebox box-shadow mx-auto" style="width: 80%; height: 300px; border-radius: 21px 21px 0 0;">
<!-- screenshot here -->
</div>
</div>
</div>
</div>