Search
From Ontohub
Revision as of 13:31, 3 February 2014 by Fabian (talk | contribs) (Created page with "You can search by name of the ontology, names of symbols that occur in ontologies (e.g., "town" or "part_of"), the logic that is the ontology is written in (e.g, "OWL" or "Com...")
You can search by name of the ontology, names of symbols that occur in ontologies (e.g., "town" or "part_of"), the logic that is the ontology is written in (e.g, "OWL" or "CommonLogic") or any combination of search strings.
Some tips:
- Capitalization is irrelevant (e.g. "CommonLogic" or "commonlogic" are treated the same)
- Whitespace matters (e.g., "Common Logic" and "CommonLogic" are treated differently)
- If you want to enter more than one search string, then you need to use the <return> key on your keyboard to ensure that they are treated as separate strings . (E.g., if you want to search for an ontology written in OWL which contains the class Spine, you need to first enter "OWL <return> spine <return>". Otherwise, OntoHub will search for an ontology that contains the symbol "OWL spine".)
