From Ontohub
Jump to: navigation, search

In Ontohub, an ontology consists of symbols and sentences. The possible kinds of symbols depend on the logic:

  • OWL: classes, individuals, object properties, data properties
  • Propositional logic: propositional letters
  • Common Logic: names, sequence markers
  • CASL: sorts, predicate symbols, operation symbols

Ontohub page

On an ontology page, you get an overview of the symbols in an ontology.