MediaWiki API result
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"compare": {
"fromrevid": 1,
"torevid": 2,
"*": "<tr><td colspan=\"2\" class=\"diff-lineno\" id=\"mw-diff-left-l1\" >Line 1:</td>\n<td colspan=\"2\" class=\"diff-lineno\">Line 1:</td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">'''MediaWiki has been successfully installed.'''</del></div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">== Ontohub ==</ins></div></td></tr>\n<tr><td class='diff-marker'> </td><td class='diff-context'></td><td class='diff-marker'> </td><td class='diff-context'></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">Consult the </del>[//<del class=\"diffchange diffchange-inline\">meta</del>.<del class=\"diffchange diffchange-inline\">wikimedia</del>.<del class=\"diffchange diffchange-inline\">org</del>/wiki<del class=\"diffchange diffchange-inline\">/Help:Contents User's Guide</del>] <del class=\"diffchange diffchange-inline\">for information on using the wiki software</del>.</div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">Ontohub is an </ins>[<ins class=\"diffchange diffchange-inline\">http:</ins>//<ins class=\"diffchange diffchange-inline\">ontolog</ins>.<ins class=\"diffchange diffchange-inline\">cim3</ins>.<ins class=\"diffchange diffchange-inline\">net/cgi-bin</ins>/wiki<ins class=\"diffchange diffchange-inline\">.pl?OpenOntologyRepository#nid3652 open ontology repository</ins>] <ins class=\"diffchange diffchange-inline\">which supports organisation, collection, retrieval, mapping, translation, and evaluation of a wide array of ontologies formalised in diverse languages</ins>.  </div></td></tr>\n<tr><td class='diff-marker'> </td><td class='diff-context'></td><td class='diff-marker'> </td><td class='diff-context'></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">== Getting started ==</del></div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">The Ontohub team is looking forward to providing technological infrastructure for the forthcoming  </ins>[<ins class=\"diffchange diffchange-inline\">http:</ins>//<ins class=\"diffchange diffchange-inline\">fois2014.inf</ins>.<ins class=\"diffchange diffchange-inline\">ufes</ins>.<ins class=\"diffchange diffchange-inline\">br</ins>/<ins class=\"diffchange diffchange-inline\">p</ins>/<ins class=\"diffchange diffchange-inline\">home.html FOIS 2014 Ontology Competition]. Accordingly, several new features are going to be launched on the [http</ins>:<ins class=\"diffchange diffchange-inline\">//ontohub.org/ Ontohub</ins>] <ins class=\"diffchange diffchange-inline\">soon.</ins></div></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">* </del>[//<del class=\"diffchange diffchange-inline\">www</del>.<del class=\"diffchange diffchange-inline\">mediawiki</del>.<del class=\"diffchange diffchange-inline\">org</del>/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">Manual</del>:<del class=\"diffchange diffchange-inline\">Configuration_settings Configuration settings list</del>]</div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">* </del>[//<del class=\"diffchange diffchange-inline\">www</del>.<del class=\"diffchange diffchange-inline\">mediawiki</del>.org/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">Manual:</del>FAQ <del class=\"diffchange diffchange-inline\">MediaWiki </del>FAQ]</div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">This wiki entrance aims at providing instructions and support to the Ontohub users. See also </ins>[<ins class=\"diffchange diffchange-inline\">http:</ins>//<ins class=\"diffchange diffchange-inline\">ontohub-wiki</ins>.<ins class=\"diffchange diffchange-inline\">communtu</ins>.org/<ins class=\"diffchange diffchange-inline\">index.php</ins>/FAQ<ins class=\"diffchange diffchange-inline\">#What_is_Ontohub.3F </ins>FAQ]<ins class=\"diffchange diffchange-inline\">.</ins></div></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">* </del>[<del class=\"diffchange diffchange-inline\">https</del>://<del class=\"diffchange diffchange-inline\">lists</del>.<del class=\"diffchange diffchange-inline\">wikimedia</del>.<del class=\"diffchange diffchange-inline\">org</del>/<del class=\"diffchange diffchange-inline\">mailman</del>/<del class=\"diffchange diffchange-inline\">listinfo</del>/<del class=\"diffchange diffchange-inline\">mediawiki</del>-<del class=\"diffchange diffchange-inline\">announce MediaWiki release mailing list</del>]</div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">* </del>[//<del class=\"diffchange diffchange-inline\">www</del>.<del class=\"diffchange diffchange-inline\">mediawiki</del>.org/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">Localisation</del>#<del class=\"diffchange diffchange-inline\">Translation_resources Localise MediaWiki </del>for <del class=\"diffchange diffchange-inline\">your </del>language<del class=\"diffchange diffchange-inline\">]</del></div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">== User Interface ==</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.1.\t'''Start'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">The home page of Ontohub provides access to all ontologies, symbols, logics and ontology mappings stored in this repository. Recently updated repositories and ontologies are listed as well. </ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.2. '''Sign In'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">The full functionality of Ontohub (ontology editing, creation, mapping, visualisation, and evaluation) is available upon sign in. Every registered Ontohub user can modify and adjust its own version of interface, i.e. specific and highly personalised access to the repository content (see MyOntohub).</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.3.\t'''Ontologies'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">When searching for a particular ontology, you may type the name of the ontology or its acronym to retrieve it. If you do not know the name of the ontology, you may also type the name of the logic by which the ontology is supported and labels of symbols contained in the ontology in order to retrieve all ontologies supported by this logic containing one symbols for each typed-in symbol label.</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.4.\t'''Symbols'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.5.\t'''Logics'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.6.\t'''Mappings'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">1.7.\t'''Icons'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">== Common Tasks ==</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">2.1. '''Submitting an ontology'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">2.2. '''Editing an ontology'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">2.3. '''Visualising mappings'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">2.4. '''Evaluating an ontology'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">== Infrastructure ==</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">3.1. '''Ontohub Git'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">3.2. '''My Ontohub'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">3.3. '''HETS'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">Ontohub accesses the Heterogeneous Tool Set Hets via a RESTful web service interface for having the structure of ontologies analyzed. Hets already supports a large number of basic ontology languages and logics, and is capable of describing the structural outline of an ontology from the perspective of DOL, which is not committed to one particular logic.</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">3.4. '''DOL'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">'''D'''istributed '''O'''ntology '''L'''anguage (DOL) covers all state-of-the-art ontology languages, and provides a meta level on top of these. This meta level allows for the representation of logically heterogeneous ontologies. DOL ontologies may comprise of modules written in ontology languages with different underlying logics. Moreover, the DOL meta level constructs allow for links between ontologies such as relative interpretations or conservative extensions. <ref name="Mossakowski">Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. </ins>[<ins class=\"diffchange diffchange-inline\">http</ins>://<ins class=\"diffchange diffchange-inline\">www</ins>.<ins class=\"diffchange diffchange-inline\">informatik.uni-bremen</ins>.<ins class=\"diffchange diffchange-inline\">de/~till</ins>/<ins class=\"diffchange diffchange-inline\">papers</ins>/<ins class=\"diffchange diffchange-inline\">DOLsemantics.pdf PDF] <</ins>/<ins class=\"diffchange diffchange-inline\">ref></ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">Since the Ontohub infrastructure supports DOL, it allows the Ontohub users</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div>- <ins class=\"diffchange diffchange-inline\">to relate ontologies that are written in different formalisms;</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">- to re-use ontology modules even if they have been formulated in a different formalism;</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">- to re-use ontology tools like theorem provers and module extractors along translations between formalisms. </ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">DOL is currently being standardised within the [http://about.ontohub.org/ontoiop.html OntoIOp</ins>] <ins class=\"diffchange diffchange-inline\">working group.</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">3.5. '''LoLa Ontology'''</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">LoLa is an ontology of (ontology) '''Lo'''gics and '''La'''nguages. Onthub implements </ins>[<ins class=\"diffchange diffchange-inline\">http://purl.net</ins>/<ins class=\"diffchange diffchange-inline\">dol</ins>/<ins class=\"diffchange diffchange-inline\">1.0/rdf# LoLa] for structuring the repository content. The OWL core of the LoLa ontology comprises classes for ontology languages, logics, mappings (translations or projections) between ontology languages and between logics, as well as serialisations. The LoLa properties relate all of the former classes to each other. Besides its OWL module, LoLa includes additional FOL axioms for closure rules not expressible in OWL, such as non-expressible role compositions and circumscription rules for minimising the extension of default translations. <ref name="Lange">Lange, Christoph, Till Mossakowski, and Oliver Kutz. "LoLa: A Modular Ontology of Logics, Languages, and Translations." Workshop on Modular Ontologies (WoMO) 2012</ins>. <ins class=\"diffchange diffchange-inline\">2012. [ftp://ceur-ws</ins>.org/<ins class=\"diffchange diffchange-inline\">pub/publications/CEUR-WS</ins>/<ins class=\"diffchange diffchange-inline\">Vol-875.zip</ins>#<ins class=\"diffchange diffchange-inline\">page=60 PDF] </ref></ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">== Glossary ==</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">{|class="wikitable sortable"</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">! data-sort-type="Term" | Term!!Description</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Logical theory||set of expressions (like non-logical symbols, sentences and structuring elements) in a given logical language</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Alignment||flexible, relational link that does not always have a formal, logic-based semantics</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Matching||algorithmic procedure that generates an alignment for two given logical theories</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Logical language||language that is used for writing down logical theories (e.g. formal ontologies, models and specification), equipped with a formal, declarative, logic-based semantics, plus non-logical annotations</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Link||relationship between two logical theories, relating their non-logical symbols</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Language translation||mapping from constructs in the source logical language to their equivalents in the target logical language</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Interpretation||logical link that postulates a relation between two logical theories</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Combination||aggregation of several logical theories along links to a new logical theory where (only) the linked non-logical symbols of the involved logical theeories are identified</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Conservativity||property of an extension of theories, ensuring that the extension does not add new logical context</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Basic logical theory||set of non-logical symbols, sentences, annotations about them, which is used as a building block for a larger logical theory</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Axiom||sentence postulated to be valid (i.e. true in every model), party of a logical theory</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Theorem||sentence that has been proven (in some logical theory) from other axioms and theorem</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Structured logical theory||logical theory that results from other logical theories by import, union, combination, renaming or other structuring operations</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Sentence||term that is either true or false in a given model, i.e. which is assigned a truth value in this model</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Satisfaction relation||relation between models and sentences indicating which sentences hold true in the model</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Non-logical symbol||atomic expression or syntactic constituent of a logical theory that requires an interpretation through a model</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Module extraction||activity of obtaining from anlogical theory concrete modules to be used </ins>for <ins class=\"diffchange diffchange-inline\">a particular purpose (e.g. to contain a particular sub-signature of the original logical theory)</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Module||subtheory that conservatively extends to the whole logical theory</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Model||semantic interpretation of all non-logical symbols of a logical theory, satisfying the theory's axioms</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|-</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|Approximation||reduction of a theory to a less expressive logical </ins>language<ins class=\"diffchange diffchange-inline\">, such that the original theory implies the approximation</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">|}</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">----</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">== References ==</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\"><references/></ins></div></td></tr>\n"
}
}