ontology language
formal language used to construct ontologies
Knowledge Interchange Format
computer-oriented language for the interchange of knowledge among disparate computer programs
Web Ontology Language
family of knowledge representation languages
frame language
language for knowledge representation
F-logic
knowledge representation and ontology language
Gellish
formal language
Object Process Methodology
modelling language and methodology for capturing knowledge and designing systems
Semantics of Business Vocabulary and Business Rules
standard of Object Management Group
Web Rule Language
rule-based ontology language