For example, figure 14 shows an assertion recently added to SRA (that is, to the Cyc knowledge base), expressing in predicate calculus a criterion for left atrial enlargement in women: in working with the physicians to articulate this and express it sufficiently rigorously in
CycL, it turned out that what they meant--in their domain--was: having an atrial diameter exceeding 3.8 centimeters.
Most popular traditional Ontology representation languages for knowledge representation in Semantic Web are
CycL DOGMA (Developing Ontology-Grounded Methods and Applications), F-Logic (Frame Logic), KIF (Knowledge Interchange Format), Ontolingua based on KIF, KL-ONE, KM programming language, LOOM (ontology), OCML (Operational Conceptual Modelling Language), OKBC (Open Knowledge Base Connectivity), PLIB (Parts LIBrary), RACER, DAML+OIL, Ontology Inference Layer (OIL), Web Ontology Language (OWL), Resource Description Framework (RDF), RDF Schema, and SHOE (5).
This short cycle of songs about children is the fruit of a residency in Tuscany, where song
cycl e s by s i x American composers were rehearsed and performed in a workshop setting.