Difference between revisions of "Symbol"
From Ontohub
(Created page with "In Ontohub, an ontology consists of '''symbols''' and sentences. The possible kinds of symbols depend on the logic: *OWL: classes, individuals, object properties, ...") |
(No difference)
|
Latest revision as of 09:30, 11 February 2014
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.
