Tillmo: 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, ..."

2014-02-11T09:30:02Z

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, ..."

New page

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 [http://ontohub.org/repositories/bioportal/ontologies/279 ontology page], you get an overview of the symbols in an ontology.

Symbol - Revision history

Tillmo: 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, ..."