Commit 5c417249 authored by Andrea Alvarez Perez's avatar Andrea Alvarez Perez

Update git

parent 8dd6bb8f
/* tables
table.tablesorter {
font-family:arial;
background-color: #CDCDCD;
margin:10px 0pt 15px;
font-size: 8pt;
width: 100%;
text-align: left;
}
table.tablesorter thead tr th, table.tablesorter tfoot tr th {
background-color: #e6EEEE;
border: 1px solid #FFF;
font-size: 8pt;
padding: 4px;
}*/
table.tablesorter thead tr .header {
background-image: url(bg.gif);
background-repeat: no-repeat;
background-position: center right;
cursor: pointer;
background-color: white;
}
table.tablesorter tbody td {
color: #3D3D3D;
padding: 4px;
background-color: #FFF;
vertical-align: top;
}
table.tablesorter tbody tr.odd td {
background-color:#F0F0F6;
}
table.tablesorter thead tr .headerSortUp {
background-image: url(asc.gif);
}
table.tablesorter thead tr .headerSortDown {
background-image: url(desc.gif);
}
/*table.tablesorter thead tr .headerSortDown, table.tablesorter thead tr .headerSortUp {
background-color: #8dbdd8;
}*/
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
</head>
<body>
<div class="head">
<h1>Provenance for SEM-DISNET Documentation (/home/andrea/Documentos/SEM-DISNET_w3id/Documentacion)</h1>
<ul>
<li>Ontology created by: MEDAL: https://medal.ctb.upm.es/
OEG: https://oeg.fi.upm.es/</li> <li>Ontology contributed to by: Andrea Álvarez Pérez (MEDAL)
Ana Iglesias Molina (OEG)
Lucía Prieto Santamaría (MEDAL)
Alejandro Rodríguez González (MEDAL)</li>
<li>The ontology documentation was the result of using the <a href="https://github.com/dgarijo/Widoco">Widoco tool</a> (which itself uses <a href="http://www.essepuntato.it/lode/">LODE</a> for generating the crossreference section).</li>
<li>The documentation was generated at 2022-03-30</ul>
</div>
<p>back to <a href="..\index-en.html">documentation</a>. <a href="provenance-en.ttl">TTL format</a></p></div>
</body>
</html>
\ No newline at end of file
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix : <> .
<..\index-en.html> a prov:Entity;
dc:title "SEM-DISNET";
prov:wasAttributedTo :agent0;
prov:wasAttributedTo :agent1;
prov:wasAttributedTo <https://github.com/dgarijo/Widoco/>,<http://www.essepuntato.it/lode/>;
prov:wasGeneratedAt "2022-03-30";
.
:agent0 a prov:Agent; foaf:name "MEDAL: https://medal.ctb.upm.es/
OEG: https://oeg.fi.upm.es/".
:agent1 a prov:Agent; foaf:name "Andrea Álvarez Pérez (MEDAL)
Ana Iglesias Molina (OEG)
Lucía Prieto Santamaría (MEDAL)
Alejandro Rodríguez González (MEDAL)".
About Widoco output
===================
The purpose of Widoco is to reuse and integrate existing tools for documentation, plus the set of features listed below:
* Separation of the sections of your html page so you can write them independently and replace only those needed.
* Automatic annotation in RDF-a of the html produced.
* Association of a provenance page which includes the history of your vocabulary (W3C PROV-O compliant).
* Metadata extraction from the ontology plus the means to complete it on the fly when generating your ontology.
* Guidelines on the main sections that your document should have and how to complete them.
Widoco will create 3 different folders:
|
|-provenance (a folder including an html and RDF serialization of how the documentation page was created)
|-resources (folder with the different resources)
|-sections (folder with the different sections of the documentation, separated for easy editing. Just edit one and the main page will be updated)
Completing ontology metadata.
===================
Widoco uses the ontology metadata to update a configuration file. If you complete that configuration file (ended up widoco.conf), the tool will enhance your html with additional details, such as how to cite the document, previous revisions, icons with the licence, etc.
Browser issues
==========
The result of executing Widoco is an html file. We have tested it in Mozilla, IE and Chrome, and when the page is stored in a server all the browsers work correctly. If you view the file locally, we recommend you to use Mozilla Firefox (or Internet Explorer, if you must). Google Chrome will not show the contents correctly, as it doesn't allow XMLHttpRequest without HTTP. If you want to view the page locally with Google Chrome you have two possibilities:
a) Place the file in a server and access it via its URL (for example, put it in dropbox and access through its public url).
b) Execute Chrome with the following commands :
(WIN) chrome.exe --allow-file-access-from-files,
(OSX) open /Applications/Google\ Chrome.app/ --args --allow-file-access-from-files
(UNX) /usr/bin/google-chrome --allow-file-access-from-files
Do you have a problem? open an issue at https://github.com/dgarijo/Widoco
\ No newline at end of file
body {
text-align: justify;
}
h1 {
line-height: 110%;
}
.hlist {
border: 1px solid navy;
padding:5px;
background-color: #F4FFFF;
}
.hlist li {
display: inline;
display: inline-table;
list-style-type: none;
padding-right: 20px;
}
.entity {
border: 1px solid navy;
margin:5px 0px 5px 0px;
padding: 5px;
}
.type-c {
cursor:help;
color:orange;
}
.type-op {
cursor:help;
color:navy;
}
.type-dp {
cursor:help;
color:green;
}
.type-ap {
cursor:help;
color:maroon;
}
.type-ni {
cursor:help;
color:brown;
}
.logic {
color:purple;
font-weight:bold;
}
h3 {
margin-top: 3px;
padding-bottom: 5px;
border-bottom: 1px solid navy;
}
h2 {
margin-top:40px;
}
.dotted {
border-bottom: 1px dotted gray;
}
dt {
margin-top:5px;
}
.description {
border-top: 1px dashed gray;
border-bottom: 1px dashed gray;
background-color: rgb(242, 243, 244);
margin-top:5px;
padding-bottom:5px;
}
.description dl {
background-color: rgb(242, 243, 244);
}
.description ul {
padding-left: 12px;
margin-top: 0px;
}
.backlink {
font-size:10pt;
text-align:right;
float:right;
color:black;
padding: 2px;
border: 1px dotted navy;
background-color: #F4FFFF;
}
.imageblock {
text-align: center;
}
.imageblock img {
border:1px solid gray;
}
.endnote {
margin-top: 40px;
border-top: 1px solid gray;
padding-top: 10px;
text-align: center;
color:gray;
font-size:70%;
}
.literal {
color:green;
font-style:italic;
}
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
.RFC2119 {
text-transform: lowercase;
font-style: italic;
}
.nonterminal {
font-weight: bold;
font-family: sans-serif;
font-size: 95%;
}
#abstract br {
/* doesn't work right SOMETIMES
margin-bottom: 1em; */
}
.name {
font-family: monospace;
}
.buttonpanel {
margin-top: 1ex;
margin-bottom: 1ex;
padding-left: 1ex;
padding-right: 1ex;
padding-top: 1ex;
padding-bottom: 0.6ex;
border: 1px dotted black;
}
.grammar {
margin-top: 1ex;
margin-bottom: 1ex;
padding-left: 1ex;
padding-right: 1ex;
padding-top: 1ex;
padding-bottom: 0.6ex;
border: 1px dashed #2f6fab;
font-family: monospace;
}
.image {
text-align: center;
}
.centered {
text-align: center;
padding-top: 4ex;
padding-bottom: 4ex;
}
.centered table {
margin: 0 auto;
text-align: left;
}
.caption {
font-weight: bold;
}
.indent {
margin-left: 20px;
}
.atrisknote {
padding: 5px;
margin-top: 10px;
margin-bottom: 10px;
border: solid 2px blue;
background-color: #FFA;
}
.atrisknotehead {
font-style: italic;
}
/* Stying the examples. */
.anexample:before {
content: "Example:";
font-family: sans-serif;
font-size: 1.6ex;
font-weight: bold;
}
.anexample {
margin-top: 1ex;
margin-bottom: 1ex;
padding-left: 1ex;
padding-right: 1ex;
padding-top: 1ex;
padding-bottom: 0.6ex;
border: 1px dashed #2f6fab;
background-color: #f9f9f9;
}
.anexample table {
background-color: #f9f9f9;
}
/* Styling the parts in the functional-style syntax. */
div.fss {
margin-top: 10px;
margin-bottom: 10px;
margin-left: 20px;
margin-right: 20px;
font-family: monospace;
}
table.fss {
margin: 0px 0px 0px 0px;
padding: 0px 0px 0px 0px;
width: 100%;
}
table.fss caption.fss {
font-size: 1.5ex;
font-weight: bold;
text-align: left;
padding-left: 10px;
}
table.fss td:first-child {
font-family: monospace;
padding-left: 20px;
padding-right: 20px;
width: 60%;
}
table{
background-color: #f4ffff;
border: 1px solid navy;
margin: 20px;
vertical-align: middle;
}
table td {
padding: 5px 15px;
text-align: left;
}
/* Styling the parts in the RDF syntax. */
div.rdf{
margin-top: 10px;
margin-bottom: 10px;
margin-left: 20px;
margin-right: 20px;
font-family: monospace;
}
table.rdf {
margin: 0px 0px 0px 0px;
padding: 0px 0px 0px 0px;
width: 100%;
}
table.rdf caption.rdf {
font-size: 1.5ex;
font-weight: bold;
text-align: left;
padding-left: 10px;
}
table.rdf td:first-child {
font-family: monospace;
padding-left: 20px;
padding-right: 20px;
width: 60%;
}
/* Styling the XML syntax. */
div.xmlsyn {
margin-top: 10px;
margin-bottom: 10px;
margin-left: 20px;
margin-right: 20px;
font-family: monospace;
}
div.axioms {
margin-top: 10px;
margin-bottom: 10px;
margin-left: 20px;
margin-right: 20px;
}
/* Other styles. */
table.complexity td {
text-align: center;
}
table.allname td {
font-family: monospace;
}
table.canonicalparsing {
margin-left: 20px;
border-style: none;
}
table.canonicalparsing td {
vertical-align: top;
padding: 2px 2px 2px 2px;
}
table.canonicalparsing td.two {
padding-left: 30px;
}
/* The following are classes for templates used in the editing process. */
.review {
padding: 5px;
border: solid 1px black;
margin-left: 10%;
margin-top: 10px;
margin-bottom: 10px;
background-color: #FFA;
font-size: smaller;
}
.reviewauthor {
font-size: smaller;
font-style: italic;
}
.ednote {
padding: 5px;
border: solid 1px black;
margin-top: 10px;
margin-bottom: 10px;
}
.ednotehead {
font-weight: bold;
}
/* override mediawiki's beautiful DL styling... */
dl {
background: white;
width: 100%;
border: none;
margin-top: 0;
margin-bottom: 0;
padding-top: 0;
padding-bottom: 0;
}
div {
margin-top: 0;
margin-bottom: 0;
}
#fulltitle {
font-size: 140%;
font-weight: bold;
}
.xml {
color: red
}
.rdbms{
color: red
}
/* just copying from wiki, so it stays through TR. Currently
affects Primer, at least */
pre {
background-color:#F9F9F9;
border:1px dashed #2F6FAB;
color:black;
line-height:1.1em;
padding:1em;
}
\ No newline at end of file
/* define a class "noprint" for sections which don't get printed */
.noprint { display: none; }
/* our syntax menu for switching */
div.syntaxmenu {
border: 1px dotted black;
padding:0.5em;
margin: 1em;
}
.container {
margin-right: auto;
margin-left: auto;
padding-left: 15px;
padding-right: 15px;
}
@media print {
div.syntaxmenu { display:none; }
}
/* use tab-like headers for syntax examples */
div.exampleheader {
font-size: 90%;
float: left;
background: #F9F9F9;
color: #2F6FAB;
border: 1px dashed #2F6FAB;
border-bottom: 0px;
padding-top: 2px;
}
div.exampleheader span.exampleheader {
background: #F9F9F9;
padding-top: 0px;
padding-right: 10px;
padding-left: 10px;
padding-bottom: 3px;
padding-top: 0px;
}
/* Also copy MediaWiki style here, so it will not look different when exported */
div.fssyntax pre, div.rdfxml pre, div.owlxml pre, div.turtle pre, div.manchester pre {
background-color: #F9F9F9;
border: 1px dashed #2F6FAB;
color: black;
line-height: 1.1em;
padding: 1em;
clear: both;
margin-left: 0em;
}
/* Expansion to add the status*/
.status {
position: fixed;
left: 0em;
top: 0em;
text-align: right;
vertical-align: middle;
/* Square version of the inside span. Slightly larger */
width: 26em;
height: 26em;
z-index: -1;
opacity: 0.8;
/** From http://stackoverflow.com/questions/1080792/how-to-draw-vertical-text-with-css-cross-browser */
-webkit-transform: rotate(-90deg);
-moz-transform: rotate(-90deg);
-ms-transform: rotate(-90deg);
-o-transform: rotate(-90deg);
transform: rotate(-90deg);
/* also accepts left, right, top, bottom coordinates; not
* required, but a good idea for styling */
-webkit-transform-origin: 50% 50%;
-moz-transform-origin: 50% 50%;
-ms-transform-origin: 50% 50%;
-o-transform-origin: 50% 50%;
transform-origin: 50% 50%;
/* Should be unset in IE9+ I think. */
filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3);
}
/* The actual status box */
.status div {
display: block;
background: rgb(0, 90, 156);
color: white;
width: 24em;
padding-top: 0.3em;
padding-left: 0em;
padding-right: 5em;
padding-bottom: 0.3em;
/* Enable for debugging
border: red thin solid;
*/
}
/* And text inside, don't confuse fonts as it breaks em above */
.status div span {
font-family: "Tauri";
font-size: larger;
}
\ No newline at end of file
/* Style for a "Recommendation" */
/*
Copyright 1997-2003 W3C (MIT, ERCIM, Keio). All Rights Reserved.
The following software licensing rules apply:
http://www.w3.org/Consortium/Legal/copyright-software */
/* $Id: base.css,v 1.25 2006/04/18 08:42:53 bbos Exp $ */
body {
padding: 2em 1em 2em 70px;
margin: 0;
font-family: sans-serif;
color: black;
background: white;
background-position: top left;
background-attachment: fixed;
background-repeat: no-repeat;
counter-reset:section;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }
a:link img, a:visited img { border-style: none } /* no border on img links */
a img { color: white; } /* trick to hide the border in Netscape 4 */
@media all { /* hide the next rule from Netscape 4 */
a img { color: inherit; } /* undo the color change above */
}
th, td { /* ns 4 */
font-family: sans-serif;
}
h1, h2, h3, h4, h5, h6 { text-align: left }
h2.list{counter-reset:subsection }
h2.list:before{counter-increment:section;content: counter(section) ". ";}
h3.list:before{counter-increment:subsection;content: counter(section) "." counter(subsection) ". ";
}
h3.list{margin-top: 20px;
border-bottom: 0px; }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3 { color: #005A9C; background: white }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }
.hide { display: none }
div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }
p.copyright { font-size: small }
p.copyright small { font-size: small }
@media screen { /* hide from IE3 */
a[href]:hover { background: #ffa }
}
pre { margin-left: 2em }
/*
p {
margin-top: 0.6em;
margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }
pre, code { font-family: monospace } /* navigator 4 requires this */
ul.toc, ol.toc {
list-style: disc; /* Mac NS has problem with 'none' */
list-style: none;
}
@media aural {
h1, h2, h3 { stress: 20; richness: 90 }
.hide { speak: none }
p.copyright { volume: x-soft; speech-rate: x-fast }
dt { pause-before: 20% }
pre { speak-punctuation: code }
}
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment