A formal representation language used for expressing ontologies and logical expressions in AI and knowledge engineering.