Ontology Formalisms

• LISP based

  • KIF (SUO-KIF), Ontolingua, OCML

• XML based (for semantic web)

  • XOL, RDF-S, DAML-ONT, DAML+OIL, OWL

• Others

  • Conceptual Graphs, Topic Maps, FCA, ...
  • E-R, UML

Notes: