Heavyweight Ontology
(Redirected from formal ontologies (axiomatised theories))
Jump to navigation
Jump to search
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):
- 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. …