Ontology Verbalisation
There are two views of the foundational ontologies taken by ROMULUS. The axiomatisation of each foundational ontology is shown in description logic view. The formalism of each foundational ontology is shown in natural language view. Click on a link below to proceed with a view.- Description logic view: The axioms are expressed in DL language. e.g., Chocolate_cake ⊆ cake
- Natural language view: The axioms are expressed in natural language in alphabetical order e.g., A chocolate_cake is a cake.