http://wiki.dol-omg.org/index.php?action=history&feed=atom&title=Logic 2026-05-14T18:57:32Z Revision history for this page on the wiki MediaWiki 1.27.4 http://wiki.dol-omg.org/index.php?title=Logic&diff=153&oldid=prev 2014-02-11T09:30:31Z

<p>Tillmo moved page <a href="/index.php/Logics" class="mw-redirect" title="Logics">Logics</a> to <a href="/index.php/Logic" title="Logic">Logic</a>: uniform singular</p> <table class="diff diff-contentalign-left" data-mw="interface"> <tr style='vertical-align: top;' lang='en'> <td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 09:30, 11 February 2014</td> </tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Tillmo http://wiki.dol-omg.org/index.php?title=Logic&diff=81&oldid=prev 2014-02-03T11:13:34Z

<p>Created page with &quot;Ontohub supports a wide range of formal logical and ontology languages building on the OntoIOp.org project and allows complex inter-theory (concept) mappings and relationships...&quot;</p> <p><b>New page</b></p><div>Ontohub supports a wide range of formal logical and ontology languages building on the OntoIOp.org project and allows complex inter-theory (concept) mappings and relationships with formal semantics.<br /> {| class=&quot;wikitable&quot; style=&quot;color:green; background-color:#ffffcc;&quot; cellpadding=&quot;10&quot;<br /> !colspan=&quot;3&quot;|List of formal logical and ontology languages supported by Ontohub<br /> |-<br /> ! scope=&quot;col&quot;| Language<br /> ! scope=&quot;col&quot;| Description<br /> ! scope=&quot;col&quot;| Serialisation<br /> |-<br /> | OWL 2 DL<br /> | OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation) http://purl.net/dol/languages/OWL2/DL<br /> |<br /> |-<br /> | Common Logic<br /> | Common Logic (ISO/IEC 24707) http://purl.net/dol/languages/CommonLogic<br /> |<br /> |-<br /> | OBO 1.4<br /> | Open Biomedical Ontologies (OBO) 1.4 http://purl.net/dol/languages/OBO/1.4<br /> |<br /> |-<br /> | RDF<br /> | Resource Description Framework (W3C Recommendation) http://purl.net/dol/languages/RDF<br /> |<br /> |-<br /> | SATLIB<br /> | Propositional logic http://purl.net/dol/languages/SATLIB<br /> |<br /> |-<br /> | TPTP<br /> | First-order logic http://purl.net/dol/languages/TPTP<br /> | <br /> |-<br /> | CASL <br /> | Common Algebraic Specification Language (subsorted partial first-order logic with induction) http://purl.net/dol/languages/CASL<br /> |<br /> |-<br /> | THF0<br /> | Higher-order logic http://purl.net/dol/languages/THF0<br /> |<br /> |- <br /> |}</div>

Tillmo