From Ontohub
Revision as of 09:30, 11 February 2014 by Tillmo (talk | contribs) (Tillmo moved page Logics to Logic: uniform singular)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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