Logic
From Ontohub
Revision as of 09:30, 11 February 2014 by Tillmo (talk | contribs) (Tillmo moved page Logics to Logic: uniform singular)
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.
| List of formal logical and ontology languages supported by Ontohub | ||
|---|---|---|
| Language | Description | Serialisation |
| OWL 2 DL | OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation) http://purl.net/dol/languages/OWL2/DL | |
| Common Logic | Common Logic (ISO/IEC 24707) http://purl.net/dol/languages/CommonLogic | |
| OBO 1.4 | Open Biomedical Ontologies (OBO) 1.4 http://purl.net/dol/languages/OBO/1.4 | |
| RDF | Resource Description Framework (W3C Recommendation) http://purl.net/dol/languages/RDF | |
| SATLIB | Propositional logic http://purl.net/dol/languages/SATLIB | |
| TPTP | First-order logic http://purl.net/dol/languages/TPTP | |
| CASL | Common Algebraic Specification Language (subsorted partial first-order logic with induction) http://purl.net/dol/languages/CASL | |
| THF0 | Higher-order logic http://purl.net/dol/languages/THF0 | |
