Rotation formalisms in three dimensions Computer science Ontology language Knowledge representation and reasoning Ontology Description logic Semantic Web Web Ontology Language Inference Data integration Representation (politics) Programming language Theoretical computer science Artificial intelligence Database Mathematics