Heavyweight Ontology

A Heavyweight Ontology is an ontology that allow for complex inferences.

• AKA: Formal Public Ontology, Axiomatised Theory.
• Context:
  • It can be defined with a Heavyweight Ontology Language, such as OML, OIL, and DAML+OIL.
  • It can range from being a Formal Public Ontology to being a Formal Proprietary Ontology.
  • …
• Example(s):
  • CYC Ontology.
  • …
• Counter-Example(s):
  • a Lightweight Ontology.
  • a Formal Language.
• See: Conceptual Graph.

---

---

References

2002

• (Gómez-Pérez & Manzano-Macho, 2002) ⇒ Asunción Gómez-Pérez, and David Manzano-Macho. (2002). “Ontology Languages for the Semantic Web.” In: IEEE Journal on Intelligent Systems, 17(1). doi:10.1109/5254.988453
  • QUOTE: … If we could measure the expressiveness of languages from languages that allow defining lightweight ontologies to languages that allow heavyweight ontologies, the order would be: XOL, RDF(S), SHOE, OML, OIL, and DAML+OIL. …

---