What are SHOEs semantics in general?
SHOE’s semantics are intentionally very simple. SHOE Ontologies declare: • Classifications (categories) for data entities. Classifications may inherit from other classifications (“Dogs are Animals”). • Valid relationships between data entities and other data entities or simple data (strings, numbers, dates, booleans). Arguments for relationships are typed, either by the simple data that can fill the argument, or with the classification a data entity must fall under in order to fill an argument (“Dogs can chase cats”). • Inferences in the form of horn clauses with no negation (“If a person works for an organization, that person automatically works for any organization the organization is a sub-part of”). • Inheritance from other ontologies: ontologies may be derived from or extend zero or more outside ontologies (“The SPCA ontology extends the common Library of Congress ontology”). • Versioning. Ontologies may extend previous ontology versions. HTML pages with embedded SHOE data may: •
